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

计算机科学程序设计语言自然语言生成自然语言形式化方法自然（考古学）软件工程自然语言处理历史考古

作者

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

标识

DOI：10.1109/raise66696.2025.00006

求助该文献

最长约 10秒，即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: tangzhidi发布了新的文献求助30

1秒前; 孤央完成签到，获得积分10

2秒前; 温茹完成签到，获得积分10

2秒前; 吉吉关闭了吉吉的文献求助

3秒前; Mushiyu完成签到，获得积分10

4秒前; 嘻嘻哈哈上传了应助文件

5秒前; rtaxa完成签到，获得积分0

6秒前; 冷静的草丛完成签到，获得积分10

6秒前; 科研通AI6.3上传了应助文件

7秒前; 竹噶完成签到，获得积分10

8秒前; Ava上传了应助文件

10秒前; ZJ完成签到，获得积分10

11秒前; 麻瓜发布了新的文献求助10

12秒前; ZJ发布了新的文献求助10

13秒前; 嘻嘻哈哈上传了应助文件

14秒前; MiffyJia关闭了MiffyJia的文献求助

15秒前; 汉堡包的应助被ZJ采纳，获得10

16秒前; liuzhong完成签到，获得积分10

16秒前; 称心钥匙发布了新的文献求助10

18秒前; lhhhh完成签到，获得积分10

18秒前; wwj完成签到，获得积分10

18秒前; 传奇3上传了应助文件

22秒前; lxf448完成签到，获得积分10

23秒前; 海洋完成签到，获得积分10

23秒前; 开朗幻珊关注了科研通微信公众号

25秒前; bakerwm发布了新的文献求助10

27秒前; rrrrwq发布了新的文献求助10

28秒前; 开朗的老黑完成签到，获得积分10

28秒前; 嘻嘻哈哈上传了应助文件

29秒前; wanci上传了应助文件

30秒前; 开朗的老黑发布了新的文献求助10

31秒前; 小单完成签到，获得积分10

32秒前; 田様上传了应助文件

33秒前; ding的应助被86采纳，获得10

34秒前; Mistletoe发布了新的文献求助10

34秒前; 冷静的莞完成签到，获得积分10

36秒前; Позовименя完成签到，获得积分10

36秒前; 情怀上传了应助文件

37秒前; 麻瓜完成签到，获得积分10

37秒前; sonnu发布了新的文献求助60

38秒前