Search papers, labs, and topics across Lattice.
4
0
6
0
SCOPE's structured feedback mechanism boosts code generation accuracy, achieving a notable 39.4% pass rate on LiveCodeBench V6鈥攐utperforming existing methods by a significant margin.
AI coding assistants are reshaping open-source development by increasing contributor activity while simultaneously raising concerns about code maintainability.
VERITAS reveals that incorporating verifier feedback can boost theorem proving success rates by over 10%, challenging the efficacy of traditional binary pass/fail approaches.
LLMs can now reliably fix decompiled code, but only if you make them *execute* it.
