swMATH43881MaRDI QIDQ5972779FDOQ5972779
Author name not available (Why is that?)
Official website: https://sites.google.com/view/holist/home
Cited In (27)
- Guiding an automated theorem prover with neural rewriting
- GamePad
- NeuroSAT
- 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
- Discovering faster matrix multiplication algorithms with reinforcement learning
- DLog
- Tactician
- FEMaLeCoP
- SEPIA
- DeepMath
- ATPboost
- ENIGMA
- TacticToe
- Twee
- Holophrasm
- Logipedia
- SerAPI
- ACER
- MachSMT
- nFOIL
- lazyCoP
- MedleySolver
- Prolog Technology Reinforcement Learning Prover
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search
This page was built for software: HOList
