Cited in
(38)- Fast and slow enigmas and parental guidance
- Heterogeneous heuristic optimisation and scheduling for first-order theorem proving
- 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
- MPTP
- MPTP 0.2
- MoMM
- MaLeCoP
- MaSh
- MaLARea
- Easychair
- E-MaLeS
- randoCoP
- SigmaKEE
- BliStrTune
- SRASS
- Seq2Seq
- ATPboost
- Proofwatch
- Jinja not Java
- MachSMT
- MizAR 40 for Mizar 40
- A learning-based fact selector for Isabelle/HOL
- System description: E.T. 0.1
- 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
- Lash
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- mizar-items
- Mizar: state-of-the-art and beyond
- Detecting inconsistencies in large first-order knowledge bases
This page was built for software: BliStr
