Elamur Research⌕
☰
home / authors / David Broman

David Broman

David Broman has 2 papers in our library, in 2024, most of them on Language models & pretraining, Reasoning; often with Christopher E. Potts, Gabriel Poesia, Matei Zaharia.

2 papers in our library · 2024

OpenAlex · ORCID · Wikidata · h-index 27 · 134 works · 2,591 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 88 times in our library · ⭐ Paper Stars ranking: #7936

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🎓KTH Royal Institute of TechnologyStockholm · Sweden2015–2026 · 81 papersEmploymentcurrent🔬Digital FuturesStockholm · Sweden2020–2026 · 15 paperscurrent🎓Linköping UniversityLinköping · Sweden2005–2015 · 35 papersEducation🎓University of California, BerkeleyBerkeley · United States2012–2016 · 21 papers🎓Stanford UniversityStanford · United States2023–2024 · 6 papers
🏛️University of California Berkeley ResearchUnited StatesEmployment

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 8The field of science this work belongs to (OpenAlex fields).Artificial Intelligence · 2 worksComputer Science · 2 worksArts and Humanities · 1 workLanguage and Linguistics · 1 workEducation · 1 workExperimental and Cognitive Psychology · 1 workPsychology · 1 workSocial Sciences · 1 work

🧭 Topics 2Research subjects and languages the work is about.Language models & pretraining · 1 workReasoning · 1 work

 Works by year

2020s

20242 papers

 Papers

The most cited first (OpenAlex and our library).

  1. Optimizing Instructions and Demonstrations for Multi-Stage Language Model Programs (2024 · 99 citations)
    Pipelines that chain several language model calls (LM programs) need prompts that work well together across all stages.
  2. Learning Formal Mathematics From Intrinsic Motivation (2024 · 23 citations)
    Most AI theorem provers depend on human-written formal proofs, which are scarce. They are also evaluated on fixed problem sets chosen by people. This paper asks whether an agent can build mathematical skill from a domain's axioms alone, deciding for itself which statements to work on. The authors present MINIMO, in…

 Co-authors here

7 co-authors with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 Cited by

Papers of our library cite their works 88 times (of the 149,439 papers whose bibliographies we read); 18 citing papers with a page here →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/david-broman/