Search papers, labs, and topics across Lattice.
4
0
7
0
TipCoder reveals that generating tailored auxiliary tips can significantly enhance code generation performance by addressing overlooked constraints and edge cases.
Achieving over 90% bug detection in zkEVMs, VeriSynth transforms how we ensure the correctness of cryptographic implementations.
MaxProof's innovative test-time scaling enables an AI to outperform human champions in mathematical proof competitions.
MiniMax-M2 proves that massive parameter counts don't always translate to better agentic performance; strategic activation of a smaller subset can unlock frontier-level intelligence.
