Author

Haibo Jin

Observed name: Jin, Haibo

Institution: University of Illinois Urbana-Champaign

Observed institution: University of Illinois Urbana-Champaign

OpenAlex ID: A5157983600

Can the Library Speak? Self-Advertised Method Selection for Formal Proving

2026 · Yuan, Xiaopeng, Wang, Suijin, et al. · arXiv (Cornell University)

Harness Engineering for Software Engineering via Modular Executable Dev-Primitives

2026 · Jin, Haibo, Li, Xinjie, et al. · arXiv (Cornell University)

Large-scale Repository Engineering via Agent-Native Reusable Code Primitives

2026 · Jin, Haibo, Kuang, Peng, et al. · arXiv (Cornell University)

Works count: 3

Citation count:

H-index:

I10-index: