Search papers, labs, and topics across Lattice.
5
0
8
OPD may improve sampling efficiency, but it risks making previously solvable problems unsolvable, challenging the notion of true capability expansion in LLMs.
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.
Knowledge hallucinations are the most significant hurdle for MLLMs, revealing critical weaknesses in their robustness to false premises.
Specula uncovers deep bugs in system code that traditional methods often miss, revolutionizing formal specification generation.
