Scholar
Yiming Su
Google Scholar ID: zgeHxOgAAAAJ
PhD Student, University of Illinois Urbana-Champaign
Systems Research
Software Engineering
Machine Learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
43
H-index
2
i10-index
1
Publications
4
Co-authors
0
Publications
5 items
Specula: Scaling formal specifications for autonomous model checking of system code
2026
Cited
0
SREGym: A Live Benchmark for AI SRE Agents with High-Fidelity Failure Scenarios
2026
Cited
0
Neuro-Symbolic Verification on Instruction Following of LLMs
2026
Cited
0
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
2025
Cited
0
STRATUS: A Multi-agent System for Autonomous Reliability Engineering of Modern Clouds
2025
Cited
0
