Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships. - Eunice Jun; Audrey Seo; Jeffrey Heer; René Just (CHI, 2022)

Correctly Compiling Proofs About Programs Without Proving Compilers Correct. - Audrey Seo; Christopher Lam 003; Dan Grossman; Talia Ringer (ITP, 2024)