Pages that link to "Item:Q4913871"
From MaRDI portal
The following pages link to Theorem Proving in Large Formal Mathematics as an Emerging AI Field (Q4913871):
Displaying 8 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)
- Automating formalization by statistical and semantic parsing of mathematics (Q1687711) (← links)
- Formalizing a fragment of combinatorics on words (Q2011632) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Deepalgebra -- an outline of a program (Q2364671) (← links)
