Leiqi Ye, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen. Massively Parallel Mining of Specifications for Hardware Designs. 38th International Conference on Computer Aided Verification (CAV), July 2026.

Leiqi Ye, Yixuan Li, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen. Unlocking Hardware Verification with Oracle Guided Synthesis. The 25th Conference on Formal Methods in Computer-Aided Design (FMCAD), October 2025. PDF Repo

Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, and Sanjit A. Seshia. Modelling and Verification of Security-Oriented Resource Partitioning Schemes. The 23rd Conference on Formal Methods in Computer-Aided Design (FMCAD), October 2023. PDF Repo