DeepMath
From MaRDI portal
Cited in
(38)- mizar-items
- lazyCoP
- MedleySolver
- MPTP 0.2
- Machine learning for mathematical software
- The role of the Mizar mathematical library for interactive proof development in Mizar
- Hammer for Coq: automation for dependent type theory
- ProofWatch: watchlist guidance for large theories in E
- ML4PG
- MaLeCoP
- MaSh
- Machine learning guidance for connection tableaux
- Improving ENIGMA-style clause selection while learning from history
- Improving stateful premise selection with transformers
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search
- The role of entropy in guiding a connection prover
- A neurally-guided, parallel theorem prover
- A plugin to export Coq libraries to XML
- Deepalgebra -- an outline of a program
- FEMaLeCoP
- SEPIA
- kFOIL
- Theoryguru
- OpenNMT
- ATPboost
- TacticToe
- Proofwatch
- ENIGMA
- Holophrasm
- A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
- MachSMT
- Hammering Mizar by Learning Clause Guidance (Short Paper).
- NeuroSAT
- HOList
- GamePad
- nFOIL
- IMLI
- Vampire with a brain is a good ITP hammer
This page was built for software: DeepMath
