AeroLeads people directory · profile
Malhar Patel Email & Phone Number
Intern ∙ Neurosymbolic Methods for Math
at
ARC-Net | Applied Research Capability Network
LinkedIn matched
✓ Verified Jun 2026
3 data sources
Profile completeness 86%
Current company
Role
Intern ∙ Neurosymbolic Methods for Math
Location
Pune, Maharashtra, India
Who is Malhar Patel? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Malhar Patel is listed as Intern ∙ Neurosymbolic Methods for Math at ARC-Net | Applied Research Capability Network, based in Pune, Maharashtra, India. AeroLeads shows a matched LinkedIn profile for Malhar Patel.
Malhar Patel previously worked as Research Intern at Indian Institute Of Science (Iisc) and Undergraduate Researcher at Indian Institute Of Science Education And Research (Iiser), Pune. Malhar Patel holds Bs-Ms, Mathematics from Indian Institute Of Science Education And Research (Iiser), Pune.
Company email context
Email format at ARC-Net | Applied Research Capability Network
This section adds company-level context without repeating Malhar Patel's masked contact details.
ARC-Net | Applied Research Capability Network
Review company-level records connected to Malhar Patel before choosing the right outreach path.
Profile bio
About Malhar Patel
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.
Current workplace
Malhar Patel's current company
Company context helps verify the profile and gives searchers a useful next step.
Arc-Net | Applied Research Capability Network
AeroLeads page
7 roles
Malhar Patel work experience
A career timeline built from the work history available for this profile.
Research Intern
CurrentResearch 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
Oct 2024 - Present
Undergraduate Researcher
CurrentResearch 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
Aug 2024 - Present
Semester Project Student
CurrentSemester Project under Prof. T.S. Mahesh ∙ Studying Quantum Computation and Information, with a focus on VQAs (Variational Quantum Algorithms) for combinatorial optimization problems
Aug 2024 - Present
Question-Making Coordinator (Qmc), Mathematics
Current
Aug 2024 - Present
Sub-Coordinator, Iiser Pune Quiz Club (Ipqc)
Aug 2023 - Apr 2024
Panini Linguistics Olympiad (Plo) Camp
Qualified for the Panini Linguistics Olympiad (PLO) Camp ∙ National Qualifier for the International Linguistics Olympiad ∙ Trained in Linguistics and Computational Thinking
Feb 2021 - Mar 2021
1 education record
Malhar Patel education
FAQ
Frequently asked questions about Malhar Patel
Quick answers generated from the profile data available on this page.
What company does Malhar Patel work for?
Malhar Patel works for ARC-Net | Applied Research Capability Network.
What is Malhar Patel's role at ARC-Net | Applied Research Capability Network?
Malhar Patel is listed as Intern ∙ Neurosymbolic Methods for Math at ARC-Net | Applied Research Capability Network.
Where is Malhar Patel based?
Malhar Patel is based in Pune, Maharashtra, India while working with ARC-Net | Applied Research Capability Network.
What companies has Malhar Patel worked for?
Malhar Patel has worked for Arc-Net | Applied Research Capability Network, Indian Institute Of Science (Iisc), Indian Institute Of Science Education And Research (Iiser), Pune, Mimamsa Iiser Pune, and International Institute Of Information Technology Hyderabad (Iiith).
How can I contact Malhar Patel?
You can use AeroLeads to view verified contact signals for Malhar Patel at ARC-Net | Applied Research Capability Network, including work email, phone, and LinkedIn data when available.
What schools did Malhar Patel attend?
Malhar Patel holds Bs-Ms, Mathematics from Indian Institute Of Science Education And Research (Iiser), Pune.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Malhar Patel you were looking for.
View similar profiles
