Jason Gross
Scholar

Jason Gross

Google Scholar ID: QouPlrMAAAAJ
Graduate, Massachusetts Institute of Technology
Artificial IntelligenceFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,057
 
H-index
11
 
i10-index
12
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
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
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)