@misc{indiciaeb5e5627113ea,
  title = {FormalRx: Rectify and eXamine Semantic Failures in Autoformalization},
  author = {Haocheng Wang and Baiyu Huang and Yingjia Wan and Xiao Zhu and Xiaoyang Liu and Yinya Huang and Zhijiang Guo},
  year = {2026},
  url = {https://arxiv.org/abs/2607.04655},
  note = {Source identifier: 2607.04655}
}