My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning
Gaba, Aimen, Kaufman, Zhanna, Cheung, Jason, Shvakel, Marie, Hall, Kyle Wm, Brun, Yuriy, Bearfield, Cindy Xiong
Published in IEEE transactions on visualization and computer graphics (01.01.2024)
Published in IEEE transactions on visualization and computer graphics (01.01.2024)
Get full text
Journal Article
PRoofster: Automated Formal Verification
Agrawal, Arpan, First, Emily, Kaufman, Zhanna, Reichel, Tom, Zhang, Shizhuo, Zhou, Timothy, Sanchez-Stern, Alex, Ringer, Talia, Brun, Yuriy
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.05.2023)
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.05.2023)
Get full text
Conference Proceeding
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
Sanchez-Stern, Alex, Varghese, Abhishek, Kaufman, Zhanna, Zhang, Dylan, Ringer, Talia, Brun, Yuriy
Year of Publication 17.08.2024
Year of Publication 17.08.2024
Get full text
Journal Article
My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning
Gaba, Aimen, Kaufman, Zhanna, Chueng, Jason, Shvakel, Marie, Hall, Kyle Wm, Brun, Yuriy, Cindy Xiong Bearfield
Published in arXiv.org (07.08.2023)
Published in arXiv.org (07.08.2023)
Get full text
Paper
Journal Article
Passport: Improving Automated Formal Verification Using Identifiers
Sanchez-Stern, Alex, First, Emily, Zhou, Timothy, Kaufman, Zhanna, Brun, Yuriy, Ringer, Talia
Published in arXiv.org (02.08.2022)
Published in arXiv.org (02.08.2022)
Get full text
Paper
Journal Article