Thor: WieldingHammerstoIntegrateLanguage ModelsandAutomatedTheoremProvers
–Neural Information Processing Systems
In theorem proving, the task of selecting useful premises from alarge library to unlock the proof of a given conjecture is crucially important. This presents a challenge foralltheorem provers,especially theonesbasedonlanguage models, due to their relative inability to reason over huge volumes of premises in text form.
Neural Information Processing Systems
Feb-8-2026, 08:04:51 GMT
- Country:
- Asia > India
- Maharashtra > Mumbai (0.04)
- Europe
- Austria (0.04)
- Germany > Bremen
- Bremen (0.04)
- United Kingdom
- England > Greater Manchester
- Manchester (0.04)
- Scotland > City of Edinburgh
- Edinburgh (0.04)
- England > Greater Manchester
- Oceania > Australia
- New South Wales > Sydney (0.04)
- Asia > India
- Genre:
- Research Report (0.48)
- Technology: