TY  - RPRT
TI  - Agentic-IC3: Enabling Semantic Proof Search in IC3 Model Checking
AU  - Yu-Wei Fan
AU  - SooHyuk Cho
AU  - Aarti Gupta
AU  - Sharad Malik
PY  - 2026
UR  - https://arxiv.org/abs/2609.27162
ID  - 2609.27162
ER  -