The following pages link to MaSh (Q20216):
Displaying 25 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 for mathematical software (Q1662224) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Reliable reconstruction of fine-grained proofs in a proof assistant (Q2055877) (← links)
- A neurally-guided, parallel theorem prover (Q2180215) (← links)
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition (Q2287902) (← links)
- Inspection and selection of representations (Q2287916) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- ML4PG in Computer Algebra Verification (Q2843038) (← links)
- Lemma Mining over HOL Light (Q2870150) (← links)
- Hybrid computation (Q2958919) (← 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)
- FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover (Q3460043) (← links)
- Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness (Q5014692) (← links)
- Hammering towards QED (Q5195271) (← links)
- (Q5219924) (← links)
- MaSh: Machine Learning for Sledgehammer (Q5327335) (← links)
- Hipster: Integrating Theory Exploration in a Proof Assistant (Q5495917) (← links)
- Mining State-Based Models from Proof Corpora (Q5495930) (← links)
