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
Contact
No contact links provided.
Publications
1 items
Faults in Our Formal Benchmarking: Dataset Defects and Evaluation Failures in Lean Theorem Proving
2026
Cited
0
Resume (English only)
Co-authors
10 total
Tobias Grosser
University of Cambridge
Co-author 2
Co-author 3
Co-author 4
Gabriel Ebner
Microsoft Research
Sakina Fatima
Fujitsu Research
Shuvendu Lahiri
Senior Principal Researcher, Microsoft Research
Nikhil Swamy
Microsoft Research
