--- title: "Brando Miranda · Stanford University — author profile and papers" description: "Brando Miranda, Stanford University: 2 papers on Elamur Research (2023–2024), h-index 7 — affiliations, topics, co-authors and who cites…" canonical: "https://research.elamur.ai/free/en/authors/brando-miranda/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/brando-miranda/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Brando Miranda # Brando Miranda Brando Miranda 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/); often with [Sanmi Koyejo](https://md.research.elamur.ai/free/en/authors/sanmi-koyejo/), [Chuyue Sun](https://md.research.elamur.ai/free/en/authors/chuyue-sun/), [Clark Barrett](https://md.research.elamur.ai/free/en/authors/clark-barrett/). 2 papers in our library · 2023–2024 [OpenAlex](https://openalex.org/A5007251379) · [ORCID](https://orcid.org/0009-0008-5031-0126) · [**h-index 7**](https://openalex.org/authors/A5007251379) · [64 works](https://openalex.org/works?filter=author.id:A5007251379) · [1,187 citations](https://openalex.org/works?filter=author.id:A5007251379&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/brando-miranda/#papers) · [🔗 Cited 177 times in our library](https://md.research.elamur.ai/free/en/authors/brando-miranda/cited-by/) · [⭐ Paper Stars ranking: #5280](https://md.research.elamur.ai/free/en/paper-stars/page/53/#star-5280) 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=Brando+Miranda) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Brando+Miranda) · [dblp](https://dblp.org/search?q=Brando+Miranda) · [ACL Anthology](https://aclanthology.org/search/?q=Brando+Miranda) ## Affiliations [🎓**Stanford University** Stanford · United States 2022–2026 · 17 papers*current*](https://md.research.elamur.ai/free/en/universities/stanford-university/) · [🎓**Massachusetts Institute of Technology** Cambridge · United States 2016–2019 · 9 papers](https://md.research.elamur.ai/free/en/universities/massachusetts-institute-of-technology/) · [🎓**University of Illinois Urbana-Champaign** Urbana · United States 2021–2022 · 2 papers](https://md.research.elamur.ai/free/en/universities/university-of-illinois-urbana-champaign/) · [🔬**McGovern Institute for Brain Research** Cambridge · United States 2017–2018 · 2 papers](https://md.research.elamur.ai/free/en/labs/mcgovern-institute-for-brain-research/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 1 more institution on single bylines are not listed. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 7 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/) · [Computer Vision and Pattern Recognition · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computer-vision-and-pattern-recognition/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · [Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/mathematics/) · [Computational Theory and Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) 🧭 Topics 2 Research subjects and languages the work is about.[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](https://md.research.elamur.ai/free/en/authors/brando-miranda/year/2024/) · [**2023** 1 paper](https://md.research.elamur.ai/free/en/authors/brando-miranda/year/2023/) ## Papers The most cited first (OpenAlex and our library). 1. **[Are Emergent Abilities of Large Language Models a Mirage?](https://md.research.elamur.ai/free/en/papers/schaeffer-2023-emergent-abilities-large-language-models/)** *(2023 · 342 citations)* The paper asks whether the "emergent abilities" reported for large language models are real. These are skills that seem to appear suddenly and unpredictably once models pass some size. The authors argue that this sharpness often comes from how performance is scored, not from abrupt changes inside the models. Using a… 2. **[Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4](https://md.research.elamur.ai/free/en/papers/aniva-2024-pantograph-machine-machine-interaction-interface/)** *(2024 · 14 citations)* Machine learning agents that search for proofs in Lean 4 depend on an interface to the proof assistant. The standard Language Server Protocol was built for humans: it tracks cursor positions and offers no easy way to collect tactic data or to leave proof gaps for automation. Pantograph is an API and REPL written… ## Co-authors here 4 co-authors with a page, the most papers together first. - [Sanmi Koyejo](https://md.research.elamur.ai/free/en/authors/sanmi-koyejo/) ×2 - [Chuyue Sun](https://md.research.elamur.ai/free/en/authors/chuyue-sun/) - [Clark Barrett](https://md.research.elamur.ai/free/en/authors/clark-barrett/) - [Rylan Schaeffer](https://md.research.elamur.ai/free/en/authors/rylan-schaeffer/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/): [Lecture notes in computer science 2024](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/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 177 times (of the 149,439 papers whose bibliographies we read); [49 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/brando-miranda/cited-by/). Updated 3 November 2026