Search papers, labs, and topics across Lattice.
Peking University
4
0
7
1
MaxProof's innovative test-time scaling enables an AI to outperform human champions in mathematical proof competitions.
Even the best LLMs struggle with Olympiad-level combinatorics, achieving only 65.4% on a benchmark designed to expose their reasoning limitations.
Draft-OPD accelerates inference by over 5x while improving speculative decoding accuracy, transforming how draft models learn from target feedback.
Current personal assistant agents struggle to anticipate and act on unstated user needs in long, complex workflows, revealing a critical gap between task completion and genuine proactivity.
