[1805.07563] Reinforcement Learning of Theorem Proving

#artificialintelligence 

Which authors of this paper are endorsers? Disable MathJax (What is MathJax?)