Cover Image

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: 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
Published: 2026
Subjects:
Artificial Intelligence
Distributed, Parallel, and Cluster Computing
Logic in Computer Science
Programming Languages
Online Access:
Acceder al recurso
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Description not available.

Similar Items