Shiven Sinha

MS student, International Institute of Information Technology, Hyderabad

Undergrad student, International Institute of Information Technology, Hyderabad

  • Joined October 2023

Names

Shiven Sinha (Preferred)

Emails

****@gmail.com (Confirmed)
,
****@research.iiit.ac.in (Confirmed)

Career & Education History

MS student
International Institute of Information Technology, Hyderabad (iiit.ac.in)
20252026
 
Undergrad student
International Institute of Information Technology, Hyderabad (iiit.ac.in)
20212025
 

Advisors, Relations & Conflicts

Coauthor
2025Present
 
Coauthor
2024Present
 
Coauthor
2023Present
 
Coauthor
2023Present
 

Expertise

Automated Reasoning, Theorem Proving
Present
 
Benchmarks and Evaluation
Present
 
Continual Learning
Present
 
Deep Learning
Present
 
AI for Mathematics
Present