Interpretable Proof Generation via Iterative Backward Reasoning

LRM
Re-assign community