Search papers, labs, and topics across Lattice.
MiniMax
2
0
5
4
MaxProof's innovative test-time scaling enables an AI to outperform human champions in mathematical proof competitions.
LLMs can now tap into the full power of R's statistical methods: a new retrieval method boosts package retrieval accuracy by 17% by understanding data distributions, not just function names.
