Scholar
Siddharth Bhat
Google Scholar ID: 7Irb-OUAAAAJ
University of Cambridge
Compilers
Functional Programming
Formal Verification
Interactive Theorem Proving
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
85
H-index
5
i10-index
4
Publications
11
Co-authors
10
list available
Publications
1 items
Faults in Our Formal Benchmarking: Dataset Defects and Evaluation Failures in Lean Theorem Proving
2026
Cited
0
Co-authors
6 total
Tobias Grosser
University of Cambridge
Gabriel Ebner
Microsoft Research
Sakina Fatima
Fujitsu Research
Shuvendu Lahiri
Senior Principal Researcher, Microsoft Research
Nikhil Swamy
Microsoft Research
Sarah Fakhoury
Senior Researcher, Microsoft Research
