Get started
Author

Aarti Gupta

Observed name: Gupta, Aarti
Observed institution: Princeton University
OpenAlex ID: A5152639981
Agentic-IC3: Enabling Semantic Proof Search in IC3 Model Checking
2026 · Fan, Yu-Wei, Cho, SooHyuk, et al. · arXiv (Cornell University)
PDF
Works count: 1
Citation count:
H-index:
I10-index:
Year
Topic
Type