Title |
---|
![]() Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large
Language Models Bofei Gao Feifan Song Zhiyong Yang Zefan Cai Yibo Miao ...Lei Sha Yichang Zhang Xuancheng Ren Tianyu Liu Baobao Chang |
![]() 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 |
![]() Qwen2 Technical Report An Yang Baosong Yang Binyuan Hui Jian Xu Bowen Yu ...Yuqiong Liu Zeyu Cui Zhenru Zhang Zhifang Guo Zhi-Wei Fan |