会员服务
讲稿 · 论文 · 人工智能 ·
2022 年 5 月 23 日
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications
翻译：第十七次ACL2理论精集及其应用国际讲习班
Rob Sumners,Cuong Chau
Rob Sumners,Cuong Chau

This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022). The workshops are the premier technical forum for presenting research and experiences related to ACL2.


翻译：本卷载有在第17次ACL2理论Prover及其应用国际讲习班上提出的论文选集(ACL2 2022),这些讲习班是介绍ACL2研究和经验的主要技术论坛。
0
下载
关闭预览

相关内容

ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
专知会员服务
60+阅读 · 2022年4月22日
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
129+阅读 · 2020年7月18日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
93+阅读 · 2020年2月12日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
105+阅读 · 2019年10月9日
IEEE ICKG 2022: Call for Papers
IEEE ICKG 2022: Call for Papers
机器学习与推荐算法
3+阅读 · 2022年3月30日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
【ICIG2021】Latest News & Announcements of the Workshop
【ICIG2021】Latest News & Announcements of the Workshop
中国图象图形学学会CSIG
0+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
会议交流 | IJCKG: International Joint Conference on Knowledge Graphs
会议交流 | IJCKG: International Joint Conference on Knowledge Graphs
开放知识图谱
0+阅读 · 2021年9月9日
Anderson型多酸的不对称修饰及可控组装研究
国家自然科学基金
1+阅读 · 2014年12月31日
益气活血法调控动脉粥样硬化大鼠Rho激酶信号通路的分子机制
国家自然科学基金
0+阅读 · 2012年12月31日
辅助生殖技术对人早期着床前后胚胎印记基因甲基化模式的影响及与胚胎停止发育相关性的研究
国家自然科学基金
0+阅读 · 2011年12月31日
nanog对牙髓干细胞增殖分化的影响及信号通路调控
国家自然科学基金
0+阅读 · 2011年12月31日
TR3相互作用新蛋白机理研究
国家自然科学基金
1+阅读 · 2008年12月31日
Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
Arxiv
0+阅读 · 2022年7月10日
Healthcare Knowledge Graph Construction: State-of-the-art, open issues, and opportunities
Arxiv
0+阅读 · 2022年7月8日
Hyperbolic Graph Neural Networks: A Review of Methods and Applications
Hyperbolic Graph Neural Networks: A Review of Methods and Applications
Arxiv
28+阅读 · 2022年2月28日
A Review of Graph Neural Networks and Their Applications in Power Systems
A Review of Graph Neural Networks and Their Applications in Power Systems
Arxiv
29+阅读 · 2021年1月25日
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Arxiv
16+阅读 · 2020年3月12日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
讲稿
论文
人工智能
相关VIP内容
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
专知会员服务
60+阅读 · 2022年4月22日
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
129+阅读 · 2020年7月18日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
93+阅读 · 2020年2月12日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
105+阅读 · 2019年10月9日
热门VIP内容
相关资讯
IEEE ICKG 2022: Call for Papers
IEEE ICKG 2022: Call for Papers
机器学习与推荐算法
3+阅读 · 2022年3月30日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
【ICIG2021】Latest News & Announcements of the Workshop
【ICIG2021】Latest News & Announcements of the Workshop
中国图象图形学学会CSIG
0+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
会议交流 | IJCKG: International Joint Conference on Knowledge Graphs
会议交流 | IJCKG: International Joint Conference on Knowledge Graphs
开放知识图谱
0+阅读 · 2021年9月9日
相关论文
Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
Arxiv
0+阅读 · 2022年7月10日
Healthcare Knowledge Graph Construction: State-of-the-art, open issues, and opportunities
Arxiv
0+阅读 · 2022年7月8日
Hyperbolic Graph Neural Networks: A Review of Methods and Applications
Hyperbolic Graph Neural Networks: A Review of Methods and Applications
Arxiv
28+阅读 · 2022年2月28日
A Review of Graph Neural Networks and Their Applications in Power Systems
A Review of Graph Neural Networks and Their Applications in Power Systems
Arxiv
29+阅读 · 2021年1月25日
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Arxiv
16+阅读 · 2020年3月12日
相关基金
Anderson型多酸的不对称修饰及可控组装研究
国家自然科学基金
1+阅读 · 2014年12月31日
益气活血法调控动脉粥样硬化大鼠Rho激酶信号通路的分子机制
国家自然科学基金
0+阅读 · 2012年12月31日
辅助生殖技术对人早期着床前后胚胎印记基因甲基化模式的影响及与胚胎停止发育相关性的研究
国家自然科学基金
0+阅读 · 2011年12月31日
nanog对牙髓干细胞增殖分化的影响及信号通路调控
国家自然科学基金
0+阅读 · 2011年12月31日
TR3相互作用新蛋白机理研究
国家自然科学基金
1+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top