ProofInfer: Generating Proof via Iterative Hierarchical Inference.

Zichu Fei, Qi Zhang, Xin Zhou, Tao Gui, Xuanjing Huang

Browse the full EMNLP paper archive.