@misc{indiciae1ba1675716ea, title = {ForEx: A Formal Verification Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation}, author = {Pei-Cing Huang and Chienyu Liu and Chan Hsu and Ci-Siang Chen and Pei-Ju Lee and Yihuang Kang}, year = {2026}, url = {https://arxiv.org/abs/2606.21867}, note = {Source identifier: 2606.21867} }