Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Agarwal, Shubham, Krentsel, Alexander, Liu, Shu, Cemri, Mert, Cheng, Audrey, Meng, Rui, Pfister, Tomas, Li, Chun-Liang, Ratnasamy, Sylvia, Parameswaran, Aditya, Zaharia, Matei, Stoica, Ion, Lesani, Mohsen
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Distributed, Parallel, and Cluster Computing Logic in Computer Science Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

https://arxiv.org/abs/2605.23109