An automated verification method that determines whether an agent's solution is correct by checking against ground truth or predefined correctness criteria.