Search papers, labs, and topics across Lattice.
Simon Fraser University
2
0
6
LLMs can now automatically slim down and future-proof mathematical proofs, achieving 70% compression and 60% faster compilation by strategically rewriting them.
Editing driving scenes with language just got a whole lot better: HorizonWeaver lets you scalably generate photorealistic, controllable scenarios, outperforming existing methods by a wide margin.
