@article{symbollkgtowardsverifiablelogicalreasoni,
  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},
  eprint = {2608.26836},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2608.26836},
}