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