https://github.com/sion-zcfei/ProofInfer
GitHub - sion-zcfei/ProofInfer: The codes for EMNLP2022 Paper: ProofInfer: Generating Proof via...
The codes for EMNLP2022 Paper: ProofInfer: Generating Proof via Iterative Hierarchical Inference - sion-zcfei/ProofInfer
the codes