0

Aidan M. Swope

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

leandojo-theorem-proving-with-retrieval

2023

Affiliations

No known affiliations.

Frequent co-authors

8

from 1 papers

Alex Gu

grad-student

1 shared paper

Anima Anandkumar

professor

1 shared paper

Kaiyu Yang

1 shared paper

Peiyang Song

1 shared paper

Rahul Chalamala

1 shared paper

Ryan Prenger

1 shared paper

Saad Godil

1 shared paper

Shixing Yu

1 shared paper