Buchumschlag

Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lahiri, Shuvendu K.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Machine Learning Software Engineering D.2.1; F.4.1; I.2.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
von: Lahiri, Shuvendu K.
Veröffentlicht: (2026)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

A Short Survey on Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example
von: Kessel, Marcus
Veröffentlicht: (2024)

A knowledge-driven framework for synthesizing designs from modular components
von: Chaumet, Constantin, et al.
Veröffentlicht: (2023)

Engineering Systems for Data Analysis Using Interactive Structured Inductive Programming
von: Surana, Shraddha, et al.
Veröffentlicht: (2025)

Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
von: Kessel, Marcus
Veröffentlicht: (2025)

Working Document -- Formalising Software Requirements with Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
von: Xu, Qiyuan, et al.
Veröffentlicht: (2026)

Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems
von: Petrovic, Nenad, et al.
Veröffentlicht: (2024)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

CLS-CAD: Synthesizing CAD Assemblies in Fusion 360
von: Chaumet, Constantin, et al.
Veröffentlicht: (2023)

Converting BPMN Diagrams to Privacy Calculus
von: Pitsiladis, Georgios V., et al.
Veröffentlicht: (2024)

Exploring LLMs for User Story Extraction from Mockups
von: Firmenich, Diego, et al.
Veröffentlicht: (2026)

Towards Single-System Illusion in Software-Defined Vehicles -- Automated, AI-Powered Workflow
von: Lebioda, Krzysztof, et al.
Veröffentlicht: (2024)

N-Version Assessment and Enhancement of Generative AI
von: Kessel, Marcus, et al.
Veröffentlicht: (2024)

Morescient GAI for Software Engineering (Extended Version)
von: Kessel, Marcus, et al.
Veröffentlicht: (2024)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
von: Mitra, Joydeep, et al.
Veröffentlicht: (2020)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
von: Chen, Jinbao, et al.
Veröffentlicht: (2024)

Instruction and Solution Probabilities as Heuristics for Inductive Programming
von: McDaid, Edward, et al.
Veröffentlicht: (2025)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
von: Baier, Daniel, et al.
Veröffentlicht: (2024)

Consensus and Synchronization of Multi-agent Systems over Finite Fields -- Graph Topologies
von: Hengster-Movrić, Kristian, et al.
Veröffentlicht: (2026)

Constrained LTL Specification Learning from Examples
von: Zhang, Changjian, et al.
Veröffentlicht: (2024)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
von: Vatsa, Adarsh, et al.
Veröffentlicht: (2025)

Towards Comprehensive Sampling of SMT Solutions
von: Lyu, Shuangyu, et al.
Veröffentlicht: (2025)

Validating Formal Specifications with LLM-generated Test Cases
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

From Machine Learning Documentation to Requirements: Bridging Processes with Requirements Languages
von: Peng, Yi, et al.
Veröffentlicht: (2025)

Causal Models in Requirement Specifications for Machine Learning: A vision
von: Heyn, Hans-Martin, et al.
Veröffentlicht: (2025)

LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
von: Fakih, Mohamad, et al.
Veröffentlicht: (2024)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
von: Beyer, Dirk, et al.
Veröffentlicht: (2022)

Test-Driven AI Agent Definition (TDAD): Compiling Tool-Using Agents from Behavioral Specifications
von: Rehan, Tzafrir
Veröffentlicht: (2026)

Who is Introducing the Failure? Automatically Attributing Failures of Multi-Agent Systems via Spectrum Analysis
von: Ge, Yu, et al.
Veröffentlicht: (2025)

Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework
von: Zietsman, Christo
Veröffentlicht: (2026)

Addressing Visual Impairments with Model-Driven Engineering: A Systematic Literature Review
von: Michael, Judith, et al.
Veröffentlicht: (2025)

On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
von: Burgess, Mark
Veröffentlicht: (2025)

Exact Synthetic Populations for Scalable Societal and Market Modeling
von: Petit, Thierry, et al.
Veröffentlicht: (2025)