Showing cs.AIShow all
2 papers · 1 filter
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…