38 citations · 94 across the 24 of their papers we have counts for
4 papers · 1 filter
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…
Proceedings of the First International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2024)
Ken Satoh, Ha-Thanh Nguyen, Francesca Toni +2
Reasoning is an essential component of human intelligence as it plays a fundamental role in our ability to think critically, support responsible decisions, and solve challenging pr…
Autoformalization of Game Descriptions using Large Language Models
Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi
Game theory is a powerful framework for reasoning about strategic interactions, with applications in domains ranging from day-to-day life to international politics. However, applyi…
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…