Christian Walder
20 papers · 2006–2024 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+13 more ↓ Show less ↑
π Conference Polyglot (6) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (13) π§ Keyword Pioneer π Academic Marathon (18)
πΊοΈ
Taxonomy Completionist
(13)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Keyword Trendsetter Combo
(5)
π
Grand Slam
π§¬
Topic Evolution
π
Keyword Champion
π₯
Unstoppable
(9)
β
The Questioner
π
Century Club
(20)
π
Trend Setter
ποΈ
Keyword Collector
(101)
π
Conference Pioneer
Conferences
ICML (6)
NIPS (6)
AAAI (3)
ACML (2)
IJCAI (2)
ICLR (1)
Top co-authors
Keywords
gaussian process
(4)
symbolic music
(3)
proper loss
(3)
music generation
(3)
bayesian inference
(2)
kernel methods
(2)
hawkes process
(2)
long short-term memory
(2)
interactive theorem proving
(2)
variational inference
(2)
recurrent neural network
(2)
decision theory
(1)
feature learning
(1)
uncertainty quantification
(1)
convex optimization
(1)
sequence modeling
(1)
deep reinforcement learning
(1)
code generation
(1)
manifold learning
(1)
dimensionality reduction
(1)
Papers
Latent Optimal Paths by Gumbel Propagation for Variational Bayesian Dynamic Programming
ICML 2024
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
AAAI 2024
R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents
ICML 2023
Humanly Certifying Superhuman Classifiers
ICLR 2023
LegendreTron: Uprising Proper Multiclass Loss Learning
ICML 2023
EditVAE: Unsupervised Parts-Aware Controllable 3D Point Cloud Shape Generation
AAAI 2022
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
NIPS 2021
Quantile Propagation for Wasserstein-Approximate Gaussian Processes
NIPS 2020
Variational Inference for Sparse Gaussian Process Modulated Hawkes Process
AAAI 2020
All your loss are belong to Bayes
NIPS 2020
Monge blunts Bayes: Hardness Results for Adversarial Training
ICML 2019
SynthNet: Learning to Synthesize Music End-to-End
IJCAI 2019
Efficient Non-parametric Bayesian Hawkes Processes
IJCAI 2019
Neural Dynamic Programming for Musical Self Similarity
ICML 2018
Self-Bounded Prediction Suffix Tree via Approximate String Matching
ICML 2018
Computer Assisted Composition with Recurrent Neural Networks
ACML 2017
Modelling Symbolic Music: Beyond the Piano Roll
ACML 2016
Diffeomorphic Dimensionality Reduction
NIPS 2008
Learning with Transformation Invariant Kernels
NIPS 2007
Implicit Surfaces with Globally Regularised and Compactly Supported Basis Functions
NIPS 2006