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