Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
–Neural Information Processing Systems
In theorem proving, the task of selecting useful premises from a large library to unlock the proof of a given conjecture is crucially important.
Neural Information Processing Systems
Nov-13-2025, 23:32:41 GMT
- Country:
- Asia > India
- Maharashtra > Mumbai (0.04)
- Europe
- Austria (0.04)
- Germany > Bremen
- Bremen (0.04)
- Poland > Masovia Province
- Warsaw (0.04)
- United Kingdom
- England
- Cambridgeshire > Cambridge (0.04)
- Greater Manchester > Manchester (0.04)
- Scotland > City of Edinburgh
- Edinburgh (0.04)
- England
- Oceania > Australia
- New South Wales > Sydney (0.04)
- Asia > India
- Genre:
- Research Report (0.94)
- Technology: