Jack McKeown

According to our database, Jack McKeown authored at least 3 papers in 2023.

Collaborative distances:

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

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