Pages that link to "Item:Q2891438"
From MaRDI portal
The following pages link to Automated and Human Proofs in General Mathematics: An Initial Comparison (Q2891438):
Displaying 9 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)
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Premise selection for mathematics by corpus analysis and kernel methods (Q2352489) (← links)
- SEPIA: Search for Proofs Using Inferred Automata (Q3454097) (← links)
- Theorem Proving in Large Formal Mathematics as an Emerging AI Field (Q4913871) (← links)