HOList
From MaRDI portal
Cited in
(27)- lazyCoP
- MedleySolver
- Guiding an automated theorem prover with neural rewriting
- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
- Online machine learning techniques for Coq: a comparison
- Towards finding longer proofs
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search
- The role of entropy in guiding a connection prover
- DLog
- Tactician
- FEMaLeCoP
- SEPIA
- DeepMath
- ATPboost
- TacticToe
- Twee
- ENIGMA
- Holophrasm
- Logipedia
- SerAPI
- Discovering faster matrix multiplication algorithms with reinforcement learning
- Prolog Technology Reinforcement Learning Prover
- MachSMT
- NeuroSAT
- GamePad
- nFOIL
- ACER
This page was built for software: HOList
