Poster

Wed 18:30

$\beta$-Intact-VAE: Identifying and Estimating Causal Effects under Limited Overlap
Pengzhou Wu · Kenji Fukumizu

Spotlight

Tue 10:30

What Happens after SGD Reaches Zero Loss? --A Mathematical Framework
Zhiyuan Li · Tianhao Wang · Sanjeev Arora

Poster

Tue 2:30

miniF2F: a cross-system benchmark for formal Olympiad-level mathematics
Kunhao Zheng · Jesse Han · Stanislas Polu

Poster

Thu 10:30

The Geometry of Memoryless Stochastic Policy Optimization in Infinite-Horizon POMDPs
Johannes Müller · Guido Montufar

Poster

Thu 10:30

Learning Curves for Gaussian Process Regression with Power-Law Priors and Targets
Hui Jin · Pradeep Kumar Banerjee · Guido Montufar

Workshop

An Empirical Investigation of Mutual Information Skill Learning
Faisal Mohamed · Benjamin Eysenbach · Ruslan Salakhutdinov

Poster

Tue 10:30

What Happens after SGD Reaches Zero Loss? --A Mathematical Framework
Zhiyuan Li · Tianhao Wang · Sanjeev Arora

Poster

Thu 10:30

Proof Artifact Co-Training for Theorem Proving with Language Models
Jesse Han · Jason Rute · Yuhuai Wu · Edward Ayers · Stanislas Polu