Picture for Sarah M. Loos

Sarah M. Loos

Mathematical Reasoning in Latent Space

Add code
Sep 26, 2019
Figure 1 for Mathematical Reasoning in Latent Space
Figure 2 for Mathematical Reasoning in Latent Space
Figure 3 for Mathematical Reasoning in Latent Space
Figure 4 for Mathematical Reasoning in Latent Space
Viaarxiv icon

Learning to Reason in Large Theories without Imitation

Add code
May 25, 2019
Figure 1 for Learning to Reason in Large Theories without Imitation
Figure 2 for Learning to Reason in Large Theories without Imitation
Figure 3 for Learning to Reason in Large Theories without Imitation
Figure 4 for Learning to Reason in Large Theories without Imitation
Viaarxiv icon

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

Add code
May 24, 2019
Figure 1 for HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
Figure 2 for HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
Figure 3 for HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
Figure 4 for HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
Viaarxiv icon