Search papers, labs, and topics across Lattice.
Education Technology
1
0
3
Training LLMs to verify their own math proofs is now twice as fast, thanks to a clever fusion of generation and verification into a single training pass.
