BliStrTune

swMATH18721MaRDI QIDQ30553FDOQ30553

Author name not available (Why is that?)

Described by source

• Hierarchical invention of theorem proving strategies

Cited In (11)

• Relaxed weighted path order in theorem proving
• Hammering Mizar by Learning Clause Guidance (Short Paper).
• Heterogeneous heuristic optimisation and scheduling for first-order theorem proving
• Fast and slow enigmas and parental guidance
• 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
• The 10th IJCAR automated theorem proving system competition – CASC-J10
• Make E Smart Again (Short Paper)
• ProofWatch: watchlist guidance for large theories in E

This page was built for software: BliStrTune