activity
20242026
most citedWatChat: Explaining perplexing programs by debugging mental models

3 citations · 7 across the 17 of their papers we have counts for

collaborators
Showing 2026Show all

6 papers · 1 filter

cs.AI2026

CogGym: Towards Large-Scale Comparative Evaluation of Human and Machine Cognition

Lance Ying, Jinzhou Wu, Yingshan Susan Wang +53

Understanding and modeling human intelligence are parallel goals shared by artificial intelligence (AI) and cognitive science. As AI systems grow increasingly capable, in what ways…

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

Cognitive offloading and the speedup illusion in human-AI interaction

Sunny Yu, Myra Cheng, Ahmad Jabbar +4

Large language models (LLMs) have the potential to boost human productivity by speeding up task completion -- provided users know when to offload cognitive work to them. But we do…

cs.CY2026

The efficiency-gain illusion: People underestimate the rate of AI use and overestimate its benefits on simple tasks

Sunny Yu, Myra Cheng, Ahmad Jabbar +4

People are increasingly turning to AI assistance for simple tasks, e.g., arithmetic, spell-check, and answering simple questions. But does AI assistance actually save users time an…

cs.CL2026

Under the Influence: Evaluating and Improving LLM Vigilance in Agentic Tasks

Sasha Robinson, Katherine M. Collins, Ilia Sucholutsky +1

Large Language Models (LLMs) are becoming increasingly autonomous assistants, capable of accomplishing series of complex tasks by interacting with open world domains such as softwa…

cs.AI2026★ 1 cited

AI Gamestore: Scalable, Open-Ended Evaluation of Machine General Intelligence with Human Games

Lance Ying, Ryan Truong, Prafull Sharma +9

Rigorously evaluating machine intelligence against the broad spectrum of human general intelligence has become increasingly important and challenging in this era of rapid technolog…