4 papers · 1 filter
World Modeling in Transformers
Pierre Beckmann, Matthieu Queloz, Andre Freitas
Behavioral failures can make a transformer appear to lack a world model even when it has learned faithful representations of its environment. We demonstrate this in TaxiGPT, a tran…
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…
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…
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…