@article{a2rbenchanautomaticparadigmforformallyve,
  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},
  eprint = {2605.17278},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2605.17278},
}