Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems. - Yuhao Zhou 006; Stavros Tripakis 001 (NFM, 2024)

Towards Language Model Guided TLA+ Proof Automation. - Yuhao Zhou 006; Stavros Tripakis 001 (CoRR, 2025)

Towards Language Model Guided TLA+ Proof Automation. - Yuhao Zhou 006; Stavros Tripakis 001 (FM (1), 2026)

Can LLMs Perform Synthesis? - Derek Egolf; Yuhao Zhou 006; Stavros Tripakis 001 (CoRR, 2026)