Official Repo for TheoremExplainAgent, generating explanations for theorems using LLMs and AI video generation.