Interpretable Proof Generation via Iterative Backward Reasoning
21193Related Entities
Child Node Prediction
Method
Iterative Backward Reasoning
Method
Paraphrased Datasets
Material
Parent Node Prediction
Method
Proof Generation
Task
Proof Strategy Prediction
Method
Question Answering
Task
Synthetic Datasets
Material