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

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.