The following pages link to ENIGMA (Q40369):
Displaying 23 items.
- Fast and slow enigmas and parental guidance (Q831937) (← links)
- Vampire with a brain is a good ITP hammer (Q831938) (← links)
- ProofWatch: watchlist guidance for large theories in E (Q1791167) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Neural precedence recommender (Q2055885) (← links)
- Improving ENIGMA-style clause selection while learning from history (Q2055886) (← links)
- Guiding an automated theorem prover with neural rewriting (Q2104548) (← links)
- Online machine learning techniques for Coq: a comparison (Q2128797) (← links)
- Learning to solve geometric construction problems from images (Q2128821) (← links)
- Towards finding longer proofs (Q2142073) (← links)
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search (Q2142075) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
- Learning theorem proving components (Q2142080) (← links)
- A neurally-guided, parallel theorem prover (Q2180215) (← links)
- ENIGMAWatch: ProofWatch meets ENIGMA (Q2180529) (← 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)
- The 10th IJCAR automated theorem proving system competition – CASC-J10 (Q5019796) (← links)
- Make E Smart Again (Short Paper) (Q5049019) (← links)
- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) (Q5049022) (← links)
- Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
