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

Motivation

• Known: LLM은 텍스트 기반 정리 추론에서 강력한 성능을 보이고 있으며, 특히 GPT-4, Gemini 등이 복잡한 텍스트 정보를 처리하는 능력을 입증했다.
• Gap: 기존 정리 관련 벤치마크(TheoremQA 등)는 주로 텍스트 기반의 선택형/단답형 질문에 초점을 맞추고 있으며, LLM의 일관성 있고 교육학적으로 의미 있는 시각적 설명 생성 능력에 대한 평가 체계가 부재하다. 또한 모델이 답변 선택지 순서 같은 표면적 단서에 민감할 수 있다.
• Why: 특히 기하학, 위상수학, 대수 등의 영역에서 정리 이해는 본질적으로 다중 모드(multimodal)이며, 인지 과학 연구에 따르면 시각적 요소는 추상적 개념 이해를 크게 향상시킨다. 비디오 기반 설명은 구조적·절차적 지식을 명시적으로 인코딩하도록 강제하여 텍스트 설명으로는 드러나지 않는 오류를 노출할 수 있다.
• Approach: 두 개의 LLM 에이전트로 구성된 에이전트 기반 시스템(TheoremExplainAgent)을 개발하여 (1) 플래너 에이전트가 스토리 플랜과 나레이션 생성, (2) 코딩 에이전트가 Manim 애니메이션 스크립트 생성, 240개 정리를 포함하는 벤치마크 TheoremExplainBench와 5개 자동 평가 지표를 제안한다.

Achievement

다중 모드 정리 설명 프레임워크 개요. 정리 입력부터 정확도/심화도, 시각적 관련성, 논리적 흐름, 요소 레이아웃, 시각적 일관성 등 5개 평가 지표 산출까지의 파이프라인

TheoremExplainAgent의 두 에이전트 구조. 플래너 에이전트가 비전, 스토리보드, 애니메이션·나레이션, 기술 구현 계획을 생성하고, 코딩 에이전트가 에이전트 RAG를 통해 Manim 코드를 생성 및 디버깅함. IEEE 변환 예시에서 TypeError 해결 과정 표시

1. 장시간 비디오 생성 성공: 기존 에이전트 미사용 방식(약 20초)과 대비하여 최대 10분 이상의 일관성 있는 설명 비디오 생성에 성공. 이는 장기 계획 및 실행 능력의 중요성을 입증.
2. 높은 성공률과 품질: o3-mini 모델이 93.8% 성공률(video generation success rate)과 0.77의 종합 점수 달성. 정리의 난이도(쉬움/중간/어려움) 전반에 걸쳐 견고한 성능 유지.
3. 다중 학문 분야 확장성: 수학, 물리, 화학, 컴퓨터과학 4개 STEM 분야에 걸쳐 240개 정리의 비디오 설명 생성으로 범용성 입증.
4. 숨겨진 추론 오류 노출: 다중 모드 설명이 텍스트 기반 평가에서 놓치는 더 깊은 추론 오류를 드러냄. 모델이 표면적 단서를 활용하지 못하고 구조적 정확성을 명시적으로 증명해야 하므로 오류가 더 명확해짐.

How

TheoremExplainBench가 포함하는 컴퓨터과학, 화학, 수학, 물리의 세부 분야. 각 분야별 14-32개 하위 주제 카테고리 포함

시스템 아키텍처:

• 플래너 에이전트 (Planner Agent)
  • 정리의 의미 파악 및 교육 목표 분석
  • 스토리 플랜(Vision, Storyboard Plan) 생성
  • 애니메이션 및 나레이션 계획 수립
  • 기술적 구현 방향 제시
  • 플러그인 문서화 및 핵심 문서 활용
• 코딩 에이전트 (Code Agent)
  • 에이전트 기반 RAG(Retrieval-Augmented Generation) 라우터를 통한 관련 문서 검색
  • Manim 기반 Python 애니메이션 스크립트 생성
  • 런타임 에러 자동 감지 및 디버깅 (예: TypeError 수정)
  • 반복적 코드 개선 (Version 0 → Version 1)
  • 최종 렌더링된 비디오 산출

평가 메트릭 (5개 차원):

• 정확도 및 심화도(Accuracy and Depth): 정리의 사실적 정확성과 개념 설명의 깊이
• 시각적 관련성(Visual Relevance): 애니메이션이 설명 콘텐츠와의 관련성
• 논리적 흐름(Logical Flow): 설명의 일관성 있는 진행 구조
• 요소 레이아웃(Element Layout): 텍스트, 도형 등의 시각적 배치 정확도
• 시각적 일관성(Visual Consistency): 색상, 스타일, 크기의 일관성

벤치마크 구성:

• 240개 정리 (4개 STEM 분야)
• 수학: 기하학, 대수, 함수, 수열과 급수, 삼각함수, 미적분학 등 14개 세부 주제
• 물리: 전자기학, 고전역학, 광학, 양자역학 등 12개 세부 주제
• 화학: 열역학, 화학 반응, 유기화학, 분광학 등 20개 세부 주제
• 컴퓨터과학: 데이터 구조, 알고리즘, 머신러닝, 그래프 이론 등 21개 세부 주제

Originality

• 새로운 평가 문제 정의: AI 생성 다중 모드 정리 설명의 체계적 평가를 위한 첫 시도. 기존의 텍스트 기반 선택형/단답형 평가를 넘어 장시간 비디오 생성 및 시각적 품질 평가로 확장.
• 에이전트 기반 장시간 생성 방법론: 두 개의 협력적 에이전트 구조(플래너-코더)를 통해 단순 LLM 프롬프팅으로는 불가능한 10분 이상의 일관성 있는 설명 비디오 생성 달성.
• 포괄적 벤치마크 구축: 4개 STEM 분야, 240개 정리, 5개 다차원 평가 지표를 포함하는 첫 종합 벤치마크 제시. 이전 연구들(TheoremQA 등)과 달리 시각화 품질 평가 포함.
• 다중 모드의 오류 노출 효과 입증: 정성적·정량적 증거를 통해 시각 설명이 텍스트만으로는 드러나지 않는 추론 오류를 노출함을 최초 증명. 이는 AI 평가 방법론에 대한 중요한 통찰.
• 실제 애니메이션 라이브러리 활용: 추상적 시각화가 아닌 Manim을 통한 실제 구현 가능한 애니메이션 스크립트 생성으로 현실성 확보.

Limitation & Further Study

• 시각적 레이아웃 문제: 생성된 비디오의 상당 부분에서 텍스트 정렬 불일치, 도형 겹침, 불일치하는 객체 크기 등의 시각적 오류가 발생. 특히 중간 및 어려움 난이도에서 이러한 문제가 두드러짐. 이는 Manim의 복잡한 레이아웃 제어 로직을 LLM이 정확히 구현하기 어렵기 때문으로 보임.
• 자동 평가 지표의 한계: 현재 5개 메트릭은 주로 자동 평가 또는 인간 전문가 평가에 의존하지만, 교육학적 효과성(pedagogical effectiveness) 측정이나 실제 학습자 이해도 향상 검증 부재.
• 난이도별 성능 편차: o3-mini는 전반적으로 우수하지만, 난이도가 높을수록 시각적 품질이 저하되는 경향. 매우 복잡한 정리의 경우 에이전트의 계획 능력이 불충분할 수 있음.
• 모델 비용 및 확장성: o3-mini와 같은 고급 모델 사용에 따른 계산 비용이 실제 대규모 배포에 장애물이 될 수 있으며, 소규모 오픈소스 모델로의 적용 가능성 미검증.
• 후속 연구 방향:
  • 시각적 레이아웃 최적화를 위한 전문화된 모듈 개발
  • 실제 학생 그룹을 대상으로 한 교육 효과 검증 연구
  • 오픈소스 LLM을 활용한 경제적 실현 방안 탐색
  • 비디오 이외의 다른 다중 모드 형식(인터랙티브 3D, 애니메이션 슬라이드) 탐색
  • 도메인 전문가 피드백을 학습에 반영하는 강화학습 방식 도입

Evaluation