From the 1 of 8 linked papers with an AI index.
8 papers
A Survey on Hypergame Theory: Modelling Misaligned Perceptions and Nested Beliefs for Multi-Agent Systems
Vince Trencsenyi, Agnieszka Mensfelt, Kostas Stathis
The paper surveys hypergame theory, which models agents' differing perceptions and nested beliefs in multi-agent systems, and reviews its applications across domains such as cybers…
PrologMCP: A Standardized Prolog Tool Interface for LLM Agents
Agnieszka Mensfelt, Adarsh Prabhakaran, Adrian Haret +2
Frontier reasoning-tuned language models still fail on deductive tasks at depth, and the cost of improved performance through extended internal reasoning scales poorly. Symbolic de…
Towards a Common Framework for Autoformalization
Agnieszka Mensfelt, David Tena Cucala, Santiago Franco +3
Autoformalization has emerged as a term referring to the automation of formalization - specifically, the formalization of mathematics using interactive theorem provers (proof assis…
The Influence of Human-inspired Agentic Sophistication in LLM-driven Strategic Reasoners
Vince Trencsenyi, Agnieszka Mensfelt, Kostas Stathis
The rapid rise of large language models (LLMs) has shifted artificial intelligence (AI) research toward agentic systems, motivating the use of weaker and more flexible notions of a…
Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios
Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi
Multi-agent simulations are versatile tools for exploring interactions among natural and artificial agents, but their development typically demands domain expertise and manual effo…
Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi
Large language models (LLMs) are increasingly explored as general-purpose reasoners, particularly in agentic contexts. However, their outputs remain prone to mathematical and logic…