Aidan M. Swope

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

Collaborative distances:

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

2024

CircuitVAE: Efficient and Scalable Latent Circuit Optimization.

Jialin Song, Aidan M. Swope, Robert Kirby, Rajarshi Roy, Saad Godil, Jonathan Raiman, Bryan Catanzaro

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

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