会员服务
编程语言 ·
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
专知会员服务
135+阅读 · 2021年6月16日
哥伦比亚大学最新《机器学习》课程，Fall-B 2020 (Machine Learning)
专知会员服务
39+阅读 · 2020年11月3日
NLP必读经典文献100篇
专知会员服务
124+阅读 · 2020年9月8日
2020数据工程师成长路线图
专知会员服务
41+阅读 · 2020年9月6日
自然语言处理中的注意力机制，Attention in Natural Language Processing
自然语言处理中的注意力机制，Attention in Natural Language Processing
专知会员服务
136+阅读 · 2020年5月30日
可解释强化学习，Explainable Reinforcement Learning: A Survey
可解释强化学习，Explainable Reinforcement Learning: A Survey
专知会员服务
132+阅读 · 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
专知会员服务
32+阅读 · 2020年2月1日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
54+阅读 · 2020年1月30日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
60+阅读 · 2019年10月17日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
105+阅读 · 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
44+阅读 · 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
待字闺中
18+阅读 · 2018年12月24日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
9+阅读 · 2017年11月25日
【推荐】用Python/OpenCV实现增强现实
【推荐】用Python/OpenCV实现增强现实
机器学习研究会
15+阅读 · 2017年11月16日
【论文】图上的表示学习综述
【论文】图上的表示学习综述
机器学习研究会
15+阅读 · 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
28+阅读 · 2021年6月16日
A Modern Introduction to Online Learning
A Modern Introduction to Online Learning
Arxiv
21+阅读 · 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
相关主题
编程语言
最新内容
非对称优势：美海军开发低成本反无人机技术
非对称优势：美海军开发低成本反无人机技术
专知会员服务
4+阅读 · 今天4:39
《反无人机技术领域的技术发展综述：C-UAS探测、跟踪与识别技术》80页报告
《反无人机技术领域的技术发展综述：C-UAS探测、跟踪与识别技术》80页报告
专知会员服务
11+阅读 · 今天2:52
《美战争部小企业创新研究（SBIR）计划》
《美战争部小企业创新研究（SBIR）计划》
专知会员服务
5+阅读 · 今天2:48
《军事模拟：将军事条令与目标融入AI智能体》
《军事模拟：将军事条令与目标融入AI智能体》
专知会员服务
7+阅读 · 今天2:43
【NTU博士论文】3D人体动作生成
【NTU博士论文】3D人体动作生成
专知会员服务
6+阅读 · 4月24日
DeepSeek-V4：百万 Token 上下文背后，大模型正在进入“长程智能”时代（附中英文pdf版）
DeepSeek-V4：百万 Token 上下文背后，大模型正在进入“长程智能”时代（附中英文pdf版）
专知会员服务
7+阅读 · 4月24日
以色列军事技术对美国军力发展的持续性赋能
以色列军事技术对美国军力发展的持续性赋能
专知会员服务
8+阅读 · 4月24日
战场之外的较量：美伊冲突中的认知战与心理博弈
战场之外的较量：美伊冲突中的认知战与心理博弈
专知会员服务
6+阅读 · 4月24日
俄乌战争中乌克兰防空能力演变与见解（中文版）
俄乌战争中乌克兰防空能力演变与见解（中文版）
专知会员服务
6+阅读 · 4月24日
《面向巡飞弹药系统的情境感知深度强化学习自主非线性机动控制》
《面向巡飞弹药系统的情境感知深度强化学习自主非线性机动控制》
专知会员服务
9+阅读 · 4月24日
《深度强化学习在兵棋推演中的应用》40页报告
《深度强化学习在兵棋推演中的应用》40页报告
专知会员服务
13+阅读 · 4月24日
《多域作战面临复杂现实》
《多域作战面临复杂现实》
专知会员服务
9+阅读 · 4月24日
《印度的多域作战：条令与能力发展》报告
《印度的多域作战：条令与能力发展》报告
专知会员服务
4+阅读 · 4月24日
《是“修复情报”还是修复部队？阿富汗反叛乱行动中的美军情报调整》400页
《是“修复情报”还是修复部队？阿富汗反叛乱行动中的美军情报调整》400页
专知会员服务
4+阅读 · 4月24日
美军的算法化军备库：无人机优势计划（DDP）、复制者倡议（Replicator）与联合全域指挥控制（JADC2）如何重写战争规则
美军的算法化军备库：无人机优势计划（DDP）、复制者倡议（Replicator）与联合全域指挥控制（JADC2）如何重写战争规则
专知会员服务
5+阅读 · 4月24日
相关VIP内容
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
深度学习优化算法，73页ppt，Optimization Algorithms on Deep Learning
专知会员服务
135+阅读 · 2021年6月16日
哥伦比亚大学最新《机器学习》课程，Fall-B 2020 (Machine Learning)
专知会员服务
39+阅读 · 2020年11月3日
NLP必读经典文献100篇
专知会员服务
124+阅读 · 2020年9月8日
2020数据工程师成长路线图
专知会员服务
41+阅读 · 2020年9月6日
自然语言处理中的注意力机制，Attention in Natural Language Processing
自然语言处理中的注意力机制，Attention in Natural Language Processing
专知会员服务
136+阅读 · 2020年5月30日
可解释强化学习，Explainable Reinforcement Learning: A Survey
可解释强化学习，Explainable Reinforcement Learning: A Survey
专知会员服务
132+阅读 · 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
专知会员服务
32+阅读 · 2020年2月1日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
54+阅读 · 2020年1月30日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
60+阅读 · 2019年10月17日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
105+阅读 · 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
44+阅读 · 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
待字闺中
18+阅读 · 2018年12月24日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
9+阅读 · 2017年11月25日
【推荐】用Python/OpenCV实现增强现实
【推荐】用Python/OpenCV实现增强现实
机器学习研究会
15+阅读 · 2017年11月16日
【论文】图上的表示学习综述
【论文】图上的表示学习综述
机器学习研究会
15+阅读 · 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
28+阅读 · 2021年6月16日
A Modern Introduction to Online Learning
A Modern Introduction to Online Learning
Arxiv
21+阅读 · 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