DeepMath
From MaRDI portal
Software:39267
No author found.
Related Items (15)
Deepalgebra -- an outline of a program ⋮ A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs ⋮ Improving stateful premise selection with transformers ⋮ Vampire with a brain is a good ITP hammer ⋮ \textsf{lazyCoP}: lazy paramodulation meets neurally guided search ⋮ The role of entropy in guiding a connection prover ⋮ 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 ⋮ A neurally-guided, parallel theorem prover ⋮ Hammering Mizar by Learning Clause Guidance (Short Paper). ⋮ Machine learning guidance for connection tableaux ⋮ ProofWatch: watchlist guidance for large theories in E ⋮ A plugin to export Coq libraries to XML ⋮ Improving ENIGMA-style clause selection while learning from history
This page was built for software: DeepMath