Pages that link to "Item:Q2964472"
From MaRDI portal
The following pages link to Lemmatization for Stronger Reasoning in Large Theories (Q2964472):
Displaying 11 items.
- MizAR 40 for Mizar 40 (Q286800) (← links)
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Voting theory in the Lean theorem prover (Q2148823) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- System Description: E.T. 0.1 (Q3454109) (← links)
- Large theory reasoning with SUMO at CASC (Q3568226) (← links)
- Deep Generation of Coq Lemma Names Using Elaborated Terms (Q5048996) (← links)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
- Formalising the Kruskal-Katona theorem in Lean (Q6159369) (← links)
- Lemmas: generation, selection, application (Q6541149) (← links)