conftrace_

theorem explanation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

multimodal explanation (1) agentic approach (1) long-form video generation (1) large language model (1) manim animation (1) agentic planning (1) automated evaluation (1) multimodal learning (1) video generation (1)

Papers

TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding ACL 2025