发布文献求助
求助中
  • 文献求助详情
系统提示
该求助疑似为摘要（如会议摘要，并非全文），为了快速得到需要的文献，建议求助人检查核实。查看帮助
提醒：由于doi是数字文件的唯一标识，应助人将优先使用doi进行应助
标题
Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks
网址
https://dl.acm.org/doi/10.1145/3689765
DOI
10.1145/3689765 doi
其它 期刊：Proceedings of the ACM on Programming Languages
作者：Zhenyu Yan; Xin Zhang; Peng Di
出版日期：2024-10-08
求助人
KyrieIrving 在 2026-01-27 16:22:11 发布自美国，悬赏 10 积分
下载 暂无链接，等待应助者上传
上个求助
下个求助
提交工单
求助 / 应助时间线

  • 现在，等待您上传文献

    当前有 2 位研友正在围观本求助： asdfzxcv asdfzxcv YE YE

  • 3小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    16:22:15 未找到该文献，机器人已退出，请等待人工下载
    16:22:13 科研通AI机器人（北京）收到请求，开始寻找文献
    16:22:11 已向机器人发送请求

  • 3小时前

    KyrieIrving KyrieIrving Lv5 求助人 发起了本次求助

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
刚刚
xaoi完成签到，获得积分10
刚刚
刚刚
夏木完成签到，获得积分10
1秒前
1秒前
Hello的应助被清风采纳，获得10
1秒前
xsc发布了新的文献求助10
2秒前
raolowe发布了新的文献求助10
2秒前
xaoi发布了新的文献求助10
3秒前
3秒前
幽默梦之完成签到 ，获得积分10
3秒前
量子星尘发布了新的文献求助10
4秒前
充电宝的应助被情红锐采纳，获得10
5秒前
5秒前
AI_Medical完成签到，获得积分10
6秒前
7秒前
科研通AI6的应助被xaoi采纳，获得10
8秒前
Hello的应助被biangbiangmian采纳，获得10
8秒前
8秒前
9秒前
wbing完成签到，获得积分10
9秒前
燕子完成签到，获得积分10
10秒前
11秒前
超级小狗发布了新的文献求助10
12秒前
量子星尘发布了新的文献求助10
12秒前
神奇宝贝完成签到，获得积分10
12秒前
12秒前
912小霸王完成签到，获得积分10
13秒前
13秒前
浮游的应助被科研通管家采纳，获得10
13秒前
宁夏的应助被科研通管家采纳，获得10
13秒前
天天快乐的应助被科研通管家采纳，获得10
13秒前
思源的应助被科研通管家采纳，获得10
14秒前
852的应助被科研通管家采纳，获得10
14秒前
EMC的应助被科研通管家采纳，获得10
14秒前
英俊的铭的应助被科研通管家采纳，获得10
14秒前
Akim的应助被科研通管家采纳，获得10
14秒前
桐桐的应助被科研通管家采纳，获得10
14秒前
轨迹的应助被科研通管家采纳，获得20
14秒前
完美世界的应助被科研通管家采纳，获得10
15秒前
高分求助中
2025-2031全球及中国金刚石触媒粉行业研究及十五五规划分析报告 25000
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
The Cambridge History of China: Volume 4, Sui and T'ang China, 589–906 AD, Part Two 1000
The Composition and Relative Chronology of Dynasties 16 and 17 in Egypt 1000
Russian Foreign Policy: Change and Continuity 800
Real World Research, 5th Edition 800
Qualitative Data Analysis with NVivo By Jenine Beekhuyzen, Pat Bazeley · 2024 800
热门求助领域 （近24小时）
化学 材料科学 生物 医学 工程类 计算机科学 有机化学 物理 生物化学 纳米技术 复合材料 内科学 化学工程 人工智能 催化作用 遗传学 数学 基因 量子力学 物理化学
热门帖子
关注 科研通微信公众号，转发送积分 5703539
求助须知：如何正确求助？哪些是违规求助？ 5153123
关于积分的说明 15240014
捐赠科研通 4857934
什么是DOI，文献DOI怎么找？ 2606820
邀请新用户注册赠送积分活动 1557944
关于科研通互助平台的介绍 1515784
Copyright © 2020-2026 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通