An iterative process where agents generate proof attempts and specialized verifiers check correctness, with feedback used to guide subsequent attempts.