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

Name: Supplementary Material, Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
Creator: Zenodo
Published: 2024-11-18T23:48:25+08:00

Zenodo2025-01-27 更新2026-05-26 收录

合同形式化规范生成

自然语言处理

数据链接：

https://zenodo.org/doi/10.5281/zenodo.14183387 数据链接链接失效反馈

官方服务：

资源简介：

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

提供机构：

Zenodo

创建时间：

2024-11-18