TY  - RPRT
TI  - A2RBench: An Automatic Paradigm for Formally Verifiable Abstract Reasoning Benchmark Generation
AU  - Qingchuan Ma
AU  - Yuexiao Ma
AU  - Yongkang Xie
AU  - Tianyu Xie
AU  - Xiawu Zheng
AU  - Rongrong Ji
PY  - 2026
UR  - https://arxiv.org/abs/2605.17278
ID  - 2605.17278
ER  -