ACL2025
TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding
Max Ku, Cheuk Hei Chong, Jonathan Leung, Krish Shah, Alvin Yu, Wenhu Chen
Abstract
♡ Votee AI † Vector Institute https://tiger-ai-lab.github.io/TheoremExplainAgent/ Prompt: Show your understanding on Bubble Sort. (Text Element) Bubble Sort is a straightforward sorting algorithm that works on the principle of repeatedly comparing and swapping adjacent elements until the list is sorted. The process involves iterating through the list multiple times … (Multimodal Elements) Bubble Sort is … Explainability