Aidan M. Swope

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Retrieval Accuracy

Theorem Proving

Pseudo Feedback

Top Venues

Publications

Jialin Song, Aidan M. Swope, Robert Kirby, Rajarshi Roy, Saad Godil, Jonathan Raiman, Bryan Catanzaro
CircuitVAE: Efficient and Scalable Latent Circuit Optimization. CoRR (2024)
Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J. Prenger, Animashree Anandkumar
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models. NeurIPS (2023)
Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models. CoRR (2023)
Aidan M. Swope, Xander H. Rudelis, Kyle T. Story
Representation Learning for Remote Sensing: An Unsupervised Sensor Fusion Approach. CoRR (2021)