Get started
Author

Xiaoxue Han

Observed name: Han, Xiaoxue
Observed institution: Amazon (United States)
OpenAlex ID: A5153475375
Beyond Solver Verdicts: Generative Reward Models for Autoformalization
2026 · Singh, Vikash, Ganguly, Debargha, et al. · arXiv (Cornell University)
PDF
Works count: 1
Citation count:
H-index:
I10-index:
Year
Topic
Type