TY  - RPRT
TI  - IFDNS: An Iterative Feedback-Driven Neuro-Symbolic Method for Faithful Logical Reasoning
AU  - Xiaoheng Wang
AU  - Tongxuan Liu
AU  - Zi Gong
AU  - Xianzhe Dong
AU  - Yuting Zeng
AU  - Minhan Hu
AU  - Weizhe Huang
AU  - Jing Li
PY  - 2026
UR  - https://arxiv.org/abs/2601.07464
ID  - 2601.07464
ER  -