BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
X-LIC-LOCATION:America/Los_Angeles
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260417T190159Z
LOCATION:West Building\, Rooms 211-214
DTSTART;TZID=America/Los_Angeles:20250811T091000
DTEND;TZID=America/Los_Angeles:20250811T092000
UID:siggraph_SIGGRAPH 2025_sess102_papers_1116@linklings.com
SUMMARY:MoVer: Motion Verification for Motion Graphics Animations
DESCRIPTION:Jiaju Ma and Maneesh Agrawala (Stanford University)\n\nLarge v
 ision-language models often fail to capture spatio-temporal details in tex
 t-to-animation tasks. We introduce MoVer, a verification system using firs
 t-order logic to check properties like timing and positioning in motion gr
 aphics animations. Integrated into an LLM pipeline, MoVer enables iterativ
 e refinement, significantly improving animation generation accuracy from 5
 8.8% to 93.6%.\n\nInterest Area: Research & Education\n\nRecording: Livest
 reamed, Not Livestreamed, Recorded, Not Recorded\n\nRegistration Category:
  Full Conference, Virtual Access, Monday\n\nSession Chair: Yotam Gingold (
 George Mason University)\n\n
END:VEVENT
END:VCALENDAR