1
ForEx: A Formal Verification Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation
给AI装“逻辑拆弹器”：用形式化验证揪出论证中的谬误，可解释性拉满。
arXiv:2606.21867v1 Announce Type: new Abstract: Current evaluations of Large Language Models (LLMs) on logical fallacy detection focus on predicted la…