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.
Prof. Apoorva Khare has been chosen as a Simons Associate of the Abdus Salam International Centre for Theoretical Physics (ICTP) for the period 2025-2027.