Search papers, labs, and topics across Lattice.
Affiliation:
2
0
4
4
ZEBRA is a fully automated verification and bug-detection framework that reduces zkVM verification to a solution-set cardinality problem over a canonical trace space, where redundancies such as null-row padding and non-deterministic permutations are eliminated prior to counting.
LLMs can learn to write faster code at inference time, without fine-tuning, by contrasting the execution of similar candidate programs.
