Picture for Kshitij Bansal

Kshitij Bansal

Language Modeling for Formal Mathematics

Add code
Jun 10, 2020
Figure 1 for Language Modeling for Formal Mathematics
Figure 2 for Language Modeling for Formal Mathematics
Figure 3 for Language Modeling for Formal Mathematics
Figure 4 for Language Modeling for Formal Mathematics
Viaarxiv icon

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

Graph Representations for Higher-Order Logic and Theorem Proving

Add code
May 24, 2019
Figure 1 for Graph Representations for Higher-Order Logic and Theorem Proving
Figure 2 for Graph Representations for Higher-Order Logic and Theorem Proving
Figure 3 for Graph Representations for Higher-Order Logic and Theorem Proving
Figure 4 for Graph Representations for Higher-Order Logic and Theorem Proving
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