@article{inductivedeductivesynthesisenablingaitog,
  title = {Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems},
  author = {Shubham Agarwal and Alexander Krentsel and Shu Liu and Mert Cemri and Audrey Cheng and Rui Meng and Tomas Pfister and Chun-Liang Li and Sylvia Ratnasamy and Aditya Parameswaran and Matei Zaharia and Ion Stoica and Mohsen Lesani},
  year = {2026},
  eprint = {2605.23109},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2605.23109},
}