A Note on the Unprovability of Consistency in Formal Theories of Truth. - Kevin Davey (J. Philos. Log., 2021)

Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery. - Eamon Duede; Kevin Davey (CoRR, 2024)