Towards Trustworthy LLM-Based Assertion Generation: A Data Augmentation Framework with Formal Check Approach.

Qingchen Zhai, Hao Yu, Chen Bai, Charles Young, Frank Qu, Dezhi Ran, Yuan Xie, Tao Xie

Browse the full DATE paper archive.