--- title: "Alexander A. Alemi — author profile and papers · Reasoning" description: "Alexander A. Alemi: 2 papers on Elamur Research (2016–2024), h-index 18 — affiliations, topics, co-authors and who cites them in our library." canonical: "https://research.elamur.ai/free/en/authors/alexander-a-alemi/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/alexander-a-alemi/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Alexander A. Alemi # Alexander A. Alemi Alexander A. Alemi has 2 papers in our library, in 2016–2024, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Christian Szegedy](https://md.research.elamur.ai/free/en/authors/christian-szegedy/), [Francois Chollet](https://md.research.elamur.ai/free/en/authors/francois-chollet/), [Geoffrey Irving](https://md.research.elamur.ai/free/en/authors/geoffrey-irving/). 2 papers in our library · 2016–2024 [OpenAlex](https://openalex.org/A5036325834) · [ORCID](https://orcid.org/0000-0001-7147-9184) · [Wikidata](https://www.wikidata.org/wiki/Q96164130) · [**h-index 18**](https://openalex.org/authors/A5036325834) · [52 works](https://openalex.org/works?filter=author.id:A5036325834) · [18,249 citations](https://openalex.org/works?filter=author.id:A5036325834&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/alexander-a-alemi/#papers) · [🔗 Cited 224 times in our library](https://md.research.elamur.ai/free/en/authors/alexander-a-alemi/cited-by/) · [1 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #6823](https://md.research.elamur.ai/free/en/paper-stars/page/69/#star-6823) 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=Alexander+A.+Alemi) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Alexander+A.+Alemi) · [dblp](https://dblp.org/search?q=Alexander+A.+Alemi) · [ACL Anthology](https://aclanthology.org/search/?q=Alexander+A.+Alemi) ## Affiliations [🏢**Google** Mountain View · United States 2015–2023 · 21 papersEmployment 2015Employment since 2016](https://md.research.elamur.ai/free/en/companies/google/) · [🎓**Cornell University** Ithaca · United States 2005–2020 · 9 papersEducation 2005–2013 · MS, PhysicsEducation 2009–2015 · PhD, Physics](https://md.research.elamur.ai/free/en/universities/cornell-university/) 🏛️**Disney Research Boston** Cambridge · [United States](https://md.research.elamur.ai/free/en/countries/united-states/) 2014–2016Employment 2014 · Research InternEmployment 2015–2016 · Postdoc 🏛️**Google Inc** Mountain View · [United States](https://md.research.elamur.ai/free/en/countries/united-states/) 2015–2016Employment 2015 · Research Intern, Machine PerceptionEmployment since 2016 [🎓**California Institute of Technology** Pasadena · United States 2005–2009Education 2005–2009 · BS, Physics](https://md.research.elamur.ai/free/en/universities/california-institute-of-technology/) 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. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 5 The field of science this work belongs to (OpenAlex fields).[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/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Computational Theory and Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) 🧭 Topics 1 Research subjects and languages the work is about.[Reasoning · 1 work](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2024** 1 paper](https://md.research.elamur.ai/free/en/authors/alexander-a-alemi/year/2024/) ### 2010s [**2016** 1 paper](https://md.research.elamur.ai/free/en/authors/alexander-a-alemi/year/2016/) ## Papers The most cited first (OpenAlex and our library). 1. **[DeepMath - Deep Sequence Models for Premise Selection](https://md.research.elamur.ai/free/en/papers/alemi-2016-deepmath-deep-sequence-models-premise/)** *(2016 · 178 citations)* Automated theorem provers (ATPs) slow down badly when given a very large library of facts. Choosing a small set of useful premises for a new conjecture is therefore a major bottleneck in formalizing mathematics. The authors treat premise selection as a pairwise scoring task. Two separate neural encoders turn a… 2. **[Scaling Exponents Across Parameterizations and Optimizers](https://md.research.elamur.ai/free/en/papers/everett-2024-scaling-exponents-across-parameterizations-optimizers/)** *(2024 · 15 citations)* Scaling a Transformer from small to large width requires choosing how the initialization, parameter multipliers and learning rates change with width. ## 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. [**DeepMath - Deep Sequence Models for Premise Selection arXiv:1606.04442**Alex A. Alemi, Francois Chollet, Niklas Een, et al.*2016 · 178 citations*](https://md.research.elamur.ai/free/en/papers/alemi-2016-deepmath-deep-sequence-models-premise/) 2. [**Scaling Exponents Across Parameterizations and Optimizers arXiv:2407.05872**Katie Everett, Lechao Xiao, Mitchell Wortsman, et al.*2024 · 15 citations*](https://md.research.elamur.ai/free/en/papers/everett-2024-scaling-exponents-across-parameterizations-optimizers/) 3. **[Tree-Structured Variational Autoencoder ↗](https://openalex.org/W2751260683) no summary yet**Richard Shin et al.*2017 · 3 citations* ## Co-authors here 12 co-authors with a page, the most papers together first. - [Christian Szegedy](https://md.research.elamur.ai/free/en/authors/christian-szegedy/) - [Francois Chollet](https://md.research.elamur.ai/free/en/authors/francois-chollet/) - [Geoffrey Irving](https://md.research.elamur.ai/free/en/authors/geoffrey-irving/) - [Izzeddin Gur](https://md.research.elamur.ai/free/en/authors/izzeddin-gur/) - [Jaehoon Lee](https://md.research.elamur.ai/free/en/authors/jaehoon-lee/) - [Jascha Sohl-Dickstein](https://md.research.elamur.ai/free/en/authors/jascha-sohl-dickstein/) - [Jeffrey Pennington](https://md.research.elamur.ai/free/en/authors/jeffrey-pennington/) - [Josef Urban](https://md.research.elamur.ai/free/en/authors/josef-urban/) - [Leslie Pack Kaelbling](https://md.research.elamur.ai/free/en/authors/leslie-pack-kaelbling/) - [Mitchell Wortsman](https://md.research.elamur.ai/free/en/authors/mitchell-wortsman/) - [Niklas Een](https://md.research.elamur.ai/free/en/authors/niklas-een/) - [Peter J. Liu](https://md.research.elamur.ai/free/en/authors/peter-j-liu/) ## Cited by Papers of our library cite their works 224 times (of the 149,439 papers whose bibliographies we read); [102 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/alexander-a-alemi/cited-by/). Updated 3 November 2026