firstbacksecondback
3 Results
|
Poster
|
Wed 11:00 |
Multi-language Diversity Benefits Autoformalization Albert Q. Jiang · Wenda Li · Mateja Jamnik |
|
|
Poster
|
Wed 16:30 |
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency Zenan Li · Yifan Wu · Zhaoyu Li · Xinming Wei · Xian Zhang · Fan Yang · Xiaoxing Ma |
|
|
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 |