Search papers, labs, and topics across Lattice.
2
0
5
Hyperball achieves a remarkable 20-30% speedup in language model pretraining, even as model sizes grow, challenging the limits of traditional optimizers.
Achieving 100% success on challenging theorem proving tasks, Goedel-Architect redefines efficiency in formal proofs by leveraging natural language guidance and adaptive blueprint refinement.
