Rahul V.

Rahul V. Email and Phone Number

Msc Thesis @ National Institute of Science Education and Research
Bhubaneswar, OD, IN
Rahul V.'s Location
Bhubaneshwar, Odisha, India, India
About Rahul V.

Hello, and welcome to my LinkedIn profile!I am currently a Junior Research Fellow (JRF) at IIT Hyderabad.I graduated from the National Institute of Science Education and Research (NISER), Bhubaneswar, Odisha, with an Integrated M.Sc. degree. My academic journey focused on a major in Mathematics and a minor in Computer Science.Currently, I am deeply interested in Neural Theorem Proving. My research involves integrating Large Language Models (LLMs) with the Lean interactive theorem prover to automate proof generation.

Rahul V.'s Current Company Details
National Institute of Science Education and Research

National Institute Of Science Education And Research

View
Msc Thesis
Bhubaneswar, OD, IN
Rahul V. Work Experience Details
  • National Institute Of Science Education And Research
    Msc Thesis
    National Institute Of Science Education And Research
    Bhubaneswar, Od, In
    View
  • National Institute Of Science Education And Research
    Msc Thesis
    National Institute Of Science Education And Research Jun 2023 - Present
    Bhubaneswar, Odisha, India
    Working on Neural Theorem Proving where we integrate Large Language Model (LLM) with Lean Interactive Theorem Prover to automate the proof generation of theorems.
    View
  • Indian Institute Of Science (Iisc)
    Summer Intern
    Indian Institute Of Science (Iisc) Jun 2022 - Jul 2022
    Banglore
    In this summer project, I worked on using Machine Learning for premise selection in Lean (a programming language for automated theorem proving).
    View
  • National Institute Of Science Education And Research
    Research Intern
    National Institute Of Science Education And Research Dec 2019 - Feb 2020
    Bhubaneshwar, Orissa, India
    Worked on a Data Analysis project (Using Python and Pandas, Geopanda, Matplotlibmodules) in my winter internship (Dec. 2019) named ‘Odisha Village’ with the sample data being the Census data of Odisha (India) to find the correlation between different social factors.
    View

Rahul V. Education Details

Frequently Asked Questions about Rahul V.

What company does Rahul V. work for?

Rahul V. works for National Institute Of Science Education And Research

What is Rahul V.'s role at the current company?

Rahul V.'s current role is Msc Thesis.

What schools did Rahul V. attend?

Rahul V. attended National Institute Of Science Education And Research, Sainik School Nagrota.

Not the Rahul V. you were looking for?

  • Rahul V

    Rahul V
    Talent Acquisition | Recruitment | Tvs Emerald|
    Chennai
  • Rahul Durgam

    Rahul Durgam
    Strategic Finance At Essar | Iim Calcutta | Iit Madras | Frm®
    Hyderabad
  • Rahul V.

    Rahul V.
    Market Research & Data Storytelling | Founder @ Research Mind
    New Delhi
  • Rahul V

    Rahul V
    Talent Acquisition Specialist @ Primoris Systems Llc | End To End Recruitments
    Hyderabad
  • RAHUL V

    RAHUL V
    Senior Executive Hr Services
    Thiruvananthapuram Taluk
View similar profiles

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.