Skip to yearly menu bar Skip to main content


(7 events)   Timezone:  
Show all
Toggle Poster Visibility
In-Person Oral presentation / top 5% paper
Tue May 02 06:00 AM -- 06:10 AM (PDT) @ AD4 None
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
In Oral 4 Track 5: Machine Learning for Sciences & Probabilistic Methods
Qiaochu Jiang · Sean Welleck · Jin Zhou · Timothée Lacroix · Jiacheng Liu · Wenda Li · Mateja Jamnik · Guillaume Lample · Yuhuai Wu
In-Person Oral presentation / top 25% paper
Tue May 02 06:10 AM -- 06:20 AM (PDT) @ AD4 None
Flow Annealed Importance Sampling Bootstrap
In Oral 4 Track 5: Machine Learning for Sciences & Probabilistic Methods
Laurence Midgley · Vincent Stimper · Gregor Simm · Bernhard Schoelkopf · José Miguel Hernández Lobato
In-Person Oral presentation / top 25% paper
Tue May 02 06:20 AM -- 06:30 AM (PDT) @ AD4 None
Learning Controllable Adaptive Simulation for Multi-resolution Physics
In Oral 4 Track 5: Machine Learning for Sciences & Probabilistic Methods
Tailin Wu · Takashi Maruyama · Qingqing Zhao · Gordon Wetzstein · Jure Leskovec
In-Person Oral presentation / top 25% paper
Tue May 02 06:30 AM -- 06:40 AM (PDT) @ AD4 None
Minimax Optimal Kernel Operator Learning via Multilevel Training
In Oral 4 Track 5: Machine Learning for Sciences & Probabilistic Methods
Jikai Jin · Yiping Lu · Jose Blanchet · Lexing Ying
In-Person Oral presentation / top 25% paper
Tue May 02 06:40 AM -- 06:50 AM (PDT) @ AD4 None
Neural Lagrangian Schr\"{o}dinger Bridge: Diffusion Modeling for Population Dynamics
In Oral 4 Track 5: Machine Learning for Sciences & Probabilistic Methods
Takeshi Koshizuka · Issei Sato
In-Person Oral presentation / top 25% paper
Tue May 02 06:50 AM -- 07:00 AM (PDT) @ AD4 None
Pre-training via Denoising for Molecular Property Prediction
In Oral 4 Track 5: Machine Learning for Sciences & Probabilistic Methods
Sheheryar Zaidi · Michael Schaarschmidt · James Martens · Hyunjik Kim · Yee Whye Teh · Alvaro Sanchez Gonzalez · Peter Battaglia · Razvan Pascanu · Jonathan Godwin
In-Person Oral presentation / top 25% paper
Tue May 02 07:00 AM -- 07:10 AM (PDT) @ AD4 None
MARS: Meta-learning as Score Matching in the Function Space
In Oral 4 Track 5: Machine Learning for Sciences & Probabilistic Methods
Kruno Lehman · Jonas Rothfuss · Andreas Krause