A Formally Verified Checker for First-Order Proofs. - Seulkee Baek (ITP, 2021)

A Flexible Proof Format for SAT Solver-Elaborator Communication. - Seulkee Baek; Mario Carneiro; Marijn J. H. Heule (Log. Methods Comput. Sci., 2022)

An Impossible Asylum. - Jeremy Avigad; Seulkee Baek; Alexander Bentkamp; Marijn Heule; Wojciech Nawrocki (Am. Math. Mon., 2023)