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

Check out my other projects here.

Apart from this

• I’m an amateur Go player (10 - 13 kyu)
• I play Hindustani Tabla (senior diploma) and the Piano

You can contact me at contact at site-domain or get the address here.