2 papers
cs.AI2025
Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning
Alexander Beiser, David Penz, Nysret Musliu
Large language models (LLMs) achieve astonishing results on a wide range of tasks. However, their formal reasoning ability still lags behind. A promising approach is Neurosymbolic…
cs.AI2025
Intermediate Languages Matter: Formal Choice Drives Neurosymbolic LLM Reasoning
Alexander Beiser, David Penz, Nysret Musliu
Large language models (LLMs) achieve astonishing results on a wide range of tasks. However, their formal reasoning ability still lags behind. A promising approach is Neurosymbolic…