activity
20192026
most citedSecure Computation for Machine Learning With SPDZ

44 citations · 104 across the 47 of their papers we have counts for

collaborators
Showing cs.AIShow all

7 papers · 1 filter

cs.AI2026

Synthetic Hospital: An Open, Verifiable, Physician-Validated Longitudinal EHR Benchmark

Christine Park, Valerie Chen, Tim Dettmers

Frontier language models are rarely used in clinical workflows because the realistic, longitudinal benchmarks needed to develop them are scarce. Real electronic health record (EHR)…

cs.AI2026

Align AI to Dynamic Human-AI Workflows

Valerie Chen, Cleotilde Gonzalez, Anita Williams Woolley +4

Current alignment approaches typically focus on emulating human behavior using static representations of human preferences, failing to capture the dynamic, context-dependent nature…

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.AI2026

How Well Does Agent Development Reflect Real-World Work?

Zora Zhiruo Wang, Sanidhya Vijayvargiya, Aspen Chen +7

AI agents are increasingly developed and evaluated on benchmarks relevant to human work, yet it remains unclear how representative these benchmarking efforts are of the labor marke…

cs.AI2026

A Rubric-Supervised Critic from Sparse Real-World Outcomes

Xingyao Wang, Valerie Chen, Heng Ji +1

Academic benchmarks for coding agents tend to reward autonomous task completion, measured by verifiable rewards such as unit-test success. In contrast, real-world coding agents ope…

cs.AI2026

GameDevBench: Evaluating Agentic Capabilities Through Game Development

Wayne Chi, Yixiong Fang, Arnav Yayavaram +8

Despite rapid progress on coding agents, progress on their multimodal counterparts has lagged behind. A key challenge is the scarcity of evaluation testbeds that combine the comple…

cs.AI2025

How can we assess human-agent interactions? Case studies in software agent design

Valerie Chen, Rohit Malhotra, Xingyao Wang +7

While benchmarks measure the accuracy of LLM-powered agents, they mostly assume full automation, failing to represent the collaborative nature of real-world use cases. In this pape…