Reinforcement Learning of Theorem Proving

Cezary Kaliszyk, Josef Urban, Henryk Michalewski, Miroslav Olšák

Mar-26-2025, 01:24:53 GMT–Neural Information Processing Systems

Neural Information Processing Systems http://nips.cc/

logic & formal reasoning, machine learning, reinforcement learning, (21 more...)

Neural Information Processing Systems

Mar-26-2025, 01:24:53 GMT

Conferences PDF

Country:
- Europe > Austria (0.46)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning > Statistical Learning (1.00)
  - Representation & Reasoning > Logic & Formal Reasoning (1.00)