Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
3
0
Generating plausible future mathematical claims is now possible by jointly modeling scientific citations and formal theorem dependencies, leading to more grounded and mathematically rich outputs.