Search papers, labs, and topics across Lattice.
University of North Carolina at Chapel Hill
2
0
5
CryptoProver can independently verify cryptographic libraries in under 12 hours, ensuring the integrity of critical code without altering its execution.
A 1000x larger video reasoning dataset reveals early signs of emergent generalization, offering a new foundation for training and evaluating spatiotemporal AI.
