The following pages link to HOList (Q5972779):
Displayed 8 items.
- Guiding an automated theorem prover with neural rewriting (Q2104548) (← links)
- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy (Q2117791) (← links)
- Online machine learning techniques for Coq: a comparison (Q2128797) (← links)
- Towards finding longer proofs (Q2142073) (← links)
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search (Q2142075) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
- Discovering faster matrix multiplication algorithms with reinforcement learning (Q5038940) (← links)
- Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)