Search for a command to run...
Making Large Language Models Better Reasoners with Step-Aware Verifier