Copertina

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zitouni, Mounira Nihad, Anda, Amal Ahmed, Rajpal, Sahil, Amyot, Daniel, Mylopoulos, John
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering 68T99
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
di: Meloche, Regan, et al.
Pubblicazione: (2025)

A Formal Analysis of Iterated TDD
di: Ruparel, Hemil, et al.
Pubblicazione: (2024)

Directed Grammar-Based Test Generation
di: Kirschner, Lukas, et al.
Pubblicazione: (2025)

Agile Effort Estimation: Comparing the Accuracy and Efficiency of Planning Poker, Bucket System, and Affinity Estimation methods
di: Poženel, Marko, et al.
Pubblicazione: (2024)

From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
di: Hassani, Shabnam, et al.
Pubblicazione: (2025)

Icing on the Cake: Automatic Code Summarization at Ericsson
di: Sridhara, Giriprasad, et al.
Pubblicazione: (2024)

Autonomous QA Agent: A Retrieval-Augmented Framework for Reliable Selenium Script Generation
di: Vali, Dudekula Kasim
Pubblicazione: (2025)

An Empirical Study on LLM-based Classification of Requirements-related Provisions in Food-safety Regulations
di: Hassani, Shabnam, et al.
Pubblicazione: (2025)

Story Point Estimation Using Large Language Models
di: Shetty, Pranam Prakash, et al.
Pubblicazione: (2026)

Rethinking Legal Compliance Automation: Opportunities with Large Language Models
di: Hassani, Shabnam, et al.
Pubblicazione: (2024)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
di: Tagliaferro, Alberto, et al.
Pubblicazione: (2026)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
di: Huisman, Marieke, et al.
Pubblicazione: (2020)

ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation
di: Lim, Soohan, et al.
Pubblicazione: (2025)

Application of machine learning for infrastructure reconstruction programs management
di: Khudiakov, Illia, et al.
Pubblicazione: (2025)

WARP -- Web-Augmented Real-time Program Repairer: A Real-Time Compilation Error Resolution using LLMs and Web-Augmented Synthesis
di: Luiz, Anderson de Lima
Pubblicazione: (2025)

The ensmallen library for flexible numerical optimization
di: Curtin, Ryan R., et al.
Pubblicazione: (2021)

Fine-tuned LLM-based Code Migration Framework
di: Grynets, Oleg, et al.
Pubblicazione: (2025)

Towards the interoperability of low-code platforms
di: Alfonso, Iván, et al.
Pubblicazione: (2024)

Monte Carlo Tree Search for Execution-Guided Program Repair with Large Language Models
di: Liang, Yixuan
Pubblicazione: (2026)

An Agile Formal Specification Language Design Based on K Framework
di: Zhang, Jianyu, et al.
Pubblicazione: (2024)

See-Saw Generative Mechanism for Scalable Recursive Code Generation with Generative AI
di: Vsevolodovna, Ruslan Idelfonso Magaña
Pubblicazione: (2024)

A Sparse Tensor Generator with Efficient Feature Extraction
di: Torun, Tugba, et al.
Pubblicazione: (2024)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
di: Ma, Zhi, et al.
Pubblicazione: (2025)

Benchmarking Energy Efficiency of Large Language Models Using vLLM
di: Pronk, K., et al.
Pubblicazione: (2025)

Towards a Domain-Specific Modelling Environment for Reinforcement Learning
di: Sinani, Natalie, et al.
Pubblicazione: (2024)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
di: Erfan, Md, et al.
Pubblicazione: (2026)

Quality evaluation of Tabby coding assistant using real source code snippets
di: Borek, Marta, et al.
Pubblicazione: (2025)

SHAPR: Operationalising Human-AI Collaborative Research Through Structured Knowledge Generation
di: Chan, Ka Ching
Pubblicazione: (2026)

On Augmenting Scenario-Based Modeling with Generative AI
di: Harel, David, et al.
Pubblicazione: (2024)

FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols
di: Shih, Yu-An, et al.
Pubblicazione: (2025)

Retrieval-augmented code completion for local projects using large language models
di: Hostnik, Marko, et al.
Pubblicazione: (2024)

When Prompt Under-Specification Improves Code Correctness: An Exploratory Study of Prompt Wording and Structure Effects on LLM-Based Code Generation
di: AKLI, Amal, et al.
Pubblicazione: (2026)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
di: Ma, Lezhi, et al.
Pubblicazione: (2026)

SmartML: Towards a Modeling Language for Smart Contracts
di: Veschetti, Adele, et al.
Pubblicazione: (2024)

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability
di: Berzack, Ayelet, et al.
Pubblicazione: (2025)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
di: Wang, Weiqi, et al.
Pubblicazione: (2025)

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
di: Alhanahnah, Mohannad, et al.
Pubblicazione: (2024)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
di: Ma, Lezhi, et al.
Pubblicazione: (2024)

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
di: Wang, Hongshu, et al.
Pubblicazione: (2026)

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
di: Hähnle, Reiner, et al.
Pubblicazione: (2025)