Scholar
Ruize Tang
Google Scholar ID: OxT8IT0AAAAJ
Ph.D. student, Nanjing University
concurrent systems
distributed systems
model checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
19
H-index
2
i10-index
1
Publications
6
Co-authors
9
list available
Publications
3 items
Argus: A General-Purpose Agentic Runtime for Long-Horizon Reasoning
2026
Cited
0
Specula: Scaling formal specifications for autonomous model checking of system code
2026
Cited
0
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
2025
Cited
0
Co-authors
6 total
Yu Huang
Nanjing University
Xiaoxing Ma
Professor of Computer Science and Technology, Nanjing University
Tianyin Xu
University of Illinois at Urbana-Champaign
Madhav Jivrajani
University of Illinois Urbana-Champaign
Hengfeng Wei
Hunan University
Minghua Wang
Ant Group
