Pages that link to "Item:Q5327335"
From MaRDI portal
The following pages link to MaSh: Machine Learning for Sledgehammer (Q5327335):
Displaying 16 items.
- MizAR 40 for Mizar 40 (Q286800) (← links)
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- A learning-based fact selector for Isabelle/HOL (Q331617) (← links)
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Reliable reconstruction of fine-grained proofs in a proof assistant (Q2055877) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- Random Forests for Premise Selection (Q2964471) (← links)
- Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)
- Formalizing Physics: Automation, Presentation and Foundation Issues (Q3453125) (← links)
- System Description: E.T. 0.1 (Q3454109) (← links)
- Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness (Q5014692) (← links)
- Hipster: Integrating Theory Exploration in a Proof Assistant (Q5495917) (← links)
- Mining State-Based Models from Proof Corpora (Q5495930) (← links)
- Machine Learning for Inductive Theorem Proving (Q6108816) (← links)
- Graph sequence learning for premise selection (Q6650565) (← links)