Reinforcement Learning for Guiding the E Theorem Prover. - Jack McKeown; Geoff Sutcliffe (FLAIRS, 2023)

An Interactive Interpretation Viewer for Typed First-order Logic. - Jack McKeown; Geoff Sutcliffe (FLAIRS, 2023)

Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. - Alexander Steen; Geoff Sutcliffe; Pascal Fontaine; Jack McKeown (LPAR, 2023)