Learning to Guide a Saturation-Based Theorem Prover.
Abdelaziz I, Crouse M, Makni B, Austel V, Cornelio C, Ikbal S, Kapanipathi P, Makondo N, Srinivas K, Witbrock M, Fokoue A.
Abdelaziz I, et al. Among authors: austel v.
IEEE Trans Pattern Anal Mach Intell. 2023 Jan;45(1):738-751. doi: 10.1109/TPAMI.2022.3140382. Epub 2022 Dec 5.
IEEE Trans Pattern Anal Mach Intell. 2023.
PMID: 34982678