Elamur Research⌕
☰
home / authors / Farzan Farnia

Farzan Farnia

Farzan Farnia has 2 papers in our library, in 2025, most of them on Language models & pretraining, Reasoning; often with Azim Ospanov, Roozbeh Yousefzadeh.

2 papers in our library · 2025

OpenAlex · ORCID · h-index 11 · 92 works · 501 citations OpenAlex, 2026-10-14

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

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

🎓Chinese University of Hong KongHong Kong · China2022–2026 · 42 paperscurrent🎓Massachusetts Institute of TechnologyCambridge · United States2020–2023 · 10 papers🎓Stanford UniversityStanford · United States2013–2020 · 10 papers

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 3The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 2 works

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

 Works by year

2020s

20252 papers

 Papers

The most cited first (OpenAlex and our library).

  1. APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning (2025 · 17 citations)
    Automated theorem proving with LLMs usually relies on brute-force sampling: a model writes complete Lean proofs, sometimes thousands of times, and the verifier only reports pass or fail.
  2. miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward (2025 · 4 citations)
    This NeurIPS 2025 paper examines miniF2F, a widely used benchmark of 488 competition-style math problems with paired natural-language and Lean statements.

 Co-authors here

2 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 19 times (of the 149,439 papers whose bibliographies we read); 2 citing papers with a page here →.

Updated

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