TY  - RPRT
TI  - Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
AU  - Shubham Agarwal
AU  - Alexander Krentsel
AU  - Shu Liu
AU  - Mert Cemri
AU  - Audrey Cheng
AU  - Rui Meng
AU  - Tomas Pfister
AU  - Chun-Liang Li
AU  - Sylvia Ratnasamy
AU  - Aditya Parameswaran
AU  - Matei Zaharia
AU  - Ion Stoica
AU  - Mohsen Lesani
PY  - 2026
UR  - https://arxiv.org/abs/2605.23109
ID  - 2605.23109
ER  -