410 citations · 706 across the 14 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.HC2023★ 18 cited
My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning
Aimen Gaba, Zhanna Kaufman, Jason Chueng +4
Machine learning technology has become ubiquitous, but, unfortunately, often exhibits bias. As a consequence, disparate stakeholders need to interact with and make informed decisio…
cs.LG2023★ 2 cited
Baldur: Whole-Proof Generation and Repair with Large Language Models
Emily First, Markus N. Rabe, Talia Ringer +1
Formally verifying software properties is a highly desirable but labor-intensive task. Recent work has developed methods to automate formal verification using proof assistants, suc…