1 citations · 2 across the 11 of their papers we have counts for
Showing cs.HCShow all
2 papers · 1 filter
cs.HC2026
Explorable Proofs: Making Written Proofs Explorable by Grounding Them in Formal Representations
Hita Kambhamettu, Will Crichton, Sean Welleck +2
LLM-generated explanations can make technical content more accessible, but there is a ceiling on what they can support interactively. Because LLM outputs are static text, they cann…
cs.HC2026
Decision-Oriented Programming with Aporia
Saketh Ram Kasibatla, Raven Rothkopf, Hila Peleg +4
AI agents help developers express computational intent abstractly, but at a cost: developers cede decision-making authority to agents, often without realizing that important design…