Tests the language model's capability to understand induction by asking the model to verify the correctness of an induction argument.
Source: BIG-bench