Author

Aidan Swope

Observed names: Swope, Aidan, Swope, Aidan M.

Institution: Harmonic (United States)

Observed institutions: Harmonic (United States), Nvidia (United States), Harmonic (United States)

ORCID: 0009-0006-4685-8709

Observed ORCID: 0009-0006-4685-8709

OpenAlex ID: A5012493437

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

2023 · Kaiyu Yang, Aidan Swope, et al. · neural information processing systems · 65

PDF

CircuitVAE: Efficient and Scalable Latent Circuit Optimization

2024 · Jialin Song, Aidan Swope, et al. · Proceedings - ACM IEEE Design Automation Conference · 6

PDF

HelpSteer: Multi-attribute Helpfulness Dataset for SteerLM

2024 · Zhilin Wang, Yi Dong, et al. · Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT) · 4

PDF

Aristotle: IMO-level Automated Theorem Proving

2026 · Tudor Achim, Alex Best, et al. · SuperIntelligence - Robotics - Safety & Alignment · 2

Representation Learning for Remote Sensing: An Unsupervised Sensor Fusion Approach

2021 · Swope, Aidan M., Rudelis, Xander H., et al. · arXiv (Cornell University) · 2

PDF

HelpSteer: Multi-attribute Helpfulness Dataset for SteerLM

2023 · Wang, Zhilin, Dong, Yi, et al. · arXiv (Cornell University) · 1

PDF

Works count: 6

Citation count: 80

H-index: 3

I10-index: 1