ProofInfer: Generating Proof via Iterative Hierarchical Inference

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

Paper Details:

Month: December
Year: 2022
Location: Abu Dhabi, United Arab Emirates
Venue: EMNLP |