Search papers, labs, and topics across Lattice.
Uppsala University
4
0
6
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.
