A-IC3 uses multi-armed bandits to adaptively pick inductive generalization strategies in IC3, solving 26-50 more HWMCC cases than baselines with improved PAR-2 scores.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
A-IC3 uses multi-armed bandits to adaptively pick inductive generalization strategies in IC3, solving 26-50 more HWMCC cases than baselines with improved PAR-2 scores.