HOList
From MaRDI portal
Cited in
(27)- 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
- The role of entropy in guiding a connection prover
- Towards finding longer proofs
- DLog
- Tactician
- FEMaLeCoP
- SEPIA
- DeepMath
- ATPboost
- ENIGMA
- TacticToe
- Twee
- Holophrasm
- Logipedia
- SerAPI
- MachSMT
- Discovering faster matrix multiplication algorithms with reinforcement learning
- nFOIL
- lazyCoP
- MedleySolver
- ACER
- NeuroSAT
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search
- Prolog Technology Reinforcement Learning Prover
- GamePad
This page was built for software: HOList
