The following pages link to BliStr (Q28682):
Displayed 19 items.
- MaLeS: a framework for automatic tuning of automated theorem provers (Q286787) (← links)
- MizAR 40 for Mizar 40 (Q286800) (← links)
- A learning-based fact selector for Isabelle/HOL (Q331617) (← links)
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- Fast and slow enigmas and parental guidance (Q831937) (← links)
- HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
- Heterogeneous heuristic optimisation and scheduling for first-order theorem proving (Q2128804) (← links)
- Learning theorem proving components (Q2142080) (← links)
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- ENIGMA: efficient learning-based inference guiding machine (Q2364687) (← links)
- Detecting inconsistencies in large first-order knowledge bases (Q2405258) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Extending E Prover with Similarity Based Clause Selection Strategies (Q2817300) (← links)
- Lemma Mining over HOL Light (Q2870150) (← links)
- Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- System Description: E.T. 0.1 (Q3454109) (← links)
- Hierarchical invention of theorem proving strategies (Q5145434) (← links)