Buchumschlag

Can LLMs Perform Synthesis?

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Egolf, Derek, Zhou, Yuhao, Tripakis, Stavros
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
von: Egolf, Derek, et al.
Veröffentlicht: (2025)

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties
von: Egolf, Derek, et al.
Veröffentlicht: (2026)

Efficient Synthesis of Symbolic Distributed Protocols by Sketching
von: Egolf, Derek, et al.
Veröffentlicht: (2024)

Towards Language Model Guided TLA+ Proof Automation
von: Zhou, Yuhao, et al.
Veröffentlicht: (2025)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
von: Zhou, Yuhao, et al.
Veröffentlicht: (2023)

Realizability in Semantics-Guided Synthesis Done Eagerly
von: Meyer, Roland, et al.
Veröffentlicht: (2024)

Verifying Solutions to Semantics-Guided Synthesis Problems
von: Murphy, Charlie, et al.
Veröffentlicht: (2024)

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
von: Su, Yuheng, et al.
Veröffentlicht: (2026)

Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
von: Zhu, Shaowei, et al.
Veröffentlicht: (2024)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
von: Akshay, S., et al.
Veröffentlicht: (2026)

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
von: Lohse, Janine, et al.
Veröffentlicht: (2026)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
von: Schultz, William, et al.
Veröffentlicht: (2024)

Crash-Stop Failures in Asynchronous Multiparty Session Types
von: Barwell, Adam D., et al.
Veröffentlicht: (2023)

Program Synthesis is $Σ_3^0$-Complete
von: Kim, Jinwoo
Veröffentlicht: (2024)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
von: Santana, Manuel Alejandro Borroto, et al.
Veröffentlicht: (2026)

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
von: Bharti, Varun, et al.
Veröffentlicht: (2025)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2025)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

CSLib: The Lean Computer Science Library
von: Barrett, Clark, et al.
Veröffentlicht: (2026)

Recursive Mutexes in Separation Logic
von: Du, Ke, et al.
Veröffentlicht: (2026)

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
von: Zhang, Cheng, et al.
Veröffentlicht: (2026)

Symmetric Proofs of Parameterized Programs
von: Cheng, Ruotong, et al.
Veröffentlicht: (2026)

Type Theory With Erasure
von: Theocharis, Constantine, et al.
Veröffentlicht: (2026)

A Program Logic for Abstract (Hyper)Properties
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

Ordered Adjoint Logic (Extended Version)
von: Roshal, Sophia, et al.
Veröffentlicht: (2026)

Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
von: Bembenek, Aaron, et al.
Veröffentlicht: (2026)

TensorRocq: Enabling diagrammatic reasoning in Rocq
von: Caldwell, Benjamin, et al.
Veröffentlicht: (2026)

Logic Programming with Extensible Types
von: Perez, Ivan, et al.
Veröffentlicht: (2026)

FO-Complete Program Verification for Heap Logics
von: Murali, Adithya, et al.
Veröffentlicht: (2026)

A Graded Modal Dependent Type Theory with Erasure, Formalized
von: Abel, Andreas, et al.
Veröffentlicht: (2026)

DateSAT: A Framework for Solving Date and Period Constraints
von: Cui, Leyi, et al.
Veröffentlicht: (2026)

A formalization of System I with type Top in Agda
von: Séttimo, Agustín, et al.
Veröffentlicht: (2026)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
von: Casetta, Richard, et al.
Veröffentlicht: (2026)

act: Technical report
von: Paraskevopoulou, Zoe, et al.
Veröffentlicht: (2026)

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
von: Sulzmann, Martin
Veröffentlicht: (2026)

Complete Local Reasoning About Parameterized Programs Over Topologies
von: Cheng, Ruotong, et al.
Veröffentlicht: (2026)

Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions
von: Hulak, David B., et al.
Veröffentlicht: (2026)

Wiring the Pi-calculus to Denotational Semantics
von: Sakayori, Ken, et al.
Veröffentlicht: (2026)