TY  - RPRT
TI  - Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM Reasoning
AU  - Alexander Beiser
AU  - David Penz
AU  - Nysret Musliu
PY  - 2025
UR  - https://arxiv.org/abs/2502.17216
ID  - 2502.17216
ER  -