Aidan M. Swope

According to our database, Aidan M. Swope authored at least 2 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.

Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J. Prenger, Animashree Anandkumar

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2021

Representation Learning for Remote Sensing: An Unsupervised Sensor Fusion Approach.

Aidan M. Swope, Xander H. Rudelis, Kyle T. Story

CoRR, 2021