Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning
João Pedro Gandarela, Thiago Rios, Stefan Menzel +1
Large Language Models (LLMs) display reasoning capabilities over linguistic and symbolic objects but have limited capabilities to directly interpret the continuous numerical output…
cs.AI2025
elsciRL: Integrating Language Solutions into Reinforcement Learning Problem Settings
Philip Osborne, Danilo S. Carvalho, André Freitas
We present elsciRL, an open-source Python library to facilitate the application of language solutions on reinforcement learning problems. We demonstrate the potential of our softwa…
cs.AI2025
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
Xin Quan, Marco Valentino, Danilo S. Carvalho +2
A persistent challenge in AI is the effective integration of material and formal inference - the former concerning the plausibility and contextual relevance of arguments, while the…