The following pages link to (Q3150301):
Displaying 5 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Machine learning for first-order theorem proving (Q2351414) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Efficient theory combination via Boolean search (Q2432765) (← links)
- On the Saturation of YAGO (Q5747783) (← links)
