TY  - RPRT
TI  - Learning to Guide a Saturation-Based Theorem Prover
AU  - Ibrahim Abdelaziz
AU  - Maxwell Crouse
AU  - Bassem Makni
AU  - Vernon Austil
AU  - Cristina Cornelio
AU  - Shajith Ikbal
AU  - Pavan Kapanipathi
AU  - Ndivhuwo Makondo
AU  - Kavitha Srinivas
AU  - Michael Witbrock
AU  - Achille Fokoue
PY  - 2021
UR  - https://arxiv.org/abs/2106.03906
ID  - 2106.03906
ER  -