TY  - RPRT
TI  - QMFOL: Benchmarking Large Language Model Reasoning via Quantifiable Monadic First-Order Logic Test Case Generation
AU  - Xinyi Zheng
AU  - Ling Shi
AU  - Tianlong Yu
AU  - Yongxin Zhao
AU  - Lorenz Goette
AU  - Kailong Wang
PY  - 2026
UR  - https://arxiv.org/abs/2606.20227
ID  - 2606.20227
ER  -