Implicit Definitions with Differential Equations for KeYmaera X - (System Description). - James Gallicchio; Yong Kiam Tan; Stefan Mitsch; André Platzer (IJCAR, 2022)

Formal Verification of the Empty Hexagon Number. - Bernardo Subercaseaux; Wojciech Nawrocki; James Gallicchio; Cayden R. Codel; Mario Carneiro; Marijn J. H. Heule (ITP, 2024)

EmptyHexagonLean. - Bernardo Subercaseaux; Wojciech Nawrocki; James Gallicchio; Cayden R. Codel; Mario Carneiro; Marijn J. H. Heule (DROPS Artifacts, 2024)