@misc{indiciaeb0257d561e2f,
  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},
  url = {https://arxiv.org/abs/2306.10083},
  note = {Source identifier: 2306.10083}
}