2 citations · 3 across the 9 of their papers we have counts for
3 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…
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…