Malhar Patel Email and Phone Number
I'm Malhar Patel, an undergraduate student in Mathematics at IISER Pune, India. My academic interests revolve around Mathematical Logic, Automated Theorem Proving, Symbolic Methods for AI and Formal Verification.I'm working on formalizing mathematics in natural language to formally verified Lean code, and studying the intersection of LLMs and Logic Programming.Apart from this, I am trained in Tabla (Hindustani Classical Music). You can find me at the weekly Math Mimamsa sessions in IISER Pune or playing Go (Weiqi) over the weekend.
Arc-Net | Applied Research Capability Network
View-
Intern ∙ Neurosymbolic Methods For MathArc-Net | Applied Research Capability NetworkPune, Mh, In
-
Research InternIndian Institute Of Science (Iisc) Oct 2024 - PresentBengaluru, Karnataka, IndiaResearch Intern under Prof. Siddhartha Gadgil at ARC-Net (a startup at IISc Bengaluru) ∙ Working on autoformalization of mathematics in natural language to Lean using LLMs -
Undergraduate ResearcherIndian Institute Of Science Education And Research (Iiser), Pune Aug 2024 - PresentPune, Maharashtra, IndiaResearch Project under Prof. Kalpesh Kapoor ∙ Working on methods to combine Constraint Logic Programming and LLMs ∙ Studying Mathematical Logic, Formal Methods, Prolog and Inductive Logic Programming -
Semester Project StudentIndian Institute Of Science Education And Research (Iiser), Pune Aug 2024 - PresentPune, Maharashtra, IndiaSemester Project under Prof. T.S. Mahesh ∙ Studying Quantum Computation and Information, with a focus on VQAs (Variational Quantum Algorithms) for combinatorial optimization problems
-
Question-Making Coordinator (Qmc), MathematicsMimamsa Iiser Pune Aug 2024 - PresentPune, Maharashtra, India -
Sub-Coordinator, Iiser Pune Quiz Club (Ipqc)Indian Institute Of Science Education And Research (Iiser), Pune Aug 2023 - Apr 2024Pune, Maharashtra, India
-
Panini Linguistics Olympiad (Plo) CampInternational Institute Of Information Technology Hyderabad (Iiith) Feb 2021 - Mar 2021Hyderabad, Telangana, IndiaQualified for the Panini Linguistics Olympiad (PLO) Camp ∙ National Qualifier for the International Linguistics Olympiad ∙ Trained in Linguistics and Computational Thinking
Malhar Patel Education Details
Frequently Asked Questions about Malhar Patel
What company does Malhar Patel work for?
Malhar Patel works for Arc-Net | Applied Research Capability Network
What is Malhar Patel's role at the current company?
Malhar Patel's current role is Intern ∙ Neurosymbolic Methods for Math.
What schools did Malhar Patel attend?
Malhar Patel attended Indian Institute Of Science Education And Research (Iiser), Pune.
Not the Malhar Patel you were looking for?
-
-
-
-
1gmail.com
Free Chrome Extension
Find emails, phones & company data instantly
Aero Online
Your AI prospecting assistant
Select data to include:
0 records × $0.02 per record
Download 750 million emails and 100 million phone numbers
Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.
Start your free trial