Search papers, labs, and topics across Lattice.
2
0
3
Bridging the gap between informal and formal mathematics, TheoremGraph reveals 18.3 million dependencies that can enhance mathematical search and reasoning.
Current embedding models misinterpret mathematical equivalence, grouping statements by terminology rather than content, but a new contrastive learning approach can bridge this gap.
