---
title: "Pushmeet Kohli — papers of 2019 — Elamur Research"
description: "Pushmeet Kohli — papers of 2019: 2 papers on Elamur Research, the most cited first — what each work is about in our own words."
canonical: "https://research.elamur.ai/free/en/authors/pushmeet-kohli/year/2019/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/pushmeet-kohli/year/2019/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Pushmeet Kohli](https://md.research.elamur.ai/free/en/authors/pushmeet-kohli/) / 2019

# Pushmeet Kohli — papers of 2019 — Elamur Research

2 papers · [all years of Pushmeet Kohli](https://md.research.elamur.ai/free/en/authors/pushmeet-kohli/#years)

- [Analysing Mathematical Reasoning Abilities of Neural Models arXiv:1904.01557](https://md.research.elamur.ai/free/en/papers/saxton-2019-analysing-mathematical-reasoning-abilities-neural/) — David Saxton, Edward Grefenstette, Felix Hill, et al. · 2019 · 288 citations

**[Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation](https://md.research.elamur.ai/free/en/papers/huang-2019-achieving-verified-robustness-symbol-substitutions/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Po-Sen Huang, Robert Stanforth, Johannes Welbl, et al.*2019 · 163 citations*