Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zitouni, Mounira Nihad, Anda, Amal Ahmed, Rajpal, Sahil, Amyot, Daniel, Mylopoulos, John
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering 68T99
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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