Pages that link to "Item:Q3541722"
From MaRDI portal
The following pages link to MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance (Q3541722):
Displayed 28 items.
- MizAR 40 for Mizar 40 (Q286800) (← links)
- A learning-based fact selector for Isabelle/HOL (Q331617) (← links)
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- ATP and presentation service for Mizar formalizations (Q1945905) (← links)
- HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Towards the automatic mathematician (Q2055841) (← links)
- Towards finding longer proofs (Q2142073) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (Q2305414) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Premise selection for mathematics by corpus analysis and kernel methods (Q2352489) (← links)
- ENIGMA: efficient learning-based inference guiding machine (Q2364687) (← links)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)
- MaLeCoP Machine Learning Connection Prover (Q3010374) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Automated Reasoning in the Wild (Q3454081) (← links)
- Theorem Proving in Large Formal Mathematics as an Emerging AI Field (Q4913871) (← 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)
- Sine Qua Non for Large Theory Reasoning (Q5200032) (← links)
- Learning2Reason (Q5200132) (← links)
- Premise Selection in the Naproche System (Q5747782) (← links)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
- Alien coding (Q6066843) (← links)