Representation Learning for Remote Sensing: An Unsupervised Sensor Fusion Approach. - Aidan M. Swope; Xander H. Rudelis; Kyle T. Story (CoRR, 2021)

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models. - Kaiyu Yang; Aidan M. Swope; Alex Gu; Rahul Chalamala; Peiyang Song 002; Shixing Yu; Saad Godil; Ryan J. Prenger; Animashree Anandkumar (NeurIPS, 2023)

CircuitVAE: Efficient and Scalable Latent Circuit Optimization. - Jialin Song; Aidan M. Swope; Robert Kirby 001; Rajarshi Roy 003; Saad Godil; Jonathan Raiman; Bryan Catanzaro (DAC, 2024)