Search papers, labs, and topics across Lattice.
3
1
6
4
Targeted middle-layer recurrence can dramatically enhance Transformer reasoning without the need for full-layer looping, leading to superior performance in complex tasks.
Achieving 100% success on challenging theorem proving tasks, Goedel-Architect redefines efficiency in formal proofs by leveraging natural language guidance and adaptive blueprint refinement.
Forget curated datasets – this work shows you can bootstrap AI scientists by training them on automatically generated, self-verified ML tasks, leading to significant performance gains on MLGym.
