ProvingGround:Proving Ground:自动化数学工具 源码

试验场,试验场所 试验场:自动化数学工具 一个正在开发的用于(半)自动定理证明的系统,其基础是同伦类型理论,使用机器学习,既可以通过向后传播进行强化学习,也可以使用自然语言处理来吸收部分数学文献。 文献资料 主要文档在,包括 。 同一站点还托管。 文件夹包含Jupyter笔记本,其中说明了一些代码。 一些文档在。 零安装尝试 您可以在scastie上尝试零安装项目,例如。 如果要尝试自己的工作表,请添加库provvingground-core-jvm (可以在scastie的搜索中找到)。 更多工作表和信息将很快发布。 贡献者 该项目极大地受益于 Dymintro米丁 桥崎友昭 奥利维尔·