--- title: "Swarat Chaudhuri · Google — author profile and papers" description: "Swarat Chaudhuri, Google: 2 papers on Elamur Research (2023–2024), h-index 33 — affiliations, topics, co-authors and who cites them in…" canonical: "https://research.elamur.ai/free/en/authors/swarat-chaudhuri/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/swarat-chaudhuri/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Swarat Chaudhuri # Swarat Chaudhuri Swarat Chaudhuri has 2 papers in our library, in 2023–2024, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Greg Durrett](https://md.research.elamur.ai/free/en/authors/greg-durrett/), [Kaj Bostrom](https://md.research.elamur.ai/free/en/authors/kaj-bostrom/), [Xi Ye](https://md.research.elamur.ai/free/en/authors/xi-ye/). 2 papers in our library · 2023–2024 [OpenAlex](https://openalex.org/A5057341982) · [ORCID](https://orcid.org/0000-0002-6859-1391) · [Wikidata](https://www.wikidata.org/wiki/Q102382751) · [**h-index 33**](https://openalex.org/authors/A5057341982) · [202 works](https://openalex.org/works?filter=author.id:A5057341982) · [4,942 citations](https://openalex.org/works?filter=author.id:A5057341982&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/swarat-chaudhuri/#papers) · [🔗 Cited 449 times in our library](https://md.research.elamur.ai/free/en/authors/swarat-chaudhuri/cited-by/) · [6 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #6860](https://md.research.elamur.ai/free/en/paper-stars/page/69/#star-6860) 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=Swarat+Chaudhuri) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Swarat+Chaudhuri) · [dblp](https://dblp.org/search?q=Swarat+Chaudhuri) · [ACL Anthology](https://aclanthology.org/search/?q=Swarat+Chaudhuri) ## Affiliations [🎓**The University of Texas at Austin** Austin · United States 2020–2026 · 50 papersEmployment · Computer Science*current*](https://md.research.elamur.ai/free/en/universities/the-university-of-texas-at-austin/) · [🏢**Google DeepMind** London · United Kingdom 2025–2026 · 6 papers*current*](https://md.research.elamur.ai/free/en/companies/google-deepmind/) · [🏢**Google** Mountain View · United States 2026 · 1 paper*current*](https://md.research.elamur.ai/free/en/companies/google/) · [🏢**Google** London · United Kingdom 2026 · 1 paper*current*](https://md.research.elamur.ai/free/en/companies/google-united-kingdom/) · [🎓**Rice University** Houston · United States 2011–2021 · 66 papersEmployment](https://md.research.elamur.ai/free/en/universities/rice-university/) · [🎓**Pennsylvania State University** State College · United States 2008–2024 · 18 papersEmployment](https://md.research.elamur.ai/free/en/universities/pennsylvania-state-university/) · [🎓**University of Pennsylvania** Philadelphia · United States 2003–2007 · 10 papersEducation](https://md.research.elamur.ai/free/en/universities/university-of-pennsylvania/) · [🎓**California Institute of Technology** Pasadena · United States 2019–2021 · 3 papers](https://md.research.elamur.ai/free/en/universities/california-institute-of-technology/) · [🎓**University of Toronto** Toronto · Canada 2016 · 2 papers](https://md.research.elamur.ai/free/en/universities/university-of-toronto/) · [🎓**Indian Institute of Technology Kharagpur** Kharagpur · India Education](https://md.research.elamur.ai/free/en/universities/indian-institute-of-technology-kharagpur/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 3 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 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/) · [Computational Theory and Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · [Political Science and International Relations · 1 work](https://md.research.elamur.ai/free/en/shelves/social-sciences/political-science-and-international-relations/) · [Social Sciences · 1 work](https://md.research.elamur.ai/free/en/shelves/social-sciences/) 🧭 Topics 1 Research subjects and languages the work is about.[Reasoning · 2 works](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2024** 1 paper](https://md.research.elamur.ai/free/en/authors/swarat-chaudhuri/year/2024/) · [**2023** 1 paper](https://md.research.elamur.ai/free/en/authors/swarat-chaudhuri/year/2023/) ## Papers The most cited first (OpenAlex and our library). 1. **[PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition](https://md.research.elamur.ai/free/en/papers/tsoukalas-2024-putnambench-evaluating-neural-theorem-provers/)** *(2024 · 93 citations)* Neural theorem-provers are usually tested on competition benchmarks such as MiniF2F and FIMO. These sets rely mostly on high-school mathematics, and some MiniF2F items can be solved directly by SMT solvers. They also cover only some proof assistants, and they risk overlap with LLM pretraining data. PutnamBench is a… 2. **[MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning](https://md.research.elamur.ai/free/en/papers/sprague-2023-musr-testing-limits-chain-thought/)** *(2023 · 74 citations)* Existing reasoning benchmarks for LLMs tend to fall into two camps. Some use artificial text that rule-based solvers can crack. Others involve commonsense but only one or two inference steps. MuSR (Multistep Soft Reasoning) targets the gap between them: long natural-language narratives whose solution requires both… ## 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. **[PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition](https://md.research.elamur.ai/free/en/papers/tsoukalas-2024-putnambench-evaluating-neural-theorem-provers/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**George Tsoukalas, Jasper Lee, John Jennings, et al.*2024 · 93 citations* 2. **[MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning](https://md.research.elamur.ai/free/en/papers/sprague-2023-musr-testing-limits-chain-thought/) [International Conference on Learning Representations (ICLR)](https://md.research.elamur.ai/free/en/venues/international-conference-on-learning-representations-iclr/)**Zayne Sprague, Xi Ye, Kaj Bostrom, et al.*2023 · 74 citations* 3. **[Formal Mathematical Reasoning: A New Frontier in AI ↗](https://arxiv.org/abs/2412.16075) arXiv:2412.16075 · no summary yet**Kaiyu Yang et al.*2024 · 49 citations* 4. **[An In-Context Learning Agent for Formal Theorem-Proving ↗](https://arxiv.org/abs/2310.04353) arXiv:2310.04353 · no summary yet**Amitayush Thakur et al.*2023 · 47 citations* 5. **[Symbolic Regression with a Learned Concept Library ↗](https://arxiv.org/abs/2409.09359) arXiv:2409.09359 · no summary yet**Arya Grayeli et al.*2024 · 23 citations* 6. **[Neural Attribute Machines for Program Generation ↗](https://arxiv.org/abs/1705.09231) arXiv:1705.09231 · no summary yet**Matthew Amodio, Swarat Chaudhuri, Thomas W. Reps*2017 · 23 citations* 7. **[Neurosymbolic Programming for Science ↗](https://arxiv.org/abs/2210.05050) arXiv:2210.05050 · no summary yet**Jennifer J. Sun et al.*2022 · 6 citations* 8. **[Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification ↗](https://doi.org/10.1145/3750038) Communications of the ACM · no summary yet**Kaiyu Yang et al.*2026 · 1 citation* ## Co-authors here 4 co-authors with a page, the most papers together first. - [Greg Durrett](https://md.research.elamur.ai/free/en/authors/greg-durrett/) - [Kaj Bostrom](https://md.research.elamur.ai/free/en/authors/kaj-bostrom/) - [Xi Ye](https://md.research.elamur.ai/free/en/authors/xi-ye/) - [Zayne Sprague](https://md.research.elamur.ai/free/en/authors/zayne-sprague/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [International Conference on Learning Representations (ICLR)](https://md.research.elamur.ai/free/en/venues/international-conference-on-learning-representations-iclr/): [ICLR 2023](https://md.research.elamur.ai/free/en/venues/international-conference-on-learning-representations-iclr/2023/) - [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/): [NeurIPS 2024](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/2024/) - Communications of the ACM ## Cited by Papers of our library cite their works 449 times (of the 149,439 papers whose bibliographies we read); [69 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/swarat-chaudhuri/cited-by/). Updated 2 November 2026