Word-Level Augmentation of Formal Proof by Learning from Simulation Traces.

Zhiyuan Yan, Hongce Zhang

Browse the full ICCAD paper archive.