Pages that link to "Item:Q5200032"
From MaRDI portal
The following pages link to Sine Qua Non for Large Theory Reasoning (Q5200032):
Displaying 26 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)
- Vampire with a brain is a good ITP hammer (Q831938) (← links)
- Hammer for Coq: automation for dependent type theory (Q1663240) (← 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)
- Improving stateful premise selection with transformers (Q2128800) (← links)
- Eliminating models during model elimination (Q2142079) (← links)
- Names are not just sound and smoke: word embeddings for axiom selection (Q2305419) (← links)
- Faster, higher, stronger: E 2.3 (Q2305435) (← links)
- Extending Sledgehammer with SMT solvers (Q2351158) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Premise selection for mathematics by corpus analysis and kernel methods (Q2352489) (← links)
- Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving (Q2817933) (← links)
- Internal Guidance for Satallax (Q2817934) (← links)
- Random Forests for Premise Selection (Q2964471) (← links)
- MaLeCoP Machine Learning Connection Prover (Q3010374) (← links)
- Automatic Proof and Disproof in Isabelle/HOL (Q3172879) (← links)
- Automated Reasoning in the Wild (Q3454081) (← links)
- System Description: E.T. 0.1 (Q3454109) (← links)
- The CADE-26 automated theorem proving system competition – CASC-26 (Q5145427) (← links)
- Hierarchical invention of theorem proving strategies (Q5145434) (← links)
- The CADE-27 Automated theorem proving System Competition – CASC-27 (Q5145460) (← links)
- Extending Sledgehammer with SMT Solvers (Q5200019) (← links)
