Copertina

Intent-aligned Formal Specification Synthesis via Traceable Refinement

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ye, Zhe, Yang, Aidan Z. H., Su, Huangyuan, Liao, Zhenyu, Tenka, Samuel, Qin, Zhizhen, Ghai, Udaya, Song, Dawn, Kong, Soonho
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Machine Learning Artificial Intelligence Logic in Computer Science Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Learning Adaptive LLM Decoding
di: Su, Chloe H., et al.
Pubblicazione: (2026)

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs
di: Rao, Balaji, et al.
Pubblicazione: (2026)

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
di: Murphy, William, et al.
Pubblicazione: (2024)

BlindMarket: Enabling Verifiable, Confidential, and Traceable IP Core Distribution in Zero-Trust Settings
di: Liu, Zhaoxiang, et al.
Pubblicazione: (2026)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
di: Altuntas, Alper, et al.
Pubblicazione: (2025)

Formally Verified Animation for RoboChart using Interaction Trees
di: Ye, Kangfeng, et al.
Pubblicazione: (2023)

A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
di: Beers, Adrian, et al.
Pubblicazione: (2025)

Meta-Modelling in Formal Concept Analysis
di: Wang, Yingjian
Pubblicazione: (2024)

Formalizing two-level type theory with cofibrant exo-nat
di: Uskuplu, Elif
Pubblicazione: (2023)

Formalization of the Filter Extension Principle (FEP) in Coq
di: Dou, Guowei, et al.
Pubblicazione: (2024)

A Univalent Formalization of Constructive Affine Schemes
di: Zeuner, Max, et al.
Pubblicazione: (2022)

Formal Mathematical Reasoning: A New Frontier in AI
di: Yang, Kaiyu, et al.
Pubblicazione: (2024)

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
di: Lu, Jialin, et al.
Pubblicazione: (2026)

Structures of uninorms on bounded lattices via t-conorms, closure operators and t-subnorms
di: Xiu, Zhenyu, et al.
Pubblicazione: (2025)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
di: Lyon, Tim S.
Pubblicazione: (2022)

CESAR: Control Envelope Synthesis via Angelic Refinements
di: Kabra, Aditi, et al.
Pubblicazione: (2023)

On the Cut Elimination of Weak Intuitionistic Tense Logic
di: Wang, Yiheng, et al.
Pubblicazione: (2024)

A Logic of Stability: Formalizing Similarity in Counterfactual Reasoning
di: Esteves, Marta
Pubblicazione: (2025)

Efficient Reactive Synthesis
di: Ye, Xin, et al.
Pubblicazione: (2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
di: Hadjiloizou, Loizos, et al.
Pubblicazione: (2024)

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
di: Neider, Daniel, et al.
Pubblicazione: (2025)

Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
di: Heim, Philippe, et al.
Pubblicazione: (2025)

Refinements of provability and consistency principles for the second incompleteness theorem
di: Kurahashi, Taishi
Pubblicazione: (2025)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
di: Schön, Oliver, et al.
Pubblicazione: (2023)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
di: Andresel, Medina, et al.
Pubblicazione: (2026)

Split Interpolation: Refining Craig's Theorem via Three-Valued Logics
di: Blomet, Quentin
Pubblicazione: (2025)

Consistent Update Synthesis via Privatized Beliefs
di: Schlögl, Thomas, et al.
Pubblicazione: (2024)

Formalizing equivalences without tears
di: de Jong, Tom
Pubblicazione: (2024)

Formalization of Amicable Numbers Theory
di: Chen, Zhipeng, et al.
Pubblicazione: (2026)

Stable Canonical Rules for Intuitionistic Modal Logics
di: Liao, Cheng
Pubblicazione: (2026)

Coherence Theory in Higher Identity Types Analytical Formalization of the Gnomonic Computation Model
di: Lombardi, Roberto
Pubblicazione: (2026)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
di: Lanzinger, Florian, et al.
Pubblicazione: (2024)

Formal Model Theory & Higher Topology
di: Di Liberti, Ivan
Pubblicazione: (2020)

Formal Modelling and Analysis of Slot Machines
di: Groote, Jan Friso, et al.
Pubblicazione: (2024)

Formal Verification of Isothermal Chemical Reactors
di: Feyzishendi, Parivash, et al.
Pubblicazione: (2025)

A Theory of Formal Choreographic Languages
di: Barbanera, Franco, et al.
Pubblicazione: (2022)

Formal model theory and higher topology
di: Ivan Di Liberti
Pubblicazione: (2024)

RoboCertProb: Property Specification for Probabilistic RoboChart Models
di: Ye, Kangfeng, et al.
Pubblicazione: (2024)

The Modal Logic of Abstraction Refinement
di: Piribauer, Jakob, et al.
Pubblicazione: (2026)

Lowerbounds for Bisimulation by Partition Refinement
di: Groote, Jan Friso, et al.
Pubblicazione: (2022)