Jack McKeown
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2023–2026
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FlAIRS | Interactive Solution Viewers for Automated Theorem Proving. | Daniel Li, Esteban Morales, Geoff Sutcliffe, Jack McKeown |
| 2023 | FlAIRS | Reinforcement Learning for Guiding the E Theorem Prover. | Jack McKeown, Geoff Sutcliffe |
| 2023 | FlAIRS | An Interactive Interpretation Viewer for Typed First-order Logic. | Jack McKeown, Geoff Sutcliffe |
| 2023 | LPAR | Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. | Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown |