ENIGMA
From MaRDI portal
Cited in
(62)- lazyCoP
- MPTP
- MPTP 0.2
- ProofWatch: watchlist guidance for large theories in E
- ML4PG
- MaLeCoP
- MaSh
- Machine learning guidance for connection tableaux
- Neural precedence recommender
- Improving ENIGMA-style clause selection while learning from history
- Guiding an automated theorem prover with neural rewriting
- Online machine learning techniques for Coq: a comparison
- Learning to solve geometric construction problems from images
- Towards finding longer proofs
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search
- The role of entropy in guiding a connection prover
- Learning theorem proving components
- leanCoP
- ileanCoP
- ForTheL
- A neurally-guided, parallel theorem prover
- ENIGMAWatch: ProofWatch meets ENIGMA
- DLog
- First neural conjecturing datasets and experiments
- MaLARea
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
- ENIGMA: efficient learning-based inference guiding machine
- randoCoP
- SigmaKEE
- Tactician
- BliStrTune
- FEMaLeCoP
- nanoCoP
- SEPIA
- ProofTool
- kFOIL
- DeepMath
- ATPboost
- TacticToe
- MadMax
- Twee
- Proofwatch
- Holophrasm
- SUMO
- TreeRePair
- GKC
- CoDe
- MurmurHash
- The 10th IJCAR automated theorem proving system competition -- CASC-J10
- Make E Smart Again (Short Paper)
- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)
- Prolog Technology Reinforcement Learning Prover
- Hammering Mizar by Learning Clause Guidance (Short Paper).
- NeuroSAT
- HOList
- GamePad
- nFOIL
- Lash
- ACER
- Euclidea
- Fast and slow enigmas and parental guidance
- Vampire with a brain is a good ITP hammer
This page was built for software: ENIGMA
