firstbacksecondback
3 Results
|
Workshop
|
Math2Sym: A System for Solving Elementary Problems via Large Language Models and Symbolic Solvers Nguyen Phu · Phuong Pham · Man Ngo · Tuan Minh Kha |
||
|
Workshop
|
Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data Huajian Xin · Daya Guo · Zhihong Shao · Z.Z. Ren · Qihao Zhu · Bo Liu · Chong Ruan · Wenda Li · Xiaodan Liang |
||
|
Poster
|
Fri 16:30 |
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems Huaiyuan Ying · Zijian Wu · Yihan Geng · JIayu Wang · Dahua Lin · Kai Chen |