The following pages link to Jan Jakubův (Q831935):
Displaying 18 items.
- Fast and slow enigmas and parental guidance (Q831937) (← links)
- (Q1662243) (redirect page) (← links)
- Towards a unified ordering for superposition-based automated reasoning (Q1662244) (← links)
- ProofWatch: watchlist guidance for large theories in E (Q1791167) (← links)
- Enhancing ENIGMA given clause guidance (Q1798957) (← links)
- Learning theorem proving components (Q2142080) (← links)
- ENIGMAWatch: ProofWatch meets ENIGMA (Q2180529) (← links)
- Relaxed weighted path order in theorem proving (Q2209265) (← links)
- First neural conjecturing datasets and experiments (Q2219416) (← links)
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)
- ENIGMA: efficient learning-based inference guiding machine (Q2364687) (← links)
- Extending E Prover with Similarity Based Clause Selection Strategies (Q2817300) (← links)
- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) (Q5049022) (← links)
- Hierarchical invention of theorem proving strategies (Q5145434) (← links)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
- The Isabelle ENIGMA (Q6572551) (← links)
- Mizar 60 for Mizar 50 (Q6643000) (← links)
- Solving hard Mizar problems with instantiation and strategy invention (Q6648179) (← links)
