Correct Answers from Sound Reasoning: Verifiable Process Supervision for Language Models | Hackobar