Search papers, labs, and topics across Lattice.
Shanghai AI Laboratory, Shanghai Jiao Tong University
1
0
2
6
AdvancedMathBench reveals that even state-of-the-art models struggle with advanced mathematical reasoning, achieving only 75.8% accuracy in proof generation.
