@inproceedings{symcode,
 author = {Sina Bagheri Nezhad and
Yao Li and
Ameeta Agrawal},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/eacl/NezhadLA26.bib},
 booktitle = {Findings of the Association for Computational Linguistics: EACL
2026, Rabat, Morocco, March 24-29, 2026},
 editor = {Vera Demberg and
Kentaro Inui and
Lluís Marquez},
 pages = {1489--1503},
 publisher = {Association for Computational Linguistics},
 series = {Findings of ACL},
 timestamp = {Tue, 07 Apr 2026 23:38:39 +0200},
 title = {SymCode: A Neurosymbolic Approach to Mathematical Reasoning via
Verifiable Code Generation},
 year = {2026}
}