[1805.07563] Reinforcement Learning of Theorem Proving

May-22-2018, 11:16:01 GMT–#artificialintelligence

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

artificial intelligence, machine learning, reinforcement learning, (2 more...)

#artificialintelligence

May-22-2018, 11:16:01 GMT

Genre:
- Research Report (0.87)

Technology:
- Information Technology > Artificial Intelligence > Machine Learning > Reinforcement Learning (0.58)