The following pages link to BliStrTune (Q30553):
Displaying 11 items.
- Fast and slow enigmas and parental guidance (Q831937) (← links)
- ProofWatch: watchlist guidance for large theories in E (Q1791167) (← links)
- Heterogeneous heuristic optimisation and scheduling for first-order theorem proving (Q2128804) (← links)
- Learning theorem proving components (Q2142080) (← links)
- Relaxed weighted path order in theorem proving (Q2209265) (← links)
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)
- ENIGMA: efficient learning-based inference guiding machine (Q2364687) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- The 10th IJCAR automated theorem proving system competition – CASC-J10 (Q5019796) (← links)
- Make E Smart Again (Short Paper) (Q5049019) (← links)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
