Copertina

SynCode: LLM Generation with Grammar Augmentation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ugare, Shubham, Suresh, Tarun, Kang, Hangoo, Misailovic, Sasa, Singh, Gagandeep
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Formal Languages and Automata Theory Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Enforcing Temporal Constraints for LLM Agents
di: Kamath, Adharsh, et al.
Pubblicazione: (2025)

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
di: Ugare, Shubham, et al.
Pubblicazione: (2024)

Constrained Decoding of Diffusion LLMs with Context-Free Grammars
di: Mündler, Niels, et al.
Pubblicazione: (2025)

DINGO: Constrained Inference for Diffusion LLMs
di: Suresh, Tarun, et al.
Pubblicazione: (2025)

A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling
di: Ndadji, Milliam Maxime Zekeng, et al.
Pubblicazione: (2020)

Type-safe Monitoring of Parameterized Streams
di: Baumeister, Jan, et al.
Pubblicazione: (2026)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
di: Mavridou, Anastasia, et al.
Pubblicazione: (2025)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2022)

Semi-Automatic Extraction of Formal Models from Object Oriented Code
di: van Spaendonck, P. H. M.
Pubblicazione: (2024)

On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code
di: Eldin, Ali Nour, et al.
Pubblicazione: (2025)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
di: Fang, Yue, et al.
Pubblicazione: (2026)

A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
di: Zhang, Kaiwen, et al.
Pubblicazione: (2026)

Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
di: Zheng, Xinyi, et al.
Pubblicazione: (2025)

TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints
di: Kato, Yoshio, et al.
Pubblicazione: (2026)

BEAVER: An Efficient Deterministic LLM Verifier
di: Suresh, Tarun, et al.
Pubblicazione: (2025)

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
di: Shi, Chenhao, et al.
Pubblicazione: (2023)

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
di: Hu, Jilin, et al.
Pubblicazione: (2025)

Automata Learning -- Expect Delays!
di: Dengler, Gabriel, et al.
Pubblicazione: (2025)

Once and for all: how to compose modules -- The composition calculus
di: Fettke, Peter, et al.
Pubblicazione: (2024)

Configuration Monitor Synthesis
di: Köhl, Maximilian A., et al.
Pubblicazione: (2024)

Complete FSM Testing Using Strong Separability
di: Hierons, Robert M., et al.
Pubblicazione: (2025)

A Simple Trace Semantics for Asynchronous Sequence Diagrams
di: Faitelson, David, et al.
Pubblicazione: (2025)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
di: Abreu, Francisco, et al.
Pubblicazione: (2025)

Contract Based Program Models for Software Model Checking
di: Amilon, Jesper, et al.
Pubblicazione: (2025)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
di: Basile, Davide
Pubblicazione: (2025)

Disjunction Composition of BDD Transition Systems for Model-Based Testing
di: Zameni, Tannaz, et al.
Pubblicazione: (2026)

Twinning automata and regular expressions for string static analysis
di: Negrini, Luca, et al.
Pubblicazione: (2020)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
di: Hong, Chih-Duo, et al.
Pubblicazione: (2025)

AutoVerus: Automated Proof Generation for Rust Code
di: Yang, Chenyuan, et al.
Pubblicazione: (2024)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
di: Khakpour, Narges, et al.
Pubblicazione: (2025)

On the Effectiveness of Large Language Models in Writing Alloy Formulas
di: Hong, Yang, et al.
Pubblicazione: (2025)

Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods
di: Granberry, George, et al.
Pubblicazione: (2024)

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
di: Lin, Yuanfei, et al.
Pubblicazione: (2023)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
di: Endrullis, Jörg, et al.
Pubblicazione: (2025)

Enhanced Data Race Prediction Through Modular Reasoning
di: Ang, Zhendong, et al.
Pubblicazione: (2025)

Design Support for Multitape Turing Machines
di: Morazán, Marco T., et al.
Pubblicazione: (2025)

A Design Recipe and Recipe-Based Errors for Regular Expressions
di: Morazán, Marco T., et al.
Pubblicazione: (2025)

Visual Execution and Validation of Finite-State Machines and Pushdown Automata
di: Morazán, Marco T., et al.
Pubblicazione: (2025)

Proceedings 16th International Workshop on Graph Computation Models
di: Lambers, Leen, et al.
Pubblicazione: (2026)

The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
di: Dantas, PIerre, et al.
Pubblicazione: (2025)