Wang, Hongshu

1. PAT-Agent: Autoformalization for Model Checking
   2025/09/28 by Zuo, Xinyue, Zhang, Yifan, Wang, Hongshu +4 · 3 citations
   #FOS: Computer and information sciences #Software Engineering (cs.SE)