Designing Game of Theorems

20 Jun 2019Yutaka Nagashima

"Theorem proving is similar to the game of Go. So, we can probably improve our provers using deep learning, like DeepMind built the super-human computer Go program, AlphaGo.".. (read more)

PDF Abstract

Code


No code implementations yet. Submit your code now

Evaluation Results from the Paper


  Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.