Author

Hang He

Observed name: He, Hang

Institutions: Peking University, Shanghai Innovation Institute

Observed institutions: Peking University, Shanghai Innovation Institute

OpenAlex ID: A5157942244

CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?

2026 · He, Hang, Wang, Li, et al. · arXiv (Cornell University) · 2

Works count: 1

Citation count: 2

H-index: 1

I10-index: