Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning.

Jaeseong Lee, Sopam Dasgupta, Gopal Gupta, Shiyi Wei

Browse the full PADL paper archive.