Get started
Author

Zhanna Kaufman

Observed name: Kaufman, Zhanna
ORCID: 0000-0002-9135-815X
Observed ORCID: 0000-0002-9135-815X
OpenAlex ID: A5051260332
Passport: Improving Automated Formal Verification Using Identifiers
2023 · Alex Sanchez-Stern, Emily First, et al. · ACM Transactions on Programming Languages and Systems · 27
PDF
My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning
2023 · Aimen Gaba, Zhanna Kaufman, et al. · IEEE Transactions on Visualization and Computer Graphics · 20
PDF
PRoofster: Automated Formal Verification
2023 · Arpan Agrawal, Emily First, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 9
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
2025 · Alex Sanchez-Stern, Abhishek Varghese, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 3
PDF
Your Model Is Unfair, Are You Even Aware? Inverse Relationship Between Comprehension and Trust in Explainability Visualizations of Biased ML Models
2025 · Zhanna Kaufman, Madeline Endres, et al. · IEEE Transactions on Visualization and Computer Graphics · 2
PDF
Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions
2026 · Kaufman, Zhanna, Brun, Yuriy, et al. · arXiv (Cornell University)
PDF
Trust Testing: Testing How Software Features Affect User Trust
2026 · Zhanna Kaufman · OSF Preprints (OSF Preprints)
ProofCoop: Collaborative Automated Formal Verification
2026 · Zhanna Kaufman, Emily First, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Final Artifact for ProofCoop: Collaborative Automated Formal Verification
2026 · Zhanna Kaufman · OSF Preprints (OSF Preprints)
Works count: 10
Citation count: 61
H-index: 3
I10-index: 2
Year
Topic
Type