The following pages link to DeepMath (Q39267):
Displaying 15 items.
- Vampire with a brain is a good ITP hammer (Q831938) (← links)
- Machine learning for mathematical software (Q1662224) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Hammer for Coq: automation for dependent type theory (Q1663240) (← links)
- ProofWatch: watchlist guidance for large theories in E (Q1791167) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Improving ENIGMA-style clause selection while learning from history (Q2055886) (← links)
- Improving stateful premise selection with transformers (Q2128800) (← links)
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search (Q2142075) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
- A neurally-guided, parallel theorem prover (Q2180215) (← links)
- A plugin to export Coq libraries to XML (Q2287917) (← links)
- Deepalgebra -- an outline of a program (Q2364671) (← links)
- A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs (Q5041068) (← links)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
