会员服务
编程语言 ·
2021 年 5 月 31 日
Gillian: A Multi-Language Platform for Unified Symbolic Analysis
翻译：Gillian:一个多语言统一符号分析平台
Petar Maksimović,José Fragoso Santos,Sacha-Élie Ayoun,Philippa Gardner
Petar Maksimović,José Fragoso Santos,Sacha-Élie Ayoun,Philippa Gardner

This is an evolving document describing the meta-theory, the implementation, and the instantiations of Gillian, a multi-language symbolic analysis platform.


翻译：这是一份不断发展的文件,描述一个多语种象征性分析平台Gillian的元理论、实施和即时思考。
0
下载
关闭预览

相关内容

深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
专知会员服务
132+阅读 · 2021年6月16日
哥伦比亚大学最新《机器学习》课程，Fall-B 2020 (Machine Learning)
专知会员服务
38+阅读 · 2020年11月3日
NLP必读经典文献100篇
专知会员服务
123+阅读 · 2020年9月8日
2020数据工程师成长路线图
专知会员服务
39+阅读 · 2020年9月6日
自然语言处理中的注意力机制，Attention in Natural Language Processing
自然语言处理中的注意力机制，Attention in Natural Language Processing
专知会员服务
133+阅读 · 2020年5月30日
可解释强化学习，Explainable Reinforcement Learning: A Survey
可解释强化学习，Explainable Reinforcement Learning: A Survey
专知会员服务
129+阅读 · 2020年5月14日
【论文推荐WWW2020-UIUC】修正排序系统中的选择偏差：Correcting for Selection Bias in Learning-to-rank Systems
【论文推荐WWW2020-UIUC】修正排序系统中的选择偏差：Correcting for Selection Bias in Learning-to-rank Systems
专知会员服务
31+阅读 · 2020年2月1日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
58+阅读 · 2019年10月17日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【Github】TextCluster：短文本聚类预处理模块 Short text cluster
【Github】TextCluster：短文本聚类预处理模块 Short text cluster
AINLP
5+阅读 · 2019年12月1日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
已删除
已删除
创业邦杂志
5+阅读 · 2019年3月27日
NLP 2018 Highlights：2018自然语言处理技术亮点汇总
NLP 2018 Highlights：2018自然语言处理技术亮点汇总
AINLP
10+阅读 · 2019年2月9日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
9+阅读 · 2017年11月25日
【推荐】用Python/OpenCV实现增强现实
【推荐】用Python/OpenCV实现增强现实
机器学习研究会
15+阅读 · 2017年11月16日
【论文】图上的表示学习综述
【论文】图上的表示学习综述
机器学习研究会
14+阅读 · 2017年9月24日
自然语言处理 (NLP)资源大全
自然语言处理 (NLP)资源大全
机械鸡
35+阅读 · 2017年9月17日
Randomized Online Algorithms for Adwords
Arxiv
0+阅读 · 2021年7月22日
Codeathon Activity: A Design Prototype for Real World Problems
Arxiv
0+阅读 · 2021年7月22日
Theory and Practice of Algorithm Engineering
Arxiv
0+阅读 · 2021年7月21日
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
Arxiv
0+阅读 · 2021年7月20日
Efficient Deep Learning: A Survey on Making Deep Learning Models Smaller, Faster, and Better
Arxiv
27+阅读 · 2021年6月16日
A Modern Introduction to Online Learning
A Modern Introduction to Online Learning
Arxiv
20+阅读 · 2019年12月31日
Deep learning for time series classification: a review
Arxiv
12+阅读 · 2019年3月14日
A Framework of Transfer Learning in Object Detection for Embedded Systems
Arxiv
3+阅读 · 2018年11月12日
Relational Deep Reinforcement Learning
Arxiv
5+阅读 · 2018年6月5日
Attention Focusing for Neural Machine Translation by Bridging Source and Target Embeddings
Arxiv
5+阅读 · 2018年5月10日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
编程语言
相关VIP内容
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
专知会员服务
132+阅读 · 2021年6月16日
哥伦比亚大学最新《机器学习》课程，Fall-B 2020 (Machine Learning)
专知会员服务
38+阅读 · 2020年11月3日
NLP必读经典文献100篇
专知会员服务
123+阅读 · 2020年9月8日
2020数据工程师成长路线图
专知会员服务
39+阅读 · 2020年9月6日
自然语言处理中的注意力机制，Attention in Natural Language Processing
自然语言处理中的注意力机制，Attention in Natural Language Processing
专知会员服务
133+阅读 · 2020年5月30日
可解释强化学习，Explainable Reinforcement Learning: A Survey
可解释强化学习，Explainable Reinforcement Learning: A Survey
专知会员服务
129+阅读 · 2020年5月14日
【论文推荐WWW2020-UIUC】修正排序系统中的选择偏差：Correcting for Selection Bias in Learning-to-rank Systems
【论文推荐WWW2020-UIUC】修正排序系统中的选择偏差：Correcting for Selection Bias in Learning-to-rank Systems
专知会员服务
31+阅读 · 2020年2月1日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
58+阅读 · 2019年10月17日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
热门VIP内容
相关资讯
【Github】TextCluster：短文本聚类预处理模块 Short text cluster
【Github】TextCluster：短文本聚类预处理模块 Short text cluster
AINLP
5+阅读 · 2019年12月1日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
已删除
已删除
创业邦杂志
5+阅读 · 2019年3月27日
NLP 2018 Highlights：2018自然语言处理技术亮点汇总
NLP 2018 Highlights：2018自然语言处理技术亮点汇总
AINLP
10+阅读 · 2019年2月9日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
9+阅读 · 2017年11月25日
【推荐】用Python/OpenCV实现增强现实
【推荐】用Python/OpenCV实现增强现实
机器学习研究会
15+阅读 · 2017年11月16日
【论文】图上的表示学习综述
【论文】图上的表示学习综述
机器学习研究会
14+阅读 · 2017年9月24日
自然语言处理 (NLP)资源大全
自然语言处理 (NLP)资源大全
机械鸡
35+阅读 · 2017年9月17日
相关论文
Randomized Online Algorithms for Adwords
Arxiv
0+阅读 · 2021年7月22日
Codeathon Activity: A Design Prototype for Real World Problems
Arxiv
0+阅读 · 2021年7月22日
Theory and Practice of Algorithm Engineering
Arxiv
0+阅读 · 2021年7月21日
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
Arxiv
0+阅读 · 2021年7月20日
Efficient Deep Learning: A Survey on Making Deep Learning Models Smaller, Faster, and Better
Arxiv
27+阅读 · 2021年6月16日
A Modern Introduction to Online Learning
A Modern Introduction to Online Learning
Arxiv
20+阅读 · 2019年12月31日
Deep learning for time series classification: a review
Arxiv
12+阅读 · 2019年3月14日
A Framework of Transfer Learning in Object Detection for Embedded Systems
Arxiv
3+阅读 · 2018年11月12日
Relational Deep Reinforcement Learning
Arxiv
5+阅读 · 2018年6月5日
Attention Focusing for Neural Machine Translation by Bridging Source and Target Embeddings
Arxiv
5+阅读 · 2018年5月10日
Top
微信扫码咨询专知VIP会员
Top