Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austel, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue. Learning to Guide a Saturation-Based Theorem Prover. IEEE Trans. Pattern Anal. Mach. Intell., 45(1):738-751, 2023. [doi]
Abstract is missing.