ProofInfer: Generating Proof via Iterative Hierarchical InferenceDownload PDFOpen Website

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

Published: 01 Jan 2022, Last Modified: 27 Jun 2023EMNLP 2022Readers: Everyone
0 Replies