Malhar A. Patel

I’m an undergrad at IISER Pune with a major in Mathematics and minor in Data Science. My academic interests lie at the intersection of formal reasoning and advanced search algorithms to automate mathematical discovery.