research
∙
09/26/2019
Mathematical Reasoning in Latent Space
We design and conduct a simple experiment to study whether neural networ...
share
research
∙
05/25/2019
Learning to Reason in Large Theories without Imitation
Automated theorem proving in large theories can be learned via reinforce...
research
∙
04/05/2019
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version)
We present an environment, benchmark, and deep learning driven automated...
research
∙
04/05/2019
