@misc{indiciae9bcef30ab039,
  title = {SymbolLKG: Towards Verifiable Logical Reasoning via Logical Knowledge Graph and Symbolic Solvers},
  author = {Haizhao Fan and Yuchi Xiong and Jize Wang and Xinping Guan and Xinyi Le},
  year = {2026},
  url = {https://arxiv.org/abs/2608.26836},
  note = {Source identifier: 2608.26836}
}