| Z2nm-supermagic labeling of Cn# Cm D Froncek, J McKeown, J McKeown, M McKeown Indonesian Journal of Combinatorics 2 (2), 57-71, 2018 | 9 | 2018 |
| Representation, verification, and visualization of tarskian interpretations for typed first-order logic A Steen, G Sutcliffe, P Fontaine, J McKeown LPAR 2023-24th International Conference on Logic for Programming, Artificial …, 2023 | 6 | 2023 |
| Reinforcement learning for guiding the e theorem prover J McKeown, G Sutcliffe The International FLAIRS Conference Proceedings 36, 2023 | 3 | 2023 |
| A Chat with Bard G Sutcliffe, J McKeown, A Steen Proceedings of the 14th International Workshop on the Implementation of …, 2023 | 2 | 2023 |
| An interactive interpretation viewer for typed first-order logic J McKeown, G Sutcliffe The International FLAIRS Conference Proceedings 36, 2023 | 2 | 2023 |
| Reinforcement Learning in E J McKeown, G Sutcliffe Proceedings of the 7th Conference on Artificial Intelligence and Theorem …, 2022 | 1 | 2022 |
| Clause Representation for Proof Guidance using Neural Networks J McKeown University of Miami, 2024 | | 2024 |
| Vertex-magic edge Z2nm-labeling of Cn2Cm D Froncek, J McKeown, J McKeown, M McKeown | | |
