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:
- Europe
- Austria > Vienna (0.14)
- Germany > Berlin (0.04)
- United Kingdom > England
- Oxfordshire > Oxford (0.04)
- North America
- Canada (0.04)
- United States (0.04)
- Europe
- Technology: