Author

Haoyu Li

Observed name: Li, Haoyu

Institution: University of Illinois Urbana-Champaign

Observed institution: University of Illinois Urbana-Champaign

OpenAlex ID: A5152330881

SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs?

2026 · Ma, George, Mikek, Benjamin, et al. · arXiv (Cornell University)

Works count: 1

Citation count:

H-index:

I10-index: