Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
University of California, Los Angeles
1
0
3
11
Uncovering crucial supporting lemmas for theorem proving by traversing multi-hop dependencies in a formal library's declaration graph.