Search for a command to run...
DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving