Zhanna Kaufman

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

Collaborative distances:

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

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

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

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

CoRR, 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

My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning.

Aimen Gaba, Zhanna Kaufman, Jason Chueng, Marie Shvakel, Kyle Wm. Hall, Yuriy Brun, Cindy Xiong Bearfield

CoRR, 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