PRoofster: Automated Formal Verification. - Arpan Agrawal; Emily First; Zhanna Kaufman; Tom Reichel; Shizhuo Zhang; Timothy Zhou; Alex Sanchez-Stern; Talia Ringer; Yuriy Brun (ICSE Companion, 2023)

Passport: Improving Automated Formal Verification Using Identifiers. - Alex Sanchez-Stern; Emily First; Timothy Zhou; Zhanna Kaufman; Yuriy Brun; Talia Ringer (ACM Trans. Program. Lang. Syst., 2023)

My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning. - Aimen Gaba; Zhanna Kaufman; Jason Cheung; Marie Shvakel; Kyle Wm. Hall; Yuriy Brun; Cindy Xiong Bearfield (IEEE Trans. Vis. Comput. Graph., 2024)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. - Alex Sanchez-Stern; Abhishek Varghese; Zhanna Kaufman; Shizhuo Dylan Zhang; Talia Ringer; Yuriy Brun (ICSE, 2025)

Your Model Is Unfair, Are You Even Aware? Inverse Relationship Between Comprehension and Trust in Explainability Visualizations of Biased ML Models. - Zhanna Kaufman; Madeline Endres; Cindy Xiong Bearfield; Yuriy Brun (CoRR, 2025)