Scholar
Jason Gross
Google Scholar ID: QouPlrMAAAAJ
Graduate, Massachusetts Institute of Technology
Artificial Intelligence
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,057
H-index
11
i10-index
12
Publications
20
Co-authors
0
Publications
5 items
Interactions Between Crosscoder Features: A Compact Proofs Perspective
2026
Cited
0
Towards a unified and verified understanding of group-operation networks
2024
Cited
0
Compact Proofs of Model Performance via Mechanistic Interpretability
arXiv.org · 2024
Cited
4
Accelerating Verified-Compiler Development with a Verified Rewriting Engine
International Conference on Interactive Theorem Proving · 2022
Cited
3
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
International Conference on Interactive Theorem Proving · 2022
Cited
3
