“In a goal-based loop, an evaluator model checks if the success condition is met and sends the primary model back to work if it is not.”