29 citations · 53 across the 26 of their papers we have counts for
9 papers · 1 filter
End-to-end PDDL Planning with Hardcoded and Dynamic Agents
Emanuele La Malfa, Ping Zhu, Samuele Marro +2
We present an end-to-end framework for planning supported by verifiers. An orchestrator receives a human specification written in natural language and converts it into a PDDL (Plan…
Fetch.ai: An Architecture for Modern Multi-Agent Systems
Michael J. Wooldridge, Attila Bagoly, Jonathan J. Ward +2
Recent surges in LLM-driven intelligent systems largely overlook decades of foundational multi-agent systems (MAS) research, resulting in frameworks with critical limitations such…
Large Language Models Miss the Multi-Agent Mark
Emanuele La Malfa, Gabriele La Malfa, Samuele Marro +5
Recent interest in Multi-Agent Systems of Large Language Models (MAS LLMs) has led to an increase in frameworks leveraging multiple LLMs to tackle complex tasks. However, much of t…
Fixed Point Explainability
Emanuele La Malfa, Jon Vadillo, Marco Molinari +1
This paper introduces a formal notion of fixed point explanations, inspired by the "why regress" principle, to assess, through recursive applications, the stability of the interpla…
Language Models Are Implicitly Continuous
Samuele Marro, Davide Evangelista, X. Angelo Huang +3
Language is typically modelled with discrete sequences. However, the most successful approaches to language modelling, namely neural networks, are continuous and smooth function ap…
Out-of-Context Reasoning in Large Language Models
Jonathan Shaki, Emanuele La Malfa, Michael Wooldridge +1
We study how large language models (LLMs) reason about memorized knowledge through simple binary relations such as equality (), inequality (), and inclusion (). Unli…
When Claims Evolve: Evaluating and Enhancing the Robustness of Embedding Models Against Misinformation Edits
Jabez Magomere, Emanuele La Malfa, Manuel Tonneau +2
Online misinformation remains a critical challenge, and fact-checkers increasingly rely on claim matching systems that use sentence embedding models to retrieve relevant fact-check…
Code Simulation as a Proxy for High-order Tasks in Large Language Models
Emanuele La Malfa, Christoph Weinhuber, Orazio Torre +6
Many reasoning, planning, and problem-solving tasks share an intrinsic algorithmic nature: correctly simulating each step is a sufficient condition to solve them correctly. We coll…
Jailbreaking Large Language Models in Infinitely Many Ways
Oliver Goldstein, Emanuele La Malfa, Felix Drinkall +2
We discuss the ``Infinitely Many Paraphrases'' attacks (IMP), a category of jailbreaks that leverages the increasing capabilities of a model to handle paraphrases and encoded commu…