@misc{indiciaed6882cd4a14c,
  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},
  url = {https://arxiv.org/abs/2605.23109},
  note = {Source identifier: 2605.23109}
}