Author

Haibo Chen

Observed name: Chen, Haibo

Institutions: Shanghai Jiao Tong University, Nanjing University of Science and Technology

Observed institutions: Shanghai Jiao Tong University, Nanjing University of Science and Technology

OpenAlex ID: A5153436316

FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning

2026 · Ding, Haoran, Wang, Zhaoguo, et al. · arXiv (Cornell University) · 11

VUDA: Enabling Controlled Spatial Sharing of Graphics and Compute on NVIDIA GPUs

2026 · Xu, Bin, Hu, Pengfei, et al. · arXiv (Cornell University) · 1

C-HAT-Bench: Benchmarking Chinese AI-Text Detection Beyond Fully Generated Text

2026 · Yang, Qing, Luo, Zixiang, et al. · arXiv (Cornell University)

Classification of $U(\mathfrak h)$-Free Modules over the Heisenberg-Virasoro type Lie superalgebra via Polynomial Shift Operators

2026 · Kong, Yan, Chen, Haibo, et al. · arXiv (Cornell University)

Works count: 4

Citation count: 12

H-index: 1

I10-index: 1