Pages that link to "Item:Q2964471"
From MaRDI portal
The following pages link to Random Forests for Premise Selection (Q2964471):
Displaying 6 items.
- Vampire with a brain is a good ITP hammer (Q831938) (← links)
- Hammer for Coq: automation for dependent type theory (Q1663240) (← links)
- Online machine learning techniques for Coq: a comparison (Q2128797) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Hammering Mizar by Learning Clause Guidance (Short Paper). (Q5875448) (← links)
- Graph sequence learning for premise selection (Q6650565) (← links)
