rIC3

Researchers have developed a machine-learning framework that uses a multi-armed bandit algorithm to dynamically select inductive generalization strategies for the IC3 hardware model checker, solving 2…