TY  - RPRT
TI  - Towards Tackling Application Logic Flaws through Autonomous Formal-Logic Modeling and Automated Reasoning
AU  - Yiwei Fang
AU  - Yichen Liu
AU  - Ze Jin
AU  - Haoqiang Wang
AU  - Qixu Liu
AU  - Luyi Xing
PY  - 2026
UR  - https://arxiv.org/abs/2609.10537
ID  - 2609.10537
ER  -