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
Publications
8 items
Verification of Compiler-to-Accelerator Mappings for Machine Learning Accelerators
2026
Cited
0
Agentic-IC3: Enabling Semantic Proof Search in IC3 Model Checking
2026
Cited
0
The Frontier LLM Trap in Network Automation
2026
Cited
0
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
