HOList

swMATH43881MaRDI QIDQ5972779FDOQ5972779

Author name not available (Why is that?)

Cited In (8)

• 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
• Discovering faster matrix multiplication algorithms with reinforcement learning
• Prolog Technology Reinforcement Learning Prover
• \textsf{lazyCoP}: lazy paramodulation meets neurally guided search

This page was built for software: HOList