FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models

已关闭

文献求助详情

标题	FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models 相关领域计算机科学程序设计语言自然语言处理人工智能
网址	http://dx.doi.org/10.1007/978-3-031-98208-8_16
DOI	10.1007/978-3-031-98208-8_16 doi
求助人	听话的白易在 2026-05-20 10:17:46 发布自黑龙江，悬赏 10 积分
下载
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

Society for Industrial and Applied Mathematics (SIAM)

上个求助

下个求助

提交工单

求助 / 应助时间线

3个月前，求助关闭

科研通管家机器人关闭了本次求助。

说明您的求助为[书籍（某章节）]，需要最低积分：30。您的求助积分为10，不符合要求，系统已关闭求助退还积分。如有需要，请重新设置积分【积分已退回】
3个月前

听话的白易 Lv1 求助人发起了本次求助

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

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

更新

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

更新

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

更新

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

新增

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

新增

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

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

实时播报: 科研通AI6.2的应助被linshunan采纳，获得10

刚刚; 上官若男上传了应助文件

刚刚; 隐形曼青上传了应助文件

1秒前; 佳多宝发布了新的文献求助20

1秒前; 斯文含灵完成签到，获得积分10

2秒前; Solar energy发布了新的文献求助10

4秒前; nlcoisini的应助被han采纳，获得10

4秒前; ASH上传了应助文件

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

4秒前; 羊羊羊冲完成签到，获得积分20

4秒前; 十二发布了新的文献求助10

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

6秒前; 活力的问安完成签到，获得积分10

6秒前; 我不理解发布了新的文献求助10

6秒前; Jasper上传了应助文件

7秒前; 悦耳的怀寒发布了新的文献求助10

8秒前; 沉默夜梦发布了新的文献求助10

8秒前; 研友_VZG7GZ上传了应助文件

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

10秒前; bkagyin上传了应助文件

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

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

11秒前; 英姑上传了应助文件

11秒前; 杜sda完成签到，获得积分10

12秒前; 酷波er的应助被lo采纳，获得10

12秒前; 科研顺利发布了新的文献求助10

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

13秒前; 聪明山兰完成签到，获得积分10

13秒前; Nole的应助被浅帅采纳，获得10

14秒前; 赘婿上传了应助文件

14秒前; Nole上传了应助文件

14秒前; 期待发布了新的文献求助20

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

15秒前; 852的应助被咖啡豆采纳，获得10

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

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

16秒前; lllll的应助被活力金毛采纳，获得30

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

16秒前; pcg发布了新的文献求助10

17秒前; Nole的应助被庞mou采纳，获得10

17秒前