@article{automaticdeductionpathlearningvia,
  title = {Automatic Deduction Path Learning via Reinforcement Learning with Environmental Correction},
  author = {Shuai Xiao and Chen Pan and Min Wang and Xinxin Zhu and Siqiao Xue and Jing Wang and Yunhua Hu and James Zhang and Jinghua Feng},
  year = {2023},
  eprint = {2306.10083},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2306.10083v1},
}