Rahul Vishwakarma (Preferred)
Rahul Vishwakarma
Researcher, Depertment of Heritage Science and Technology, Indian Institute of Technology, Hyderabad, Dhirubhai Ambani Institute Of Information and Communication Technology
Joined
September 2023
Names
Emails
****@niser.ac.in (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Researcher
Depertment of Heritage Science and Technology, Indian Institute of Technology, Hyderabad, Dhirubhai Ambani Institute Of Information and Communication Technology (iith.ac.in)
2024 – Present
Undergrad student
Mathematics, National Institute of Science Education and Reasearch (niser.ac.in)
2019 – 2024
Advisors, Relations & Conflicts
Expertise
Automated Theorem Proving
Present
Neural Theorem Proving
Present
Autoformalization of Mathematics
Present
Lean Prover
Present