TY - RPRT TI - Robustness of Neurosymbolic Reasoners on First-Order Logic Problems AU - Hannah Bansal AU - Kemal Kurniawan AU - Lea Frermann PY - 2025 UR - https://arxiv.org/abs/2509.17377 ID - 2509.17377 ER -