SGA: Plug&Play Geometric Verification for Educational Video Synthesis
arXiv:2607.18116v2 Announce Type: replace-cross Abstract: Recent work leverages Large Language Models (LLMs) to generate executable code for pedagogical animations using libraries such as Manim. Howev