Mathematical Induction

Tests the language model's capability to understand induction by asking the model to verify the correctness of an induction argument.

Source: BIG-bench