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