Resolving Natural Language Ambiguity for Verified Code Generation: A Two-Stage LLM Framework

已完结

文献求助详情

标题	书籍（章节） Resolving Natural Language Ambiguity for Verified Code Generation: A Two-Stage LLM Framework
网址	https://link.springer.com/content/pdf/10.1007/978-981-92-342...
DOI	10.1007/978-981-92-3426-4_41 doi
其它	期刊：Lecture Notes in Computer Science 作者：Lei Yang; Yanhong Huang; Jianqi Shi; Haibin Cai; Xin Guo; et al 出版日期：2026-07-20
求助人	zok 在 2026-07-21 15:50:27 发布自湖南，悬赏 30 积分
下载	求助已完成，仅限求助人下载。

上个求助

下个求助

提交工单

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

站在巨人的肩膀上，才更有可能跳的更远

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

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

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

更新

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

更新

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

更新

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

新增

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

新增

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

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

实时播报: 研友_nxV7q8完成签到，获得积分10

1秒前; 小张发布了新的文献求助10

1秒前; 司空三毒完成签到，获得积分10

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

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

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

4秒前; 星辰大海的应助被JIAYU采纳，获得10

4秒前; NexusExplorer的应助被xjy189采纳，获得10

4秒前; 科研通AI6.2上传了应助文件

5秒前; 慕青上传了应助文件

5秒前; 维克特瑞发布了新的文献求助30

5秒前; 科研通AI6.3的应助被小张采纳，获得10

7秒前; 充电宝的应助被Nope采纳，获得10

7秒前; 大模型的应助被不和废物当朋友采纳，获得10

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

7秒前; wgm发布了新的文献求助30

8秒前; 令狐冲0401发布了新的文献求助10

8秒前; 向卉发布了新的文献求助10

8秒前; 科研通AI6.3的应助被铁骨铮铮小宇酱采纳，获得10

8秒前; 草莓熊发布了新的文献求助10

9秒前; 时唯发布了新的文献求助10

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

9秒前; Lore发布了新的文献求助10

10秒前; 科目三的应助被123采纳，获得10

11秒前; 香蕉觅云上传了应助文件

11秒前; 幸运咖完成签到，获得积分10

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

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

12秒前; 华仔的应助被yixuanshi采纳，获得10

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

13秒前; 充电宝上传了应助文件

13秒前; Li发布了新的文献求助10

14秒前; 笨笨的紫槐完成签到，获得积分10

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

15秒前; 六六发布了新的文献求助10

15秒前; molihuakai上传了应助文件

15秒前; wentang发布了新的文献求助10

15秒前; Joel的应助被科研通管家采纳，获得10

16秒前; 科研通AI2S的应助被科研通管家采纳，获得10

16秒前; 科研狗的应助被科研通管家采纳，获得30

16秒前