TY  - RPRT
TI  - Interpretable Proof Generation via Iterative Backward Reasoning
AU  - Hanhao Qu
AU  - Yu Cao
AU  - Jun Gao
AU  - Liang Ding
AU  - Ruifeng Xu
PY  - 2022
UR  - https://arxiv.org/abs/2205.10714
ID  - 2205.10714
ER  -