3 ms·
Two more: https://arxiv.org/abs/1907.07794 https://arxiv.org/abs/1907.07794 https://arxiv.org/pdf/1904.03241.pdf https://arxiv.org/pdf/1904.03241.pdf
by nickpsecurity 7y ago
Two more:
https://arxiv.org/abs/1907.07794 https://arxiv.org/abs/1907.07794
https://arxiv.org/pdf/1904.03241.pdf https://arxiv.org/pdf/1904.03241.pdf
- drchewbacca 7y agoAnd another https://arxiv.org/pdf/1608.02644.pdf https://arxiv.org/pdf/1608.02644.pdf I'd really love to see someone like Deepmind get a hold of this. They are perfectly placed to apply a lot of resources to it and it's right in their wheelhouse. Don't know how to contact them about it though.
- carapace 7y agoRelated: https://arxiv.org/abs/1610.01044 https://arxiv.org/abs/1610.01044 "DeepAlgebra - an outline of a program" > We outline a program in the area of formalization of mathematics to automate theorem proving in algebra and algebraic geometry. We propose a construction of a dictionary between automated theorem provers and (La)TeX exploiting syntactic parsers. We describe its application to a repository of human-written facts and definitions in algebraic geometry (The Stacks Project). We use deep learning techniques.
- krapht 7y agoWhat makes you think they aren't? https://www.youtube.com/watch?v=p_UXra-_ORQ https://www.youtube.com/watch?v=p_UXra-_ORQ
- iamcurious 7y agoAnd another one. https://bibliotecas.ort.edu.uy/bibid/84076/file/3034 https://bibliotecas.ort.edu.uy/bibid/84076/file/3034