--- title: "Yeming Wen — author profile and papers · Reasoning" description: "Yeming Wen: 2 papers on Elamur Research (2023), h-index 9 — affiliations, topics, co-authors and who cites them in our library." canonical: "https://research.elamur.ai/free/en/authors/yeming-wen/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/yeming-wen/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Yeming Wen # Yeming Wen Yeming Wen has 2 papers in our library, in 2023, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/), [Code & programming languages](https://md.research.elamur.ai/free/en/topics/code-and-programming/); often with [Abhishek Rao](https://md.research.elamur.ai/free/en/authors/abhishek-rao/), [Amitayush Thakur](https://md.research.elamur.ai/free/en/authors/amitayush-thakur/), [Charles Sutton](https://md.research.elamur.ai/free/en/authors/charles-sutton/). 2 papers in our library · 2023 [OpenAlex](https://openalex.org/A5027760899) · [**h-index 9**](https://openalex.org/authors/A5027760899) · [21 works](https://openalex.org/works?filter=author.id:A5027760899) · [643 citations](https://openalex.org/works?filter=author.id:A5027760899&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/yeming-wen/#papers) · [🔗 Cited 135 times in our library](https://md.research.elamur.ai/free/en/authors/yeming-wen/cited-by/) · [6 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #8181](https://md.research.elamur.ai/free/en/paper-stars/page/82/#star-8181) 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=Yeming+Wen) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Yeming+Wen) · [dblp](https://dblp.org/search?q=Yeming+Wen) · [ACL Anthology](https://aclanthology.org/search/?q=Yeming+Wen) ## Affiliations [🎓**University of Toronto** Toronto · Canada 2018–2020 · 6 papers](https://md.research.elamur.ai/free/en/universities/university-of-toronto/) · [🏢**Google** Mountain View · United States 2020–2023 · 4 papers](https://md.research.elamur.ai/free/en/companies/google/) · [🎓**The University of Texas at Austin** Austin · United States 2021–2023 · 4 papers](https://md.research.elamur.ai/free/en/universities/the-university-of-texas-at-austin/) 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 6 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/) · [Information Systems · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/information-systems/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) 🧭 Topics 2 Research subjects and languages the work is about.[Code & programming languages · 1 work](https://md.research.elamur.ai/free/en/topics/code-and-programming/) · [Reasoning · 1 work](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2023** 2 papers](https://md.research.elamur.ai/free/en/authors/yeming-wen/year/2023/) ## Papers The most cited first (OpenAlex and our library). 1. **[Natural Language to Code Generation in Interactive Data Science Notebooks](https://md.research.elamur.ai/free/en/papers/yin-2023-natural-language-code-generation-interactive/)** *(2023 · 63 citations)* Data scientists often work in Jupyter-style notebooks, where each new request to an AI coding assistant depends on earlier cells, their execution state, and previous requests. 2. **[An In-Context Learning Agent for Formal Theorem-Proving](https://md.research.elamur.ai/free/en/papers/thakur-2023-context-learning-agent-formal-theorem/)** *(2023 · 47 citations)* Formal proof assistants such as Lean and Coq require proofs written as sequences of tactics. The strongest neural provers have so far been trained or finetuned on proof data from one specific system. This paper presents COPRA, an agent that instead relies only on in-context learning. A general-purpose black-box… ## All works 8 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. **[Benchmarking Model-Based Reinforcement Learning ↗](https://arxiv.org/abs/1907.02057) arXiv (Cornell University) · no summary yet**Tingwu Wang et al.*2019 · 223 citations* 2. **[Flipout: Efficient Pseudo-Independent Weight Perturbations on Mini-Batches ↗](https://arxiv.org/abs/1803.04386) arXiv:1803.04386 · no summary yet**Yeming Wen et al.*2018 · 189 citations* 3. **[BatchEnsemble: An Alternative Approach to Efficient Ensemble and Lifelong Learning ↗](https://arxiv.org/abs/2002.06715) arXiv (Cornell University) · no summary yet**Yeming Wen, Dustin Tran, Jimmy Lei Ba*2020 · 108 citations* 4. **[Natural Language to Code Generation in Interactive Data Science Notebooks](https://md.research.elamur.ai/free/en/papers/yin-2023-natural-language-code-generation-interactive/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Pengcheng Yin, Wen-Ding Li, Kefan Xiao, et al.*2023 · 63 citations* 5. [**An In-Context Learning Agent for Formal Theorem-Proving arXiv:2310.04353**Amitayush Thakur, George Tsoukalas, Yeming Wen, et al.*2023 · 47 citations*](https://md.research.elamur.ai/free/en/papers/thakur-2023-context-learning-agent-formal-theorem/) 6. **[Interplay Between Optimization and Generalization of Stochastic Gradient Descent with Covariance Noise. ↗](https://arxiv.org/abs/1902.08234) arXiv (Cornell University) · no summary yet**Yeming Wen et al.*2019 · 13 citations* 7. **[An Empirical Study of Stochastic Gradient Descent with Structured Covariance Noise ↗](https://openalex.org/W3037273417) International Conference on Artificial Intelligence and Statistics · no summary yet**Yeming Wen et al.*2020 · 7 citations* 8. **[Exploring Curvature Noise in Large-Batch Stochastic Optimization ↗](https://openalex.org/W2914399343) no summary yet**Yeming Wen et al.*2018* ## Co-authors here 12 of 15 co-authors with a page, the most papers together first. - [Abhishek Rao](https://md.research.elamur.ai/free/en/authors/abhishek-rao/) - [Amitayush Thakur](https://md.research.elamur.ai/free/en/authors/amitayush-thakur/) - [Charles Sutton](https://md.research.elamur.ai/free/en/authors/charles-sutton/) - [George Tsoukalas](https://md.research.elamur.ai/free/en/authors/george-tsoukalas/) - [Henryk Michalewski](https://md.research.elamur.ai/free/en/authors/henryk-michalewski/) - [Jimmy Xin](https://md.research.elamur.ai/free/en/authors/jimmy-xin/) - [Joshua Howland](https://md.research.elamur.ai/free/en/authors/joshua-howland/) - [Kefan Xiao](https://md.research.elamur.ai/free/en/authors/kefan-xiao/) - [Kensen Shi](https://md.research.elamur.ai/free/en/authors/kensen-shi/) - [Michele Catasta](https://md.research.elamur.ai/free/en/authors/michele-catasta/) - [Oleksandr Polozov](https://md.research.elamur.ai/free/en/authors/oleksandr-polozov/) - [Paige Bailey](https://md.research.elamur.ai/free/en/authors/paige-bailey/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/): [ACL 2023](https://md.research.elamur.ai/free/en/venues/acl/2023/) - International Conference on Artificial Intelligence and Statistics ## Cited by Papers of our library cite their works 135 times (of the 149,439 papers whose bibliographies we read); [46 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/yeming-wen/cited-by/). Updated 3 November 2026