TY  - RPRT
TI  - ForEx: A Formal Verification Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation
AU  - Pei-Cing Huang
AU  - Chienyu Liu
AU  - Chan Hsu
AU  - Ci-Siang Chen
AU  - Pei-Ju Lee
AU  - Yihuang Kang
PY  - 2026
UR  - https://arxiv.org/abs/2606.21867
ID  - 2606.21867
ER  -