Developing a machine learning algorithm to check and generate mathematical proofs
Standard ML
1
5 commits
updated Dec 9, 2019
README
Machine Generated Proof
Proof of concept of https://blogs.ams.org/mathgradblog/2017/10/15/machine-checked-proof/
The input would be a sequence of latex written proof the output would be boolean True or False
Contributors
5 commits
Similar repos
Languages
Standard ML
42.1%
Isabelle
35.4%
OCaml
10.4%
C++
2.3%
TeX
2.1%
Scala
1.5%
C
1.3%
Java
1.2%
HTML
1.2%
Developing a machine learning algorithm to check and generate mathematical proofs
Standard ML
1
5 commits
updated Dec 9, 2019
README
Machine Generated Proof
Proof of concept of https://blogs.ams.org/mathgradblog/2017/10/15/machine-checked-proof/
The input would be a sequence of latex written proof the output would be boolean True or False
Similar repos
Contributors
5 commits
Languages
Standard ML
42.1%
Isabelle
35.4%
OCaml
10.4%
C++
2.3%
TeX
2.1%
Scala
1.5%
C
1.3%
Java
1.2%
HTML
1.2%