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
- Mizar: State-of-the-art and Beyond
- MaLeS: a framework for automatic tuning of automated theorem provers
- Learning theorem proving components
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
- ENIGMA: efficient learning-based inference guiding machine
- Extending E Prover with Similarity Based Clause Selection Strategies
- MizAR 40 for Mizar 40
- A learning-based fact selector for Isabelle/HOL
- Hierarchical invention of theorem proving strategies
- HOL(y)Hammer: online ATP service for HOL Light
- Learning-assisted theorem proving with millions of lemmas
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- Lemmatization for Stronger Reasoning in Large Theories
- System Description: E.T. 0.1
- Detecting inconsistencies in large first-order knowledge bases
This page was built for software: BliStr
