Weining Cao

According to our database, Weining Cao authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

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