We empirically verify the consistency between the predicted answer and the generated proof by showing that the full accuracy matches the proof accuracy.
in scenarios where questions have open-ended answers, generating answer from a 'proof' in a consistent manner needs more exploration.