Walder, Christian

24 publications

NeurIPS 2025 3D-Prover: Diversity Driven Theorem Proving with Determinantal Point Processes Sean Lamont, Christian Walder, Amir Dezfouli, Paul Montague, Michael Norrish

NeurIPS 2025 Pass@K Policy Optimization: Solving Harder Reinforcement Learning Problems Christian Walder, Deep Tejas Karkhanis

AAAI 2024 BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving Sean Lamont, Michael Norrish, Amir Dezfouli, Christian Walder, Paul Montague

ICML 2024 Latent Optimal Paths by Gumbel Propagation for Variational Bayesian Dynamic Programming Xinlei Niu, Christian Walder, Jing Zhang, Charles Patrick Martin

ICLR 2023 Humanly Certifying Superhuman Classifiers Qiongkai Xu, Christian Walder, Chenchen Xu

ICML 2023 LegendreTron: Uprising Proper Multiclass Loss Learning Kevin H Lam, Christian Walder, Spiridon Penev, Richard Nock

ICML 2023 R-U-SURE? Uncertainty-Aware Code Suggestions by Maximizing Utility Across Random User Intents Daniel D. Johnson, Daniel Tarlow, Christian Walder

AAAI 2022 EditVAE: Unsupervised Parts-Aware Controllable 3D Point Cloud Shape Generation Shidi Li, Miaomiao Liu, Christian Walder

CVPRW 2021 Plastic and Stable Gated Classifiers for Continual Learning Nicholas I-Hsien Kuo, Mehrtash Harandi, Nicolas Fourrier, Christian Walder, Gabriela Ferraro, Hanna Suominen

NeurIPS 2021 TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning Minchao Wu, Michael Norrish, Christian Walder, Amir Dezfouli

NeurIPS 2020 All Your Loss Are Belong to Bayes Christian Walder, Richard Nock

CVPRW 2020 M2SGD: Learning to Learn Important Weights Nicholas I-Hsien Kuo, Mehrtash Harandi, Nicolas Fourrier, Christian Walder, Gabriela Ferraro, Hanna Suominen

NeurIPS 2020 Quantile Propagation for Wasserstein-Approximate Gaussian Processes Rui Zhang, Christian Walder, Edwin V. Bonilla, Marian-Andrei Rizoiu, Lexing Xie

ICML 2019 Monge Blunts Bayes: Hardness Results for Adversarial Training Zac Cranko, Aditya Menon, Richard Nock, Cheng Soon Ong, Zhan Shi, Christian Walder

IJCAI 2019 SynthNet: Learning to Synthesize Music End-to-End Florin Schimbinschi, Christian Walder, Sarah M. Erfani, James Bailey

ICML 2018 Neural Dynamic Programming for Musical Self Similarity Christian Walder, Dongwoo Kim

ICML 2018 Self-Bounded Prediction Suffix Tree via Approximate String Matching Dongwoo Kim, Christian Walder

ACML 2017 Computer Assisted Composition with Recurrent Neural Networks Christian Walder, Dongwoo Kim

ACML 2016 Modelling Symbolic Music: Beyond the Piano Roll Christian Walder

NeurIPS 2008 Diffeomorphic Dimensionality Reduction Christian Walder, Bernhard Schölkopf

ICML 2008 Sparse Multiscale Gaussian Process Regression Christian Walder, Kwang In Kim, Bernhard Schölkopf

NeurIPS 2007 Learning with Transformation Invariant Kernels Christian Walder, Olivier Chapelle

NeurIPS 2006 Implicit Surfaces with Globally Regularised and Compactly Supported Basis Functions Christian Walder, Olivier Chapelle, Bernhard Schölkopf

ICML 2005 Implicit Surface Modelling as an Eigenvalue Problem Christian Walder, Olivier Chapelle, Bernhard Schölkopf