Publications

Manthan: A Data-Driven Approach for Boolean Function Synthesis. 32nd International Conference on Computer-Aided Verification, CAV, 2020.

PDF Slides Video

A Data-Driven Approach for Skolem Function Synthesis. LiVe 2020: 4th Workshop on Learning in Verification, ETPAS, 2020.

PDF