LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Add code
Jun 27, 2023
Figure 1 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Figure 2 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Figure 3 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Figure 4 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: