Verifying language model reasoning from the inside out | Robius Pulse