TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding

Open in new window