Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
DGX agentarXiv:2604.02598v2 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