About

Hi, I’m Malhar A. Patel!

I’m an undergrad at IISER Pune majoring in Mathematics with a minor in Data Science.

My academic interests lie in the intersection of formal reasoning and advanced search algorithms to automate mathematical discovery.

I’m currently working on

• LeanAide : An autoformalization tool that converts math in natural language to formal Lean 4 code
• RL for Math : Using reinforcement learning to navigate the proof space in discrete math
• Go-Lean : The game of Go in Lean 4
• Lean LLM Client : A Lean 4 Client to make API calls to LLMs