@inproceedings{wang-etal-2026-rv, title = "{RV}-Syn: Rational and Verifiable Mathematical Reasoning Data Synthesis based on Structured Function Library", author = "Wang, Jiapeng and Jiang, Jinhao and Zhang, Zhiqiang and Zhou, Jun and Zhao, Xin", editor = "Demberg, Vera and Inui, Kentaro and Marquez, Llu{\'i}s", booktitle = "Findings of the {A}ssociation for {C}omputational {L}inguistics: {EACL} 2026", month = mar, year = "2026", address = "Rabat, Morocco", publisher = "Association for Computational Linguistics", url = "https://preview.aclanthology.org/ingest-eacl/2026.findings-eacl.93/", pages = "1812--1827", ISBN = "979-8-89176-386-9" }