Explorable Proofs: Making Written Proofs Explorable by Grounding Them in Formal Representations.

arXiv:2604.02598v3 Announce Type: replace-cross Abstract: 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 cannot be executed or step