Recognizing Quasi-Categorical Limits and Colimits in Homotopy Coherent Nerves. - Emily Riehl; Dominic R. Verity (Appl. Categorical Struct., 2020)

Formalizing the ∞-Categorical Yoneda Lemma. - Nikolai Kudasov; Emily Riehl; Jonathan Weinberger (CPP, 2024)

The equivariant model structure on cartesian cubical sets. - Steve Awodey; Evan Cavallo; Thierry Coquand; Emily Riehl; Christian Sattler (CoRR, 2024)

A 2-categorical proof of Frobenius for fibrations defined from a generic point. - Sina Hazratpour; Emily Riehl (Math. Struct. Comput. Sci., 2024)

Prospects for Computer Formalization of Infinite-Dimensional Category Theory (Invited Talk). - Emily Riehl (CPP, 2025)