Showing cs.HCShow all
3 papers · 1 filter
cs.HC2026
LitPivot: Developing Well-Situated Research Ideas Through Dynamic Contextualization and Critique within the Literature Landscape
Hita Kambhamettu, Bhavana Dalvi Mishra, Andrew Head +4
Developing a novel research idea is hard. It must be distinct enough from prior work to claim a contribution while also building on it. This requires iteratively reviewing literatu…
cs.HC2026
Explorable Theorems: Making Written Theorems 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.HC2024
Traceable Text: Deepening Reading of AI-Generated Summaries with Phrase-Level Provenance Links
Hita Kambhamettu, Jamie Flores, Andrew Head
As AI-generated summaries proliferate, how can we help people understand the veracity of those summaries? In this short paper, we design a simple interaction primitive, traceable t…