Results on Martin's Conjecture. - Patrick Lutz (Bull. Symb. Log., 2021)

Formalizing Galois Theory. - Thomas Browning; Patrick Lutz (Exp. Math., 2022)

Sparse tree-based Initialization for Neural Networks. - Patrick Lutz; Ludovic Arnould; Claire Boyer; Erwan Scornet (ICLR, 2023)

Coding information into all infinite subsets of a dense set. - Matthew Harrison-Trainor; Patrick Lutz (CoRR, 2023)

Martin's conjecture for regressive functions on the hyperarithmetic degrees. - Patrick Lutz (J. Math. Log., 2025)