Goto

Collaborating Authors

 Deep Learning









Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Neural Information Processing Systems

Automating mathematical reasoning is a longstanding goal in artificial intelligence (Newell et al., 1957). A prominent line of work on the problem (Li et al., 2024) uses neural models to direct