Search papers, labs, and topics across Lattice.
6
0
7
GraphAlignCoder boosts code generation accuracy by 31.6% to 43.8% by embedding formal proof structures into the training process.
Novice developers using AgentForge significantly improved their software engineering skills and critical collaboration with AI, despite facing varying interaction challenges.
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.
