会员服务
GNU · Java ·
2021 年 5 月 25 日
Automatic Theorem Proving in Walnut
翻译：以 Walnut 证明自动定理
Hamoon Mousavi
Hamoon Mousavi
from arxiv, Added a few more sections

Walnut is a software package that implements a mechanical decision procedure for deciding certain combinatorial properties of some special words referred to as automatic words or automatic sequences. Walnut is written in Java and is open source. It is licensed under GNU General Public License.


翻译：Walnut是一个软件包,实施机械决定程序,以决定某些特殊词的组合属性,称为自动单词或自动序列。 Walnut用爪哇语写成,是开源,根据GNU通用公共许可证获得许可。
0
下载
关闭预览

相关内容

GNU 是 “GNU's Not Unix” 的递归缩写， 是由理查德·斯托曼在1983年9月27日公开发起的。它的目标是创建一套完全自由的操作系统。
(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》
(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》
专知会员服务
119+阅读 · 2020年5月30日
【基于模型的强化学习的博弈论框架】A Game Theoretic Framework for Model Based Reinforcement Learning
【基于模型的强化学习的博弈论框架】A Game Theoretic Framework for Model Based Reinforcement Learning
专知会员服务
127+阅读 · 2020年4月19日
【硬核书】数学博弈论与应用，431页pdf，Mathematical Game Theory and Applications
【硬核书】数学博弈论与应用，431页pdf，Mathematical Game Theory and Applications
专知会员服务
165+阅读 · 2020年4月18日
【经典书】C++解决问题第七版，1074pdf，Problem Solving with C++
【经典书】C++解决问题第七版，1074pdf，Problem Solving with C++
专知会员服务
76+阅读 · 2020年2月20日
【O'Reilly TensorFlow Conference 2019】TensorFlow，开源和IBM（TensorFlow, open source, and IBM ），IBM | Fred Reiss
【O'Reilly TensorFlow Conference 2019】TensorFlow，开源和IBM（TensorFlow, open source, and IBM ），IBM | Fred Reiss
专知会员服务
10+阅读 · 2019年11月14日
【O'Reilly TensorFlow Conference 2019】 使用TensorFlow Extended（TFX）的生产ML管道 （ Production ML pipelines with TensorFlow Extended (TFX) ）， Wifirst 的创始人兼CTO AurélienGéron
【O'Reilly TensorFlow Conference 2019】 使用TensorFlow Extended（TFX）的生产ML管道 （ Production ML pipelines with TensorFlow Extended (TFX) ）， Wifirst 的创始人兼CTO AurélienGéron
专知会员服务
10+阅读 · 2019年11月14日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
58+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
150+阅读 · 2019年10月12日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
【TED】生命中的每一年的智慧
【TED】生命中的每一年的智慧
英语演讲视频每日一推
9+阅读 · 2019年1月29日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
41+阅读 · 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日
Facebook PyText 在 Github 上开源了
Facebook PyText 在 Github 上开源了
AINLP
7+阅读 · 2018年12月14日
Jointly Improving Summarization and Sentiment Classification
Jointly Improving Summarization and Sentiment Classification
黑龙江大学自然语言处理实验室
3+阅读 · 2018年6月12日
Reinforcement Learning: An Introduction 2018第二版 500页
Reinforcement Learning: An Introduction 2018第二版 500页
CreateAMind
11+阅读 · 2018年4月27日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
9+阅读 · 2017年11月25日
【推荐】自然语言处理（NLP）指南
【推荐】自然语言处理（NLP）指南
机器学习研究会
35+阅读 · 2017年11月17日
Solving multivariate polynomial systems and an invariant from commutative algebra
Arxiv
0+阅读 · 2021年7月16日
Double Glueing over Free Exponential: with Measure Theoretic Applications
Arxiv
0+阅读 · 2021年7月16日
Partially Observable Markov Decision Processes (POMDPs) and Robotics
Arxiv
0+阅读 · 2021年7月15日
A Functional Programming Language with Versions
Arxiv
0+阅读 · 2021年7月15日
Identification of taxon through classification with partial reject options
Identification of taxon through classification with partial reject options
Arxiv
0+阅读 · 2021年7月14日
Improved SAT models for NFA learning
Arxiv
0+阅读 · 2021年7月13日
Logically-Constrained Reinforcement Learning
Logically-Constrained Reinforcement Learning
Arxiv
3+阅读 · 2018年12月6日
A Dual Approach to Scalable Verification of Deep Networks
A Dual Approach to Scalable Verification of Deep Networks
Arxiv
3+阅读 · 2018年8月3日
The Search Problem in Mixture Models
Arxiv
3+阅读 · 2018年2月24日
Improving Word Vector with Prior Knowledge in Semantic Dictionary
Arxiv
6+阅读 · 2018年1月27日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
GNU
Java
相关VIP内容
(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》
(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》
专知会员服务
119+阅读 · 2020年5月30日
【基于模型的强化学习的博弈论框架】A Game Theoretic Framework for Model Based Reinforcement Learning
【基于模型的强化学习的博弈论框架】A Game Theoretic Framework for Model Based Reinforcement Learning
专知会员服务
127+阅读 · 2020年4月19日
【硬核书】数学博弈论与应用，431页pdf，Mathematical Game Theory and Applications
【硬核书】数学博弈论与应用，431页pdf，Mathematical Game Theory and Applications
专知会员服务
165+阅读 · 2020年4月18日
【经典书】C++解决问题第七版，1074pdf，Problem Solving with C++
【经典书】C++解决问题第七版，1074pdf，Problem Solving with C++
专知会员服务
76+阅读 · 2020年2月20日
【O'Reilly TensorFlow Conference 2019】TensorFlow，开源和IBM（TensorFlow, open source, and IBM ），IBM | Fred Reiss
【O'Reilly TensorFlow Conference 2019】TensorFlow，开源和IBM（TensorFlow, open source, and IBM ），IBM | Fred Reiss
专知会员服务
10+阅读 · 2019年11月14日
【O'Reilly TensorFlow Conference 2019】 使用TensorFlow Extended（TFX）的生产ML管道 （ Production ML pipelines with TensorFlow Extended (TFX) ）， Wifirst 的创始人兼CTO AurélienGéron
【O'Reilly TensorFlow Conference 2019】 使用TensorFlow Extended（TFX）的生产ML管道 （ Production ML pipelines with TensorFlow Extended (TFX) ）， Wifirst 的创始人兼CTO AurélienGéron
专知会员服务
10+阅读 · 2019年11月14日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
47+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
58+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
150+阅读 · 2019年10月12日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
热门VIP内容
相关资讯
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
【TED】生命中的每一年的智慧
【TED】生命中的每一年的智慧
英语演讲视频每日一推
9+阅读 · 2019年1月29日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
41+阅读 · 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日
Facebook PyText 在 Github 上开源了
Facebook PyText 在 Github 上开源了
AINLP
7+阅读 · 2018年12月14日
Jointly Improving Summarization and Sentiment Classification
Jointly Improving Summarization and Sentiment Classification
黑龙江大学自然语言处理实验室
3+阅读 · 2018年6月12日
Reinforcement Learning: An Introduction 2018第二版 500页
Reinforcement Learning: An Introduction 2018第二版 500页
CreateAMind
11+阅读 · 2018年4月27日
计算机视觉近一年进展综述
计算机视觉近一年进展综述
机器学习研究会
9+阅读 · 2017年11月25日
【推荐】自然语言处理（NLP）指南
【推荐】自然语言处理（NLP）指南
机器学习研究会
35+阅读 · 2017年11月17日
相关论文
Solving multivariate polynomial systems and an invariant from commutative algebra
Arxiv
0+阅读 · 2021年7月16日
Double Glueing over Free Exponential: with Measure Theoretic Applications
Arxiv
0+阅读 · 2021年7月16日
Partially Observable Markov Decision Processes (POMDPs) and Robotics
Arxiv
0+阅读 · 2021年7月15日
A Functional Programming Language with Versions
Arxiv
0+阅读 · 2021年7月15日
Identification of taxon through classification with partial reject options
Identification of taxon through classification with partial reject options
Arxiv
0+阅读 · 2021年7月14日
Improved SAT models for NFA learning
Arxiv
0+阅读 · 2021年7月13日
Logically-Constrained Reinforcement Learning
Logically-Constrained Reinforcement Learning
Arxiv
3+阅读 · 2018年12月6日
A Dual Approach to Scalable Verification of Deep Networks
A Dual Approach to Scalable Verification of Deep Networks
Arxiv
3+阅读 · 2018年8月3日
The Search Problem in Mixture Models
Arxiv
3+阅读 · 2018年2月24日
Improving Word Vector with Prior Knowledge in Semantic Dictionary
Arxiv
6+阅读 · 2018年1月27日
Top
微信扫码咨询专知VIP会员
Top