Expo demonstration · Sydney

LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks

Name: LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks
Start: 2026-12-06T12:00:00+11:00
End: 2026-12-06T14:00:00+11:00
Location: Room C3.3, ICC Sydney

When: Sun 6 Dec 2026, 12:00–14:00 AEDT
Where: Room C3.3, ICC Sydney
Convention Centre, Level 3
Authors: Violet Peng
Organisations: Google
QRS classification: Agentic AI, Language models

Open in schedule Official page