Search papers, labs, and topics across Lattice.
2
0
6
3
STRACE transforms noisy execution traces into high-fidelity optimization contexts, yielding a 1.4x improvement in agent success rates on complex tasks.
Training LLMs on a massive, synthesized dataset of verified Rust programs slashes the cost of generating formal correctness proofs, outperforming even Claude Sonnet 4.5.
