tool-augmented verification

tool-augmented verification is a auto in our research taxonomy.