Making Written Theorems Explorable by Grounding Them in Formal Representations
arXiv:2604.02598v1 Announce Type: 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 ste…