NeurIPS 2024

Stream: Machine Learning for Theorem Proving

[fzyzcjy]

Here is a list of papers related to deep learning for mathematics in NeurIPS 2024, as a by-product when I read it: https://github.com/fzyzcjy/ai_math_paper_list (the first sublist in it). The majority have PDF links by matching the ArXiv preprints. Looks like there are many related to general AI4Math (and some reasoning related to math); several are related to Lean/Isabelle.

[Robert Joseph]

Any lean users/researchers coming to NeurIPS this year? Would people be interested in having lunch sometime and exchanging research ideas/just talking about Lean?

[Harald Carlens]

I’ll be there, happy to meet for lunch! I’ll also be at the maths workshop all day on the 14th.

[Amaury Hayat]

Thanks for this list :) If you are listing all deep-learning for maths papers at NeurIPS 2024 you might want to add this one https://openreview.net/forum?id=kOMrm4ZJ3m Not linked to Lean though, its more focused on one problem in advanced maths

[Jason Rute]

There also is MATH-AI at NeurIPS (papers). I think almost all the presentations and papers are related in some way. @Jeremy Avigad is an invited speaker.

Also, @Sean Welleck is giving a tutorial on test-time compute.

[fzyzcjy]

@Amaury Hayat Thanks for pointing out! I will add it in the next batch of routine update.

[Harald Carlens]

@Jason Rute thanks for sharing, I hadn't seen that test-time compute tutorial