Search papers, labs, and topics across Lattice.
MiniMax, The Chinese University of Hong Kong
1
0
2
4
MaxProof's innovative test-time scaling enables an AI to outperform human champions in mathematical proof competitions.