@misc{indiciae7ee4b855ab4a,
  title = {Agentic-IC3: Enabling Semantic Proof Search in IC3 Model Checking},
  author = {Yu-Wei Fan and SooHyuk Cho and Aarti Gupta and Sharad Malik},
  year = {2026},
  url = {https://arxiv.org/abs/2609.27162},
  note = {Source identifier: 2609.27162}
}