BliStr
From MaRDI portal
Cited in
(38)- mizar-items
- MPTP
- MPTP 0.2
- MoMM
- MaLeCoP
- HOL(y)Hammer: online ATP service for HOL Light
- MaSh
- Heterogeneous heuristic optimisation and scheduling for first-order theorem proving
- Learning theorem proving components
- MaLARea
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- ENIGMA: efficient learning-based inference guiding machine
- Detecting inconsistencies in large first-order knowledge bases
- Easychair
- Portfolio theorem proving and prover runtime prediction for geometry
- randoCoP
- SigmaKEE
- E-MaLeS
- Extending E prover with similarity based clause selection strategies
- MaLeS: a framework for automatic tuning of automated theorem provers
- MizAR 40 for Mizar 40
- Lemma Mining over HOL Light
- Lemmatization for stronger reasoning in large theories
- BliStrTune
- A learning-based fact selector for Isabelle/HOL
- SRASS
- Mizar: state-of-the-art and beyond
- System description: E.T. 0.1
- Seq2Seq
- ATPboost
- Proofwatch
- Jinja not Java
- Learning-assisted theorem proving with millions of lemmas
- Hierarchical invention of theorem proving strategies
- MachSMT
- Lash
- Fast and slow enigmas and parental guidance
This page was built for software: BliStr
