Hanhao Qu

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Forward Backward

Iterative Process

Top Venues

Publications

Hanhao Qu, Yu Cao, Jun Gao, Liang Ding, Ruifeng Xu
Interpretable Proof Generation via Iterative Backward Reasoning. CoRR (2022)
Hanhao Qu, Yu Cao, Jun Gao, Liang Ding, Ruifeng Xu
Interpretable Proof Generation via Iterative Backward Reasoning. NAACL-HLT (2022)