Scholar
Aarti Gupta
Google Scholar ID: S_jYB2sAAAAJ
Princeton University
Formal methods
system/software verification
program analysis
SAT/SMT solvers
design automation
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
11,817
H-index
54
i10-index
213
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
5 items
Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases
2026
Cited
0
CB-VER: A Stable Foundation for Modular Control Plane Verification
2026
Cited
0
Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
2026
Cited
0
AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
2026
Cited
0
SecIC3: Customizing IC3 for Hardware Security Verification
2026
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
