HOList
From MaRDI portal
Software:5972779
No author found.
Related Items (8)
Discovering faster matrix multiplication algorithms with reinforcement learning ⋮ Online machine learning techniques for Coq: a comparison ⋮ Prolog Technology Reinforcement Learning Prover ⋮ Towards finding longer proofs ⋮ \textsf{lazyCoP}: lazy paramodulation meets neurally guided search ⋮ The role of entropy in guiding a connection prover ⋮ Guiding an automated theorem prover with neural rewriting ⋮ On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
This page was built for software: HOList
