Oral · Sydney

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems

Time not published yetRoom not published

When

Time not published yet

Where

Room not published

Poster

Poster 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 scheduleOfficial page