Learning to Prove Theorems by Learning to Generate Theorems

Aug-16-2025, 14:36:51 GMT–Neural Information Processing Systems

We consider the task of automated theorem proving, a key AI task.

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

Neural Information Processing Systems

Aug-16-2025, 14:36:51 GMT

Conferences PDF

Country:
- Europe
  - Germany > Bavaria
    - Upper Bavaria > Munich (0.04)
  - Sweden > Stockholm
    - Stockholm (0.04)
- North America
  - Canada (0.04)
  - United States > North Carolina
    - Wake County > Morrisville (0.04)

Genre:
- Research Report (0.46)

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

Duplicate Docs Excel Report

Title
d2a27e83d429f0dcae6b937cf440aeb1-Paper.pdf

Similar Docs Excel Report more

Title	Similarity	Source
None found