会员服务
讲稿 · 论文 · 人工智能 ·
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篇论文获得，清华朱军课题组摘得
专知会员服务
59+阅读 · 2022年4月22日
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
125+阅读 · 2020年7月18日
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
246+阅读 · 2020年4月19日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
88+阅读 · 2020年2月12日
【图机器学习论文】图表示学习:方法与应用（Representation Learning on Graphs: Methods and Applications）
【图机器学习论文】图表示学习:方法与应用（Representation Learning on Graphs: Methods and Applications）
专知会员服务
144+阅读 · 2019年12月16日
【图深度学习GDL论文大全】A comprehensive collection of recent papers on graph deep learning
【图深度学习GDL论文大全】A comprehensive collection of recent papers on graph deep learning
专知会员服务
46+阅读 · 2019年12月1日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
最新BERT相关论文清单，BERT-related Papers
最新BERT相关论文清单，BERT-related Papers
专知会员服务
52+阅读 · 2019年9月29日
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日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【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 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
中国图象图形学学会CSIG
0+阅读 · 2021年11月15日
【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日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
会议交流 | IJCKG: International Joint Conference on Knowledge Graphs
会议交流 | IJCKG: International Joint Conference on Knowledge Graphs
开放知识图谱
0+阅读 · 2021年9月9日
一类离散Hindmarsh-Rose模型的分支延拓
国家自然科学基金
0+阅读 · 2015年12月31日
Anderson型多酸的不对称修饰及可控组装研究
国家自然科学基金
1+阅读 · 2014年12月31日
红苞凤梨嵌合体中白化细胞失绿分子机理研究
国家自然科学基金
0+阅读 · 2013年12月31日
禾谷镰孢菌Fusarium graminearum CYP51与DMIs类杀菌剂结合的分子机理研究
国家自然科学基金
0+阅读 · 2013年12月31日
"β-hCG-ERK1/2-MMP-2"信号通路在卵巢癌侵袭、转移中的作用研究
国家自然科学基金
0+阅读 · 2012年12月31日
益气活血法调控动脉粥样硬化大鼠Rho激酶信号通路的分子机制
国家自然科学基金
0+阅读 · 2012年12月31日
辅助生殖技术对人早期着床前后胚胎印记基因甲基化模式的影响及与胚胎停止发育相关性的研究
国家自然科学基金
0+阅读 · 2011年12月31日
nanog对牙髓干细胞增殖分化的影响及信号通路调控
国家自然科学基金
0+阅读 · 2011年12月31日
TR3相互作用新蛋白机理研究
国家自然科学基金
1+阅读 · 2008年12月31日
磁性Pickering乳液界面流变学研究
国家自然科学基金
0+阅读 · 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日
Comprehensive Analysis of Negative Sampling in Knowledge Graph Representation Learning
Arxiv
0+阅读 · 2022年7月7日
An Overview on Designs and Applications of Context-Aware Automation Systems
Arxiv
0+阅读 · 2022年7月6日
A Comprehensive Survey of Few-shot Learning: Evolution, Applications, Challenges, and Opportunities
Arxiv
52+阅读 · 2022年5月13日
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日
Graph Neural Networks: Methods, Applications, and Opportunities
Arxiv
92+阅读 · 2021年8月24日
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
27+阅读 · 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日
A Comprehensive Survey on Transfer Learning
A Comprehensive Survey on Transfer Learning
Arxiv
121+阅读 · 2019年11月7日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
讲稿
论文
人工智能
相关VIP内容
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
ICLR 2022杰出论文公布：7篇论文获得，清华朱军课题组摘得
专知会员服务
59+阅读 · 2022年4月22日
史上最全！358篇机器学习&自然语言处理综述论文！都这儿了
专知会员服务
125+阅读 · 2020年7月18日
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
246+阅读 · 2020年4月19日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
88+阅读 · 2020年2月12日
【图机器学习论文】图表示学习:方法与应用（Representation Learning on Graphs: Methods and Applications）
【图机器学习论文】图表示学习:方法与应用（Representation Learning on Graphs: Methods and Applications）
专知会员服务
144+阅读 · 2019年12月16日
【图深度学习GDL论文大全】A comprehensive collection of recent papers on graph deep learning
【图深度学习GDL论文大全】A comprehensive collection of recent papers on graph deep learning
专知会员服务
46+阅读 · 2019年12月1日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
最新BERT相关论文清单，BERT-related Papers
最新BERT相关论文清单，BERT-related Papers
专知会员服务
52+阅读 · 2019年9月29日
热门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日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【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 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
中国图象图形学学会CSIG
0+阅读 · 2021年11月15日
【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日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
会议交流 | 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日
Comprehensive Analysis of Negative Sampling in Knowledge Graph Representation Learning
Arxiv
0+阅读 · 2022年7月7日
An Overview on Designs and Applications of Context-Aware Automation Systems
Arxiv
0+阅读 · 2022年7月6日
A Comprehensive Survey of Few-shot Learning: Evolution, Applications, Challenges, and Opportunities
Arxiv
52+阅读 · 2022年5月13日
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日
Graph Neural Networks: Methods, Applications, and Opportunities
Arxiv
92+阅读 · 2021年8月24日
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
27+阅读 · 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日
A Comprehensive Survey on Transfer Learning
A Comprehensive Survey on Transfer Learning
Arxiv
121+阅读 · 2019年11月7日
相关基金
一类离散Hindmarsh-Rose模型的分支延拓
国家自然科学基金
0+阅读 · 2015年12月31日
Anderson型多酸的不对称修饰及可控组装研究
国家自然科学基金
1+阅读 · 2014年12月31日
红苞凤梨嵌合体中白化细胞失绿分子机理研究
国家自然科学基金
0+阅读 · 2013年12月31日
禾谷镰孢菌Fusarium graminearum CYP51与DMIs类杀菌剂结合的分子机理研究
国家自然科学基金
0+阅读 · 2013年12月31日
"β-hCG-ERK1/2-MMP-2"信号通路在卵巢癌侵袭、转移中的作用研究
国家自然科学基金
0+阅读 · 2012年12月31日
益气活血法调控动脉粥样硬化大鼠Rho激酶信号通路的分子机制
国家自然科学基金
0+阅读 · 2012年12月31日
辅助生殖技术对人早期着床前后胚胎印记基因甲基化模式的影响及与胚胎停止发育相关性的研究
国家自然科学基金
0+阅读 · 2011年12月31日
nanog对牙髓干细胞增殖分化的影响及信号通路调控
国家自然科学基金
0+阅读 · 2011年12月31日
TR3相互作用新蛋白机理研究
国家自然科学基金
1+阅读 · 2008年12月31日
磁性Pickering乳液界面流变学研究
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top