---
title: "Indian Institute of Science Education and Research Pune —"
description: "1 works of Indian Institute of Science Education and Research Pune from 2022 in our library, the most cited first."
canonical: "https://research.elamur.ai/free/en/universities/indian-institute-of-science-education-and-research-pune/year/2022/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/universities/indian-institute-of-science-education-and-research-pune/year/2022/)

[home](https://md.research.elamur.ai/free/en/) / [institutions](https://md.research.elamur.ai/free/en/orgs/) / [universities](https://md.research.elamur.ai/free/en/universities/) / [Indian Institute of Science Education and Research Pune](https://md.research.elamur.ai/free/en/universities/indian-institute-of-science-education-and-research-pune/) / 2022

# Works of Indian Institute of Science Education and Research Pune from 2022

1 work · the most cited first · [← Indian Institute of Science Education and Research Pune](https://md.research.elamur.ai/free/en/universities/indian-institute-of-science-education-and-research-pune/)

1. [**Towards a Mathematics Formalisation Assistant using Large Language Models arXiv:2211.07524**Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, et al.*2022 · 19 citations*](https://md.research.elamur.ai/free/en/papers/agrawal-2022-mathematics-formalisation-assistant-large-language/)
- [← back to](https://md.research.elamur.ai/free/en/universities/indian-institute-of-science-education-and-research-pune/) — Indian Institute of Science Education and Research Pune