@conference{HeHuaSacJin26,
  title = {Uncovering Hidden Correctness in {LLM} Causal Reasoning via Symbolic Verification},
  booktitle = {Proceedings of the 19th Conference of the {E}uropean Chapter of the {A}ssociation for {C}omputational {L}inguistics (Volume 1: Long Papers)},
  pages = {1231--1250},
  editors = {Demberg, Vera and Inui, Kentaro and Marquez, Llu{\'i}s},
  publisher = {Association for Computational Linguistics},
  month = mar,
  year = {2026},
  author = {He, P. and Huang, Y. and Sachan, M. and Jin, Z.},
  doi = {10.18653/v1/2026.eacl-long.56},
  url = {https://aclanthology.org/2026.eacl-long.56/},
  month_numeric = {3}
}