Learning to Guide a Saturation-Based Theorem Prover
- Ibrahim Abdelaziz
- Maxwell Crouse
- et al.
- 2021
- IEEE TPAMI
Publications
Date
Featured collections
Popular topics
12 results for Michael Witbrock
Curious cat-mobile, context-aware conversational crowdsourcing knowledge acquisition
- Luka Bradeško
- Michael Witbrock
- et al.
- 2017
- ACM TOIS