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…