TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu
Main: Resources and Evaluation 1 Main-oral Paper
Session 6: Resources and Evaluation 1 (Oral)
Conference Room: West 3
Conference Time: December 09, 11:00-12:30 (+08) (Asia/Singapore)
Global Time: December 09, Session 6 (03:00-04:30 UTC)
TLDR:
You can open the
#paper-1637
channel in a separate window.
Abstract: