Yablifying the Rosser Sentence. - Graham Leach-Krouse (J. Philos. Log., 2014)

Carnap: An Open Framework for Formal Reasoning in the Browser. - Graham Leach-Krouse (ThEdu@CADE, 2017)

What Russell Should have said to Burali-Forti. - Salvatore Florio; Graham Leach-Krouse (Rev. Symb. Log., 2017)

Generalizing Boolos' Theorem. - Graham Leach-Krouse (Rev. Symb. Log., 2017)

Burali-Forti as a Purely Logical Paradox. - Graham Leach-Krouse (J. Philos. Log., 2019)

Coalgebra and Abstraction. - Graham Leach-Krouse (Notre Dame J. Formal Log., 2021)

cozy: Comparative Symbolic Execution for Binary Programs. - Caleb Helbling; Graham Leach-Krouse; Sam Lasser; Greg Sullivan (CoRR, 2025)