22 citations · 30 across the 8 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.HC2025
When Do Reactive Notebooks Fail to React?
Yuchen Lu, Megan Zheng, Will Crichton +3
Computational notebooks are convenient for programmers, but can easily become confusing and inconsistent due to the ability to incrementally edit a program that is running. Recent…