🎓 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

1. Towards a Mathematics Formalisation Assistant using Large Language ModelsarXiv:2211.07524Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, et al.2022 · 19 citations

This page in Markdown → https://md.research.elamur.ai/free/en/universities/indian-institute-of-science-education-and-research-pune/year/2022/