Search papers, labs, and topics across Lattice.
Microsoft Research, University of Amsterdam 鈭桬qual contribution.
1
0
2
9
LLMs still fail to grasp research-level mathematics, with top models scoring below random chance when superficial pattern matching is removed, even with access to proof sketches.
