@misc{indiciae547ffa508f59, title = {On the logical skills of large language models: evaluations using arbitrarily complex first-order logic problems}, author = {Shokhrukh Ibragimov and Arnulf Jentzen and Benno Kuckuck}, year = {2025}, url = {https://arxiv.org/abs/2502.14180}, note = {Source identifier: 2502.14180} }