TY  - RPRT
TI  - Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
AU  - Hita Kambhamettu
AU  - Will Crichton
AU  - Sean Welleck
AU  - Harrison Goldstein
AU  - Andrew Head
PY  - 2026
UR  - https://arxiv.org/abs/2604.02598
ID  - 2604.02598
ER  -