activity
20242026
most citedUnequal Uncertainty: Rethinking Algorithmic Interventions for Mitigating Discrimination from AI

1 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing cs.AIShow all

2 papers · 1 filter

cs.AI2026

Human agency in initial human-AI proof formalization workflows

Katherine M. Collins, Simon Frieder, Jonas Bayer +14

For centuries, human mathematicians have written proofs to substantiate their mathematical arguments; yet, the ability to automatically verify the validity of proofs has long been…

cs.AI2025

Revisiting Rogers' Paradox in the Context of Human-AI Interaction

Katherine M. Collins, Umang Bhatt, Ilia Sucholutsky

Humans learn about the world, and how to act in the world, in many ways: from individually conducting experiments to observing and reproducing others' behavior. Different learning…