GitHub repository: AI-ML-HUB/TheoremExplainAgent
Description: Official Repo for "TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding"