Search papers, labs, and topics across Lattice.
2
0
6
3
STRACE transforms noisy execution traces into precise optimization signals, leading to a 42.5% to 58.5% success rate improvement in agent performance.
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.
