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

Zitouni, Mounira Nihad; Anda, Amal Ahmed; Rajpal, Sahil; Amyot, Daniel; Mylopoulos, John

doi:10.5281/zenodo.14183387

There is a newer version of the record available.

Published November 19, 2024 | Version v1

Dataset Open

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

1. University of Ottawa

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".

Files

SymboleoLLM.zip

Files (349.5 kB)

Name	Size	Download all
SymboleoLLM.zip md5:5fdf2e1d8b56804f104ce789f77ad506	349.5 kB	Preview Download

247

Views

Downloads

Show more details

	All versions	This version
Views	247	74
Downloads	76	35
Data volume	26.7 MB	12.2 MB

More info on how stats are collected....

DOI

Resource type

Dataset

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: November 18, 2024
Modified: November 18, 2024

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

Authors/Creators

Description

Files

SymboleoLLM.zip

Files (349.5 kB)