Supplementary Material, Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
- Description:
- This repository contains all the files used in the experiments described in the paper "Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo", which appeared in "RAISE 2025: Requirements engineering for AI-powered SoftwarE", an ICSE 2025 workshop, Ottawa, May 3, 2025.
- Zitouni, Mounira Nihad, Anda, Amal Ahmed, Rajpal, Sahil, Amyot, Daniel, and Mylopoulos, John
- Source Repository:
- Zenodo
- Publisher(s):
- Zenodo
- License:
- Creative Commons Attribution 4.0 International https://creativecommons.org/licenses/by/4.0/legalcode
- URL:
- https://zenodo.org/doi/10.5281/zenodo.14183386
- Publication date:
- 2025-01-27
- Identifier:
- https://doi.org/10.5281/zenodo.14183386
Geospatial information
There is no geographic information available for this record.
Select geospatial feature(s) to view on map: