Search papers, labs, and topics across Lattice.
University of Pennsylvania
2
0
4
Provably optimal program synthesis, guided by abstract interpretation, can now outperform existing methods in data classification DSLs.
Automating the creation of trajectory queries from examples slashes development time by eliminating manual parameter tuning.
