Hanhao Qu

According to our database, Hanhao Qu authored at least 2 papers in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Interpretable Proof Generation via Iterative Backward Reasoning.

Hanhao Qu, Yu Cao, Jun Gao, Liang Ding, Ruifeng Xu

CoRR, 2022

Interpretable Proof Generation via Iterative Backward Reasoning.

Hanhao Qu, Yu Cao, Jun Gao, Liang Ding, Ruifeng Xu

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2022