Jack McKeown

According to our database, Jack McKeown authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

SmartAlert: Implementing Machine Learning-Driven Clinical Decision Support for Inpatient Lab Utilization Reduction.

April S. Liang, Fatemeh Amrollahi, Yixing Jiang, Conor K. Corbin, Grace Y. E. Kim, David Mui, Trevor Crowell, Aakash Acharya, Sreedevi Mony, Soumya Punnathanam, Jack McKeown, Margaret Smith, Steven Lin, Arnold Milstein, Kevin Schulman, Jason Hom, Michael A. Pfeffer, Tho D. Pham, David Svec, Weihan Chu, Lisa Shieh, Christopher D. Sharp, Stephen P. Ma, Jonathan H. Chen

CoRR, December, 2025

2023

Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic.

Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

An Interactive Interpretation Viewer for Typed First-order Logic.

Jack McKeown, Geoff Sutcliffe

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

Reinforcement Learning for Guiding the E Theorem Prover.

Jack McKeown, Geoff Sutcliffe

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023