Scholar
Neel Somani
Google Scholar ID: wvvgDUoAAAAJ
University of California, Berkeley
Computer Security
Optimization
Distributed Computing
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
180
H-index
3
i10-index
3
Publications
5
Co-authors
8
list available
Publications
2 items
PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs
2026
Cited
0
Towards Verifiable Transformers: Solver-Checkable Circuit Explanations
2026
Cited
0
Co-authors
6 total
Dawn Song
Professor of Computer Science, UC Berkeley
Joseph P. Near
University of Vermont
Lun Wang
Google Deepmind
Peng Gao
Assistant Professor, Department of Computer Science, Virginia Tech
David Darais
Galois, Inc.
Mu Zhang
Assistant Professor, Kahlert School of Computing, University of Utah
