BliStrTune
From MaRDI portal
Cited in
(26)- Relaxed weighted path order in theorem proving
- The 10th IJCAR automated theorem proving system competition -- CASC-J10
- Fast and slow enigmas and parental guidance
- Heterogeneous heuristic optimisation and scheduling for first-order theorem proving
- Hammering Mizar by Learning Clause Guidance (Short Paper).
- Portfolio theorem proving and prover runtime prediction for geometry
- 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
- Easychair
- E-MaLeS
- randoCoP
- BliStr
- FEMaLeCoP
- SEPIA
- ATPboost
- ENIGMA
- Proofwatch
- MurmurHash
- MachSMT
- Lash
- lazyCoP
- ProofWatch: watchlist guidance for large theories in E
- Make E Smart Again (Short Paper)
This page was built for software: BliStrTune
