35 citations · 59 across the 13 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.CL2025
Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
Lei Xu, Pierre Beckmann, Marco Valentino +1
Neuro-symbolic NLP methods aim to leverage the complementary strengths of large language models and formal logical solvers. However, current approaches are mostly static in nature,…
cs.CL2025
Mechanistic Indicators of Understanding in Large Language Models
Pierre Beckmann, Matthieu Queloz
Large language models (LLMs) are often portrayed as merely imitating linguistic patterns without genuine understanding. We argue that recent findings in mechanistic interpretabilit…