Reinventing IC3: Machine Learning Takes the Wheel
A new machine-learning framework using a multi-armed bandit algorithm dynamically selects inductive generalization strategies for the IC3 hardware model checker, solving 26 to 50 more cases than traditional approaches an…