🧑‍🔬 Krishnamurthy Dvijotham

🏛️ Affiliations

🏢Google DeepMindLondon · United Kingdom2018–2026 · 18 paperscurrent🏢GoogleMountain View · United States2019–2026 · 17 papersEmployment since 2021 · Staff Research Scientist, Researchcurrent🏢ServiceNowSanta Clara · United States2024–2026 · 2 paperscurrent🎓California Institute of TechnologyPasadena · United States2014–2020 · 19 papers🎓University of WashingtonSeattle · United States2008–2014 · 13 papersEducation 2008–2014 · Doctor of Philopsophy, Computer Science and Engineering🔬Pacific Northwest National LaboratoryRichland · United States2016–2018 · 12 papers🎓University of OxfordOxford · United Kingdom2019–2021 · 4 papers🏢GoogleLondon · United Kingdom2018–2020 · 4 papers🎓University College LondonLondon · United Kingdom2019 · 2 papers🎓Indian Institute of Technology BombayMumbai · India2008 · 2 papers

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.

📅 Works by year

2020s

2010s

📄 Papers

The most cited first (OpenAlex and our library).

1. Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation (2019 · 163 citations)
   Neural text classifiers can be fooled by small edits such as swapping a word for a synonym or flipping characters.
2. LitLLMs, LLMs for Literature Review: Are we there yet? (2024 · 16 citations)
   The paper asks whether current LLMs can help researchers draft the related-work section of a paper, starting from only an abstract or a short description of an idea.

All works

6 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. Achieving Verified Robustness to Symbol Substitutions via Interval Bound PropagationConference on Empirical Methods in Natural Language Processing (EMNLP)Po-Sen Huang, Robert Stanforth, Johannes Welbl, et al.2019 · 163 citations
2. Scalable Verified Training for Provably Robust Image Classification ↗IEEE/CVF International Conference on Computer Vision (ICCV) · no summary yetSven Gowal et al.2019 · 149 citations
3. Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming ↗arXiv:2010.11645 · no summary yetSumanth Dathathri et al.2020 · 21 citations
4. LitLLMs, LLMs for Literature Review: Are we there yet?arXiv:2412.15249Shubham Agarwal, Gaurav Sahu, Abhay Puri, et al.2024 · 16 citations
5. VEPA: Verified Evolving Formal Policy for Lifelong LLM Agent Guardrails ↗arXiv (Cornell University) · no summary yetDuy Nguyen et al.2026
6. Understanding Subjectivity through the Lens of Motivational Context in Model-Generated Image Satisfaction ↗arXiv (Cornell University) · no summary yetSenjuti Dutta et al.2024

🤝 Co-authors here

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

• Chris Dyer
• Christopher Pal
• Dani Yogatama
• Gaurav Sahu
• Issam Laradji
• Johannes Welbl
• Laurent Charlin
• Po-Sen Huang
• Pushmeet Kohli
• Shubham Agarwal

Venues

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

• Conference on Empirical Methods in Natural Language Processing (EMNLP): EMNLP 2019
• IEEE/CVF International Conference on Computer Vision (ICCV)

🔗 Cited by

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

Updated 1 November 2026

↑ back to top

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