Reinforcement Learning of Theorem Proving
Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Miroslav Olšák
–Neural Information Processing Systems
In practice, today's best ATP system are however still far weaker than trained mathematicians in most research domains. Machine learning from many proofs could be used to improveonthis.
Neural Information Processing Systems
Feb-12-2026, 20:56:59 GMT
- Country:
- North America
- United States (0.04)
- Canada (0.04)
- Europe
- Austria > Vienna (0.14)
- Germany > Berlin (0.04)
- United Kingdom > England
- Oxfordshire > Oxford (0.04)
- North America
- Technology: