Pages that link to "Item:Q6108816"
From MaRDI portal
The following pages link to Machine Learning for Inductive Theorem Proving (Q6108816):
Displaying 9 items.
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- Machine learning for first-order theorem proving (Q2351414) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- (Q3459922) (← links)
- TacticToe: Learning to Reason with HOL4 Tactics (Q4645730) (← links)
- Learning domain knowledge to improve theorem proving (Q4647500) (← links)
- (Q4982446) (← links)
- Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (Q5026334) (← links)
- Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction (Q6487292) (← links)
