MaSh
From MaRDI portal
Software:20216
swMATH8206MaRDI QIDQ20216FDOQ20216
Author name not available (Why is that?)
Cited In (25)
- Mining State-Based Models from Proof Corpora
- A neurally-guided, parallel theorem prover
- Formalizing Physics: Automation, Presentation and Foundation Issues
- ML4PG in Computer Algebra Verification
- Lemma Mining over HOL Light
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- Semi-intelligible Isar proofs from machine-generated proofs
- MaSh: Machine Learning for Sledgehammer
- FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover
- Reliable reconstruction of fine-grained proofs in a proof assistant
- Title not available (Why is that?)
- Machine learning guidance for connection tableaux
- Proof mining with dependent types
- Machine learning for mathematical software
- Random Forests for Premise Selection
- MizAR 40 for Mizar 40
- A learning-based fact selector for Isabelle/HOL
- Hybrid computation
- Hipster: Integrating Theory Exploration in a Proof Assistant
- Learning-assisted theorem proving with millions of lemmas
- Inspection and selection of representations
- Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
- Lemmatization for Stronger Reasoning in Large Theories
- System Description: E.T. 0.1
- Hammering towards QED
This page was built for software: MaSh
