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