Step Feasibility-Aware and Error-Correctable Entailment Tree Generation. - Junyue Song; Xin Wu 003; Yi Cai 001 (LREC/COLING, 2024)