Pages that link to "Item:Q2739546"
From MaRDI portal
The following pages link to Learning search control-knowledge for equational deduction (Q2739546):
Displaying 11 items.
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- Vampire with a brain is a good ITP hammer (Q831938) (← links)
- Automatic acquisition of search control knowledge from multiple proof attempts. (Q1854367) (← links)
- Improving ENIGMA-style clause selection while learning from history (Q2055886) (← links)
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)
- A connectionist approach for learning search-control heuristics for automated deduction systems (Thesis, TU München, 1997) (Q2726241) (← links)
- Internal Guidance for Satallax (Q2817934) (← links)
- Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)
- Experiments in the heuristic use of past proof experience (Q4647545) (← links)
- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) (Q5049022) (← links)
- Automatic acquisition of search guiding heuristics (Q6488552) (← links)
