swMATH16818MaRDI QIDQ28682FDOQ28682
Author name not available (Why is that?)
Official website: http://arxiv.org/abs/1301.2683
Cited In (37)
- Lash
- 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
- MPTP 0.2
- MoMM
- MaLeCoP
- MaSh
- MaLARea
- Easychair
- E-MaLeS
- randoCoP
- SigmaKEE
- MizAR 40 for Mizar 40
- System description: E.T. 0.1
- A learning-based fact selector for Isabelle/HOL
- BliStrTune
- SRASS
- Hierarchical invention of theorem proving strategies
- Seq2Seq
- ATPboost
- Proofwatch
- Jinja not Java
- Lemmatization for stronger reasoning in large theories
- HOL(y)Hammer: online ATP service for HOL Light
- MachSMT
- mizar-items
- 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
