BliStrTune
From MaRDI portal
Software:30553
No author found.
Related Items (11)
ENIGMA: efficient learning-based inference guiding machine ⋮ Heterogeneous heuristic optimisation and scheduling for first-order theorem proving ⋮ Fast and slow enigmas and parental guidance ⋮ Make E Smart Again (Short Paper) ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Learning theorem proving components ⋮ Relaxed weighted path order in theorem proving ⋮ Hammering Mizar by Learning Clause Guidance (Short Paper). ⋮ ProofWatch: watchlist guidance for large theories in E ⋮ ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) ⋮ The 10th IJCAR automated theorem proving system competition – CASC-J10
This page was built for software: BliStrTune
