Malhar Patel

Malhar Patel Email and Phone Number

Intern ∙ Neurosymbolic Methods for Math @ ARC-Net | Applied Research Capability Network
Pune, MH, IN
Malhar Patel's Location
Pune, Maharashtra, India, India
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.

Malhar Patel's Current Company Details
ARC-Net | Applied Research Capability Network

Arc-Net | Applied Research Capability Network

View
Intern ∙ Neurosymbolic Methods for Math
Pune, MH, IN
Malhar Patel Work Experience Details
  • Arc-Net | Applied Research Capability Network
    Intern ∙ Neurosymbolic Methods For Math
    Arc-Net | Applied Research Capability Network
    Pune, Mh, In
  • Indian Institute Of Science (Iisc)
    Research Intern
    Indian Institute Of Science (Iisc) Oct 2024 - Present
    Bengaluru, Karnataka, India
    Research 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
  • Indian Institute Of Science Education And Research (Iiser), Pune
    Undergraduate Researcher
    Indian Institute Of Science Education And Research (Iiser), Pune Aug 2024 - Present
    Pune, Maharashtra, India
    Research 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
  • Indian Institute Of Science Education And Research (Iiser), Pune
    Semester Project Student
    Indian Institute Of Science Education And Research (Iiser), Pune Aug 2024 - Present
    Pune, Maharashtra, India
    Semester Project under Prof. T.S. Mahesh ∙ Studying Quantum Computation and Information, with a focus on VQAs (Variational Quantum Algorithms) for combinatorial optimization problems
  • Mimamsa Iiser Pune
    Question-Making Coordinator (Qmc), Mathematics
    Mimamsa Iiser Pune Aug 2024 - Present
    Pune, Maharashtra, India
  • Indian Institute Of Science Education And Research (Iiser), Pune
    Sub-Coordinator, Iiser Pune Quiz Club (Ipqc)
    Indian Institute Of Science Education And Research (Iiser), Pune Aug 2023 - Apr 2024
    Pune, Maharashtra, India
  • International Institute Of Information Technology Hyderabad (Iiith)
    Panini Linguistics Olympiad (Plo) Camp
    International Institute Of Information Technology Hyderabad (Iiith) Feb 2021 - Mar 2021
    Hyderabad, Telangana, India
    Qualified 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?

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

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.