A²RBench: An Automatic Paradigm for Formally Verifiable Abstract Reasoning Benchmark Generation
Abstract reasoning ability reflects the intelligence and generalization capacity of LLMs to extract and apply abstract rules. However, accurately measuring this ability remains challenging: existing benchmarks either rely on expensive manual annotation, limiting their scale, or risk measuring memori…