Get started
Author

Yuhao Zhang

Observed name: Zhang, Yuhao
Observed institution: Amazon (United States)
OpenAlex ID: A5152382316
SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs?
2026 · Ma, George, Mikek, Benjamin, et al. · arXiv (Cornell University)
PDF
Works count: 1
Citation count:
H-index:
I10-index:
Year
Topic
Type