Author

Xiao Zhu

h-index 2 View on Semantic Scholar

We have 1 of 5 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Jul 2026

FormalRx: Rectify and eXamine Semantic Failures in Autoformalization

FormalRx is introduced, a comprehensive diagnostic evaluation framework that transforms autoformalization assessment from black-box judgments into actionable feedback, and enables systematic diagnosis and improvement of autoformalization systems.

Haocheng Wang, Baiyu Huang, Yingjia Wan et al. · arXiv.org · 1 citation