注册
登录
精益
formal-methods
返回
项目作者：
hengxin
项目描述 ：
Formal Methods
高级语言：
项目主页：
项目地址:
git://github.com/hengxin/formal-methods.git
创建时间：
2020-03-22T03:44:04Z
项目社区：
https://github.com/hengxin/formal-methods
开源协议：
MIT License
下载
ICLR2020 GamePad A Learning Environment for Theorem Proving_1649116324907.pdf
Machine Learning for First-order Theorem Proving_1649116324964.pdf
arXiv2016 1606.04442 DeepMath Deep Sequence Models for Premise Selection_1649116325137.pdf
arXiv2019 1907.07794 Generating Correctness Proofs with Neural Networks_1649116325300.pdf
arXiv2020 2002.07019 Learning to Prove Theorems by Learning to Generate Theorems_1649116325497.pdf
