Search papers, labs, and topics across Lattice.
Nanjing University
6
0
6
6
Lax bug reproduction tests can lead to plausible but incorrect patches, but a new iterative framework boosts repair success by refining both tests and fixes.
Fiber Memory can slash weight-delivery energy by over 70% while eliminating redundant storage across thousands of AI accelerators.
InvWeaver outperforms existing methods by solving 72 out of 82 multi-loop benchmark problems, showcasing a breakthrough in invariant synthesis for complex programs.
Coordinating neural planning with symbolic execution, Quarry boosts automated proof success rates by up to 13% while keeping costs predictable.
Forget turn-based interactions: MiniCPM-o 4.5 lets you build AI that sees, hears, speaks, and *reacts* in real-time, all on a device with only 12GB of RAM.
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.
