Neighbor communities
0 / 0 papers shown
Top Contributors
| Name | # Papers | # Citations |
|---|---|---|
Social Events
| Date | Location | Event |
|---|---|---|
| Name | # Papers | # Citations |
|---|---|---|
| Date | Location | Event |
|---|---|---|
AI systems capable of solving math problems and proving theorems, driving advances in machine learning and natural language processing.
 Semantic Search over 9 Million Mathematical Theorems Luke Alexander Eric Leonen Sophie Szeto Artemii Remizov Ignacio Tejeda Giovanni Inchiostro Vasily Ilin | |||
 First Proof Mohammed Abouzaid Andrew J. Blumberg Martin Hairer Joe Kileel Tamara G. Kolda ...Daniel Spielman Nikhil Srivastava Rachel Ward Shmuel Weinberger Lauren Williams | |||
 Beyond Many-Shot Translation: Scaling In-Context Demonstrations For Low-Resource Machine Translation Luis Frentzen Salim Esteban Carlin Alexandre Morinvil Xi Ai Lun-Wei Ku | |||
 Procedural Pretraining: Warming Up Language Models with Abstract Data Liangze Jiang Zachary Shinnick Anton van den Hengel Hemanth Saratchandran Damien Teney | |||
 Formula-One Prompting: Adaptive Reasoning Through Equations For Applied Mathematics Natapong Nitarach Pittawat Taveekitworachai Kunat Pipatanakul | |||
 PhysProver: Advancing Automatic Theorem Proving for Physics Hanning Zhang Ruida Wang Rui Pan Wenyuan Wang Bingxu Meng Tong Zhang | |||
 Process In-Context Learning: Enhancing Mathematical Reasoning via Dynamic Demonstration Insertion Ang Gao Changshuo Zhang Xiao Zhang Deyang Li Minjun Zhao Fangchao Liu Xinyu Zhang | |||
 DéjàQ: Open-Ended Evolution of Diverse, Learnable and Verifiable Problems Willem Röpke Samuel Coward Andrei Lupu Thomas Foster Tim Rocktäschel Jakob Foerster | |||
 Increasing the Thinking Budget is Not All You Need Ignacio Iacobacci Zhaozhi Qian Faroq AL-Tam Muhammad AL-Qurishi Riad Souissi | |||
 MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification Sirui Li Wangyue Lu Xiaorui Shi Ke Weng Haozhe Sun Minghe Yu Tiancheng Zhang Ge Yu Hengyu Liu Lun Du | |||
 Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience Jiangjie Chen Wenxiang Chen Jiacheng Du Jinyi Hu Zhicheng Jiang ...Zheng Yuan Tianyang Zhan Zeyu Zheng Tianxi Zhou Thomas Hanwen Zhu | |||
 MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification Mantas Baksys Stefan Zetzsche Olivier Bouissou Sean B. Holden | |||
 SymPyBench: A Dynamic Benchmark for Scientific Reasoning with Executable Python Code Shima Imani Seungwhan Moon Adel Ahmadyan Lu Zhang Kirmani Ahmed Babak Damavandi | |||
| Name (-) |
|---|
| Name (-) |
|---|
| Name (-) |
|---|
| Date | Location | Event | |
|---|---|---|---|
| No social events available | |||
