PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.
George TsoukalasJasper LeeJohn JenningsJimmy XinMichelle DingMichael JenningsAmitayush ThakurSwarat ChaudhuriPublished in: CoRR (2024)
Keyphrases
- theorem prover
- mathematical knowledge
- computer algebra
- computer algebra systems
- automated theorem proving
- theorem proving
- inference rules
- automated reasoning
- term rewriting
- first order logic
- automated deduction
- network architecture
- higher order logic
- neural network
- mathematical modeling
- formal semantics
- timed automata
- proof planning
- natural deduction
- proof search
- propositional logic
- probabilistic model
- associative memory
- mathematical models
- evolutionary algorithm
- search space