Recoverable Identifier
advisory
doi_compliance
recoverable_identifier
DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1109/TPAMI.2002.1046157.Zhang) was visible in the surrounding text but could not be confirmed against doi.org as printed.
Paper page Integrity report arXiv Try DOI
Evidence text
URL https://openreview.net/forum? id=Z2El1U94bq. Kristianto, G. Y ., Topic, G., and Aizawa, A. Mcat math retrieval system for ntcir-12 mathir task. InNTCIR, 2016. 9 Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees Li, C., Ma, W., Wang, Z., and Wen, Z. Sita: A framework for structure-to-instance theorem autoformalization, 2025. URLhttps://arxiv.org/abs/2511.10356. Lin, Y ., Tang, S., Lyu, B., Yang, Z., Chung, J.-H., Zhao, H., Jiang, L., Geng, Y ., Ge, J., Sun, J., Wu, J., Gesi, J., Lu, X., Acuna, D., Yang, K., Lin, H., Choi, Y ., Chen, D., Arora, S., and Jin, C. Goedel-prover-v2: Scaling formal theorem proving with scaffolded data synthesis and self- correction, 2025. URL https://arxiv.org/abs/ 2508.03613. Liu, X., Bao, K., Zhang, J., Liu, Y ., Chen, Y ., Liu, Y ., Jiao, Y ., and Luo, T. ATLAS: Autoformalizing theo- rems through lifting, augmentation, and synthesis of data. InThe Thirty-ninth Annual Conference on Neural In- formation Processing Systems, 2025a. URL https: //openreview.net/forum?id=MlJyAvQaxp. Liu, X., Zhu, T., Dong, Z., Liu, Y ., Guo, Q., Liu, Z., Chen, Y ., and Luo, T. Assess: A semantic and structural eval- uation framework for statement similarity, 2025b. URL https://arxiv.org/abs/2509.22246. Liu, Y ., Zhu, T., Liu, X., Chen, Y ., ZhaoXuan, L., qingfeng, G., Zhang, J., Bao, K., and Luo, T. Generalized tree edit distance (GTED): A faithful evaluation metric for state- ment autoformalization. In2nd AI for Ma
Evidence payload
{
"printed_excerpt": "URL https://openreview.net/forum? id=Z2El1U94bq. Kristianto, G. Y ., Topic, G., and Aizawa, A. Mcat math retrieval system for ntcir-12 mathir task. InNTCIR, 2016. 9 Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformal",
"reconstructed_doi": "10.1109/TPAMI.2002.1046157.Zhang",
"ref_index": 2,
"resolved_title": null,
"verdict_class": "incontrovertible"
}