Researcher

Anmol Agarwal

Anmol Agarwal is a computer science researcher whose work connects language models with software generation and formal reasoning. At IIIT Hyderabad, he studied computer science and researched information retrieval and natural language processing before joining Microsoft Research India’s AI4Code group. His papers span mental-health question generation, information-disguise methods, an open-source teaching assistant, and repository-level code generation. During a 2025 summer internship at Mistral AI, he coauthored Magistral, the company’s first reasoning model. As of October 2026, he is a master’s student in Intelligent Information Systems at Carnegie Mellon and coauthors research on formal specifications for coding agents.

Works
20
Citations
65
h-index
5
Badges

Publication numbers from OpenAlex, as of 18 October 2026.

Timeline

  1. 2019–2023

    Research at IIIT Hyderabad

    He studies computer science at IIIT Hyderabad from 2019 to 2023 and researches information retrieval and natural language processing at the Precog Lab.

  2. 2022–2023

    Clinical language and information disguise

    In 2022, he coauthors research on process-guided follow-up questions for depression triage. A 2023 paper proposes adversarial paraphrasing that aims to keep sensitive posts from being found through search engines.

  3. 2023

    An open-source teaching assistant

    He coauthors AI-TA, a question-answer teaching assistant built with open-source language models; the 2023 paper reports a 30% improvement in answer quality on an introductory computer science course dataset.

  4. July 2023–July 2024

    A research fellow in AI4Code

    He joins Microsoft Research India as a research fellow in the AI4Code group in July 2023 and works on code generation and language models through July 2024.

  5. 2024

    Repository-level code generation

    In 2024, he coauthors a study that introduces RepoClassBench, a benchmark for class-level code generation in real repositories, and the RRR method for reasoning over repository context.

  6. 2025

    A reasoning model at Mistral

    He starts a summer internship at Mistral AI in May 2025 and coauthors Magistral, Mistral’s first reasoning model and a scalable reinforcement-learning pipeline.

  7. 2026

    Formal specs for coding agents

    In 2026, he coauthors Verus-SpecGym, an agentic environment that tests whether language-model agents can translate programming problems into formal specifications.

  8. As of October 2026

    Master’s student at Carnegie Mellon

    He studies Intelligent Information Systems in the Language Technologies Institute at Carnegie Mellon University.

Career

  1. 2025Mistral AISummer intern
  2. 2023–2024Microsoft ResearchResearch fellow
  3. 2019–2023International Institute of Information Technology, HyderabadResearcher

Education

  1. 2023International Institute of Information Technology, HyderabadComputer science student
  2. Carnegie Mellon UniversityMaster's student in Intelligent Information Systems

Most-cited works

  1. Learning to Automate Follow-up Question Generation using Process Knowledge for Depression Triage on Reddit Posts2022 · Workshop on Computational Linguistics and Clinical Psychology (CLPsych) · 27 citationsWith Amit Sheth
  2. AI-TA: Towards an Intelligent Question-Answer Teaching Assistant using Open-Source LLMs2023 · 10 citations
  3. CST5: Data Augmentation for Code-Switched Semantic Parsing2022 · 5 citations
  4. Instance-Level Semantic Maps for Vision Language Navigation2023 · IEEE International Conference on Robot and Human Interactive Communication (RO-MAN) · 5 citations
  5. Towards Effective Paraphrasing for Information Disguise2023 · Lecture notes in computer science · 5 citations

Sources and credits

Photo: We have no published photo of Anmol Agarwal yet. Send us a free-licensed photo.

  1. Anmol Agarwal anmolagarwal999.github.io. Checked 18 October 2026.
  2. Learning to Automate Follow-up Question Generation using Process Knowledge for Depression Triage on Reddit Posts aclanthology.org. Checked 18 October 2026.
  3. Towards Effective Paraphrasing for Information Disguise arxiv.org. Checked 18 October 2026.
  4. AI-TA: Towards an Intelligent Question-Answer Teaching Assistant using Open-Source LLMs arxiv.org. Checked 18 October 2026.
  5. Class-Level Code Generation from Natural Language Using Iterative, Tool-Enhanced Reasoning over Repository arxiv.org. Checked 18 October 2026.
  6. Magistral arxiv.org. Checked 18 October 2026.
  7. Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization arxiv.org. Checked 18 October 2026.
  8. Anmol Agarwal - Language Technologies Institute - School of Computer Science - Carnegie Mellon University lti.cs.cmu.edu. Checked 18 October 2026.