Weining Cao

According to our database, Weining Cao authored at least 3 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models.

Weining Cao, Guangyuan Wu, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma

CoRR, May, 2026

2025

Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference.

Weining Cao, Guangyuan Wu, Tangzhi Xu, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma

Proc. ACM Softw. Eng., 2025

2024

LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference.

Guangyuan Wu, Weining Cao, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024