AI for Math Fund's Grant

Sep 17, 2025

Prof. Siddhartha Gadgil has been awarded one of the opening grants (2025) of the AI for Math Fund, offered by Renaissance Philanthropy. The award is for LeanAide, which aims to bridge AI and Mathematics with Autoformalization.


Contact: +91 (80) 2293 2711, +91 (80) 2293 2265 ;     E-mail: chair.math[at]iisc[dot]ac[dot]in
Last updated: 05 Dec 2025