Search papers, labs, and topics across Lattice.
2
0
3
17
Transformers can learn modular multiplication by partitioning input space into local algebraic regions, revealing surprising new insights into their reasoning capabilities.
Bridging the gap between informal and formal mathematics, TheoremGraph reveals 18.3 million dependencies that can enhance mathematical search and reasoning.