Shiven Sinha (Preferred)
Shiven Sinha
MS 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
Publications
Co-Authors
- Aftab M. Hussain
- Akshit Gureja
- Ameya Prabhu
- Anmol Agarwal
- Harikumar Kandath
- Hitkul Jangra
- Jonas Geiping
- Karthik Vaidhyanathan
- Kiran Garimella
- Matthias Bethge
- Nagesh Walchatwar
- Ozan Sener
- Philip Torr
- Ponnurangam Kumaraguru
- Prabhakar Bhimalapuram
- Pratyush Priyadarshi
- Puneet K. Dokania
- Rishabh Agrawal
- Sachin Chaudhari
- Savitha Viswanadh Kandala
- Shashwat Goel
- Shrey Gupta
- Siddharth Bhat
- Venkatesh Choppella