SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Automatic Generation of Loop Invariants in Dafny with Large Language Models
计算机科学
循环（图论）
程序设计语言
自然语言处理
人工智能
理论计算机科学
数学
组合数学
作者
João Pascoal Faria,
Emanuel Trigo,
Rui Abreu
出处
期刊：
Lecture Notes in Computer Science
日期：2025-01-01
卷期号：: 138-154
标识
DOI：10.1007/978-3-031-87054-5_10
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
科研通AI2S
上传了
应助文件
刚刚
量子星尘
发布了新的
文献求助
10
2秒前
爆米花
上传了
应助文件
2秒前
传奇3
上传了
应助文件
2秒前
我是老大
上传了
应助文件
3秒前
sciiii
发布了新的
文献求助
10
4秒前
陈嗣祺
发布了新的
文献求助
10
4秒前
油条
完成签到，获得积分
10
4秒前
芒果
发布了新的
文献求助
10
5秒前
研友_8DoPDZ
发布了新的
文献求助
10
6秒前
希望天下0贩的0
上传了
应助文件
6秒前
wendinfgmei
上传了
应助文件
6秒前
小林
发布了新的
文献求助
10
6秒前
麻果
上传了
应助文件
7秒前
susu
发布了新的
文献求助
10
7秒前
眯眯眼的衬衫
上传了
应助文件
8秒前
clumsy0125
完成签到，获得积分
10
8秒前
圈儿
完成签到，获得积分
10
8秒前
热心市民小红花
上传了
应助文件
8秒前
852
的
应助
被
nnn
采纳，获得
10
9秒前
bkagyin
的
应助
被
nnn
采纳，获得
10
9秒前
CodeCraft
的
应助
被
范佳宁
采纳，获得
10
10秒前
赖不弱
发布了新的
文献求助
10
10秒前
林湘
完成签到，获得积分
10
11秒前
ED
的
应助
被
山东老铁
采纳，获得
10
13秒前
流苏
驳回了
希望天下0贩的0
的
应助
15秒前
领导范儿
的
应助
被
随梦而飞
采纳，获得
10
15秒前
搜集达人
的
应助
被
susu
采纳，获得
10
17秒前
陈嗣祺
完成签到，获得积分
20
18秒前
量子星尘
发布了新的
文献求助
10
19秒前
Ava
的
应助
被
xingmeng
采纳，获得
10
20秒前
蝎子
完成签到
，获得积分
10
20秒前
香蕉觅云
上传了
应助文件
21秒前
osmanthus
上传了
应助文件
22秒前
慕薯殿焚
发布了新的
文献求助
10
24秒前
Michael
发布了新的
文献求助
10
24秒前
sciiii
完成签到，获得积分
10
25秒前
领导范儿
上传了
应助文件
25秒前
眯眯眼的衬衫
上传了
应助文件
25秒前
dragonking520
完成签到，获得积分
10
25秒前
高分求助中
传播真理奋斗不息——中共中央编译局成立50周年纪念文集
2000
The Oxford Encyclopedia of the History of Modern Psychology
2000
Chinesen in Europa – Europäer in China: Journalisten, Spione, Studenten
1200
Deutsche in China 1920-1950
1200
中共中央编译局成立四十周年纪念册 / 中共中央编译局建局四十周年纪念册
950
Applied Survey Data Analysis (第三版, 2025)
850
Mineral Deposits of Africa (1907-2023): Foundation for Future Exploration
800
热门求助领域
（近24小时）
化学
材料科学
医学
生物
工程类
有机化学
物理
生物化学
纳米技术
计算机科学
化学工程
内科学
复合材料
物理化学
电极
遗传学
量子力学
基因
冶金
催化作用
热门帖子
关注
科研通微信公众号，转发送积分
3880741
求助须知：如何正确求助？哪些是违规求助？
3422956
关于积分的说明
10732771
捐赠科研通
3147995
什么是DOI，文献DOI怎么找？
1736816
邀请新用户注册赠送积分活动
838512
科研通“疑难数据库（出版商）”最低求助积分说明
783902
今日热心研友
cctv18
1256
3950
冰魂
170
7065
热心市民小红花
382
4640
昏睡的蟠桃
5080
ED
291
800
平常的毛豆
76
2790
小丁同学
202
1090
Triaxane
140
1600
tramp
124
1540
孙燕
121
1370
眯眯眼的衬衫
93
1210
LaTeXer
2110
iNk
84
930
风清扬
57
1180
8R60d8
159
Singularity
58
930
科研助手6
1490
pcr163
1460
l玖
119
丰知然
1180
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
cctv18
冰魂
热心市民小红花
昏睡的蟠桃
ED
平常的毛豆
小丁同学
Triaxane
tramp
孙燕
眯眯眼的衬衫
LaTeXer
iNk
风清扬
8R60d8
Singularity
科研助手6
pcr163
l玖
丰知然
皖公网安备34019202002308
