Shiven Sinha (Preferred)
Shiven Sinha
MS student, International Institute of Information Technology, Hyderabad
Undergrad student, International Institute of Information Technology, Hyderabad
- Joined October 2023
Names
Emails
****@gmail.com (Confirmed)
, ****@research.iiit.ac.in (Confirmed)
Personal Links
Career & Education History
MS student
International Institute of Information Technology, Hyderabad (iiit.ac.in)
2025 – 2026
Undergrad student
International Institute of Information Technology, Hyderabad (iiit.ac.in)
2021 – 2025
Advisors, Relations & Conflicts
Expertise
Automated Reasoning, Theorem Proving
Present
Benchmarks and Evaluation
Present
Continual Learning
Present
Deep Learning
Present
AI for Mathematics
Present