Search papers, labs, and topics across Lattice.
Zhejiang University
1
0
Spear accelerates the synthesis of optimal abstract transformers by exploiting parallelism, outperforming state-of-the-art solvers in both efficiency and scalability.
