1
Publications
38
Citations
1
H-Index
2023
Active since
Aidan Swope is an author specializing in natural language processing, computational linguistics, and knowledge discovery.
Top concepts
EngineeringData ScienceVerificationComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationKnowledge DiscoveryMachine TranslationInformation Retrieval
Publications per year
2023–2023
1
1
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan Swope, Alex Gu et al. · arXiv (Cornell University) · 2023 · 38 citations · Full text
Rows per page
1–1 of 1