@misc{indiciae7db08c258182,
  title = {A2RBench: An Automatic Paradigm for Formally Verifiable Abstract Reasoning Benchmark Generation},
  author = {Qingchuan Ma and Yuexiao Ma and Yongkang Xie and Tianyu Xie and Xiawu Zheng and Rongrong Ji},
  year = {2026},
  url = {https://arxiv.org/abs/2605.17278},
  note = {Source identifier: 2605.17278}
}