Review for NeurIPS paper: Learning to Prove Theorems by Learning to Generate Theorems

Jun-1-2025, 00:52:15 GMT–Neural Information Processing Systems

LPAR 2015: 372-386 [7] Robert Veroff: Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies.

kaliszyk, learning, theorem, (14 more...)

Neural Information Processing Systems

Jun-1-2025, 00:52:15 GMT

Conferences Web Page

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning (0.55)