Poster · Sydney

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems

Name: Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
Start: 2026-12-10T17:00:00+11:00
End: 2026-12-10T20:00:00+11:00
Location: Hall 1-4, ICC Sydney

When: Thu 10 Dec 2026, 17:00–20:00 AEDT
Where: Hall 1-4, ICC Sydney
Exhibition Centre, Level 1
Session: Sydney Poster Session 6
Oral: Oral of this paper
Authors: Shubham Agarwal, Alexander Krentsel, Shu Liu, Mert Cemri, Audrey Cheng, Rui Meng, Tomas Pfister, Chun-Liang Li, Sylvia Ratnasamy, Aditya Parameswaran, Matei A Zaharia, Ion Stoica and 1 more
Organisations: University of California, Berkeley, Google, Stanford University, Univ. of Illinois at Urbana-Champaign, University of California, Santa Cruz
QRS classification: Agentic AI, Language models

Open in schedule Official page