Scholar
Chengxi Yang
Google Scholar ID: KJhzPukAAAAJ
SenseTime Research
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
866
H-index
7
i10-index
5
Publications
12
Co-authors
0
Publications
4 items
Fixing the Fixpoint: A Formal Theory of Convergence Detection for Incremental Recursive Computation
2026
Cited
0
Automating High Energy Physics Data Analysis with LLM-Powered Agents
2025
Cited
0
NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool
2025
Cited
0
A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms
2025
Cited
0
