firstbacksecondback
100 Results
|
Poster
|
Fri 16:30 |
DFT: A Universal Quantum Chemistry Dataset of Drug-Like Molecules and a Benchmark for Neural Network Potentials Kuzma Khrabrov · Anton Ber · Artem Tsypin · Konstantin Ushenin · Egor Rumiantsev · Alexander Telepov · Dmitry Protasov · Ilya Shenbin · Anton Alekseev · Mikhail Shirokikh · Sergey Nikolenko · Elena Tutubalina · Artur Kadurin |
|
|
Poster
|
Fri 11:00 |
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition George Tsoukalas · Jasper Lee · John Jennings · Jimmy Xin · Michelle Ding · Michael Jennings · Amitayush Thakur · Swarat Chaudhuri |
|
|
Poster
|
Wed 11:00 |
BABILong: Testing the Limits of LLMs with Long Context Reasoning-in-a-Haystack Yury Kuratov · Aydar Bulatov · Petr Anokhin · Ivan Rodkin · Dmitry Sorokin · Artyom Sorokin · Mikhail Burtsev |
|
|
Poster
|
Thu 11:00 |
Embedding Trajectory for Out-of-Distribution Detection in Mathematical Reasoning Yiming Wang · Pei Zhang · Baosong Yang · Derek Wong · Zhuosheng Zhang · Rui Wang |
|
|
Poster
|
Fri 11:00 |
The surprising efficiency of temporal difference learning for rare event prediction Xiaoou Cheng · Jonathan Weare |
|
|
Poster
|
Thu 11:00 |
Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving Aniket Didolkar · Anirudh Goyal · Nan Rosemary Ke · Siyuan Guo · Michal Valko · Timothy Lillicrap · Danilo Jimenez Rezende · Yoshua Bengio · Michael Mozer · Sanjeev Arora |
|
|
Poster
|
Thu 16:30 |
MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems Bin Lei · Yi Zhang · Shan Zuo · Ali Payani · Caiwen Ding |
|
|
Poster
|
Fri 11:00 |
On the Limitations of Fractal Dimension as a Measure of Generalization Charlie Tan · Inés García-Redondo · Qiquan Wang · Michael Bronstein · Anthea Monod |
|
|
Poster
|
Thu 16:30 |
Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers Alberto Alfarano · Francois Charton · Amaury Hayat |
|
|
Poster
|
Fri 11:00 |
Unsupervised Discovery of Formulas for Mathematical Constants Michael Shalyt · Uri Seligmann · Itay Beit Halachmi · Ofir David · Rotem Elimelech · Ido Kaminer |
|
|
Poster
|
Thu 16:30 |
Few-Shot Diffusion Models Escape the Curse of Dimensionality Ruofeng Yang · Bo Jiang · Cheng Chen · ruinan Jin · Baoxiang Wang · Shuai Li |
|
|
Poster
|
Fri 11:00 |
Learning Formal Mathematics From Intrinsic Motivation Gabriel Poesia · David Broman · Nick Haber · Noah Goodman |