Aidan Swope

1. LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
   2023/06/27 by Kaiyu Yang, Yang, Kaiyu, Aidan Swope +15 · 43 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques
2. Aristotle: IMO-level Automated Theorem Proving
   2025/10/01 by Tudor Achim, Achim, Tudor, Alex Best +43 · 3 voices · 6 citations
   #cs.AI #cs.CL