TY - RPRT TI - Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning AU - Alexander Beiser AU - David Penz AU - Nysret Musliu PY - 2025 UR - https://arxiv.org/abs/2509.04083 ID - 2509.04083 ER -