--- title: "Aidan Swope — author profile and papers — Elamur Research" description: "Aidan Swope, Harmonic: 2 papers on Elamur Research (2023–2024), h-index 3 — affiliations, topics, co-authors and who cites them in our library." canonical: "https://research.elamur.ai/free/en/authors/aidan-swope/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/aidan-swope/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Aidan Swope # Aidan Swope Aidan Swope has 2 papers in our library, in 2023–2024, most of them on [Language models & pretraining](https://md.research.elamur.ai/free/en/topics/language-models/), [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/), [Information retrieval & search](https://md.research.elamur.ai/free/en/topics/information-retrieval/); often with [Alex Gu](https://md.research.elamur.ai/free/en/authors/alex-gu/), [Anima Anandkumar](https://md.research.elamur.ai/free/en/authors/anima-anandkumar/), [Jiaqi Zeng](https://md.research.elamur.ai/free/en/authors/jiaqi-zeng/). 2 papers in our library · 2023–2024 [OpenAlex](https://openalex.org/A5012493437) · [ORCID](https://orcid.org/0009-0006-4685-8709) · [**h-index 3**](https://openalex.org/authors/A5012493437) · [6 works](https://openalex.org/works?filter=author.id:A5012493437) · [80 citations](https://openalex.org/works?filter=author.id:A5012493437&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/aidan-swope/#papers) · [🔗 Cited 274 times in our library](https://md.research.elamur.ai/free/en/authors/aidan-swope/cited-by/) · [1 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #4111](https://md.research.elamur.ai/free/en/paper-stars/page/42/#star-4111) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Aidan+Swope) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Aidan+Swope) · [dblp](https://dblp.org/search?q=Aidan+Swope) · [ACL Anthology](https://aclanthology.org/search/?q=Aidan+Swope) ## Affiliations [🏢**Harmonic** Palo Alto · United States 2024–2026 · 2 papers*current*](https://ror.org/03xdrbh54) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 2 more institutions on single bylines are not listed. ## Concepts, shelves and topics Of its works in our library: the number of works on each and its rating among them. 📚 Shelves 7 The field of science this work belongs to (OpenAlex fields).[Arts and Humanities · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Language and Linguistics · 2 works](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · [Computational Theory and Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/mathematics/) · [Information Systems · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/information-systems/) 🧭 Topics 3 Research subjects and languages the work is about.[Information retrieval & search · 1 work](https://md.research.elamur.ai/free/en/topics/information-retrieval/) · [Language models & pretraining · 1 work](https://md.research.elamur.ai/free/en/topics/language-models/) · [Reasoning · 1 work](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2024** 1 paper HelpSteer: Multi-attribute Helpfulness Dataset for SteerLM](https://md.research.elamur.ai/free/en/papers/wang-2024-helpsteer-multi-attribute-helpfulness-dataset/) · [**2023** 1 paper LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/) ## Papers The most cited first (OpenAlex and our library). 1. **[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/)** *(2023 · 248 citations)* Research on machine learning for formal theorem proving has been hard to reproduce and build on. Earlier LLM-based provers kept their code and training data private, and some needed thousands of GPU-days of compute. The authors respond with LeanDojo, an open toolkit for the Lean proof assistant. It uses Lean 3 by… 2. **[HelpSteer: Multi-attribute Helpfulness Dataset for SteerLM](https://md.research.elamur.ai/free/en/papers/wang-2024-helpsteer-multi-attribute-helpfulness-dataset/)** *(2024 · 69 citations)* Open helpfulness preference datasets usually give only an overall rating or a pairwise ranking. They do not say why one answer is better, so trained models can pick up shallow cues, such as preferring longer replies whether or not they are useful. The NVIDIA team built HelpSteer to address this. It is a… ## All works 3 works of theirs in our library, the most cited first; 2 with a page here, the others link their original until we summarise them. 1. **[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/)**Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.*[Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/) · 248 citations* 2. **[HelpSteer: Multi-attribute Helpfulness Dataset for SteerLM](https://md.research.elamur.ai/free/en/papers/wang-2024-helpsteer-multi-attribute-helpfulness-dataset/)**Zhilin Wang, Yi Dong, Jiaqi Zeng, et al.*[Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/) · 69 citations* 3. **[Aristotle: IMO-level Automated Theorem Proving](https://arxiv.org/abs/2510.01346) · original ↗ · no summary yet · arXiv:2510.01346**Tudor Achim et al.*2025 · 28 citations* ## Co-authors here 8 co-authors with a page, the most papers together first. - [Alex Gu](https://md.research.elamur.ai/free/en/authors/alex-gu/) - [Anima Anandkumar](https://md.research.elamur.ai/free/en/authors/anima-anandkumar/) - [Jiaqi Zeng](https://md.research.elamur.ai/free/en/authors/jiaqi-zeng/) - [Neel Kant](https://md.research.elamur.ai/free/en/authors/neel-kant/) - [Rahul Chalamala](https://md.research.elamur.ai/free/en/authors/rahul-chalamala/) - [Ryan Prenger](https://md.research.elamur.ai/free/en/authors/ryan-prenger/) - [Virginia Adams](https://md.research.elamur.ai/free/en/authors/virginia-adams/) - [Zhilin Wang](https://md.research.elamur.ai/free/en/authors/zhilin-wang/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/): [NAACL 2024](https://md.research.elamur.ai/free/en/venues/naacl/2024/) - [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/): [NeurIPS 2023](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/2023/) ## Cited by Papers of our library cite their works 274 times (of the 141,840 papers whose bibliographies we read); [17 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/aidan-swope/cited-by/). Updated 24 October 2026