Zhanna Kaufman

According to our database, Zhanna Kaufman authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, August, 2025

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning.

Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Shizhuo Dylan Zhang, Talia Ringer, Yuriy Brun

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

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., January, 2024

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., June, 2023

PRoofster: Automated Formal Verification.

Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023