BliStr
From MaRDI portal
Software:28682
swMATH16818MaRDI QIDQ28682FDOQ28682
Author name not available (Why is that?)
Cited In (19)
- Heterogeneous heuristic optimisation and scheduling for first-order theorem proving
- Fast and slow enigmas and parental guidance
- Lemma Mining over HOL Light
- Portfolio theorem proving and prover runtime prediction for geometry
- MaLeS: a framework for automatic tuning of automated theorem provers
- Extending E prover with similarity based clause selection strategies
- Learning theorem proving components
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
- ENIGMA: efficient learning-based inference guiding machine
- MizAR 40 for Mizar 40
- System description: E.T. 0.1
- A learning-based fact selector for Isabelle/HOL
- Hierarchical invention of theorem proving strategies
- Lemmatization for stronger reasoning in large theories
- HOL(y)Hammer: online ATP service for HOL Light
- Learning-assisted theorem proving with millions of lemmas
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- Mizar: state-of-the-art and beyond
- Detecting inconsistencies in large first-order knowledge bases
This page was built for software: BliStr
