TY  - RPRT
TI  - SymbolLKG: Towards Verifiable Logical Reasoning via Logical Knowledge Graph and Symbolic Solvers
AU  - Haizhao Fan
AU  - Yuchi Xiong
AU  - Jize Wang
AU  - Xinping Guan
AU  - Xinyi Le
PY  - 2026
UR  - https://arxiv.org/abs/2608.26836
ID  - 2608.26836
ER  -