Pages that link to "Item:Q4647500"
From MaRDI portal
The following pages link to Learning domain knowledge to improve theorem proving (Q4647500):
Displaying 5 items.
- Vampire with a brain is a good ITP hammer (Q831938) (← links)
- Proofs as schemas and their heuristic use (Q1583854) (← links)
- Automatic acquisition of search control knowledge from multiple proof attempts. (Q1854367) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- Improving ENIGMA-style clause selection while learning from history (Q2055886) (← links)
