Reinforcement Learning of Theorem Proving

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

Nov-17-2025, 16:20:25 GMT–Neural Information Processing Systems

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

artificial intelligence, logic & formal reasoning, machine learning, (19 more...)

Neural Information Processing Systems

Nov-17-2025, 16:20:25 GMT

Conferences PDF

Country:
- Europe
  - Austria
    - Tyrol > Innsbruck (0.04)
    - Vienna (0.14)
  - Czechia > Prague (0.04)
  - Germany > Berlin (0.04)
  - Poland
    - Lesser Poland Province > Kraków (0.04)
    - Masovia Province > Warsaw (0.04)
  - United Kingdom > England
    - Oxfordshire > Oxford (0.04)
- North America
  - Canada > Quebec
    - Montreal (0.04)
  - United States > New York
    - New York County > New York City (0.04)

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

Duplicate Docs Excel Report

Title
Reinforcement Learning of Theorem Proving
Reinforcement Learning of Theorem Proving

Similar Docs Excel Report more

Title	Similarity	Source
None found