Search papers, labs, and topics across Lattice.
Weizmann Institute of Science
2
0
6
22
Decomposing safety proofs into forward, backward, and prophecy steps dramatically simplifies the search for inductive invariants, enabling verification of complex systems like Paxos and Raft.
Tensor program optimization just got a whole lot faster: Prism achieves up to 2.2x speedup over existing superoptimizers while *also* reducing end-to-end optimization time.