Vince Trencsenyi

13 papers A* 1A 2B 1C 1Journal 8
YearRankTypeTitle / Venue / Authors
2026 A* conf
Towards a Common Framework for Autoformalization.
AAAI
Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis
2025 C conf
Approximating Human Strategic Reasoning with LLM-Enhanced Recursive Reasoners Leveraging Multi-agent Hypergames.
MABS
Vince Trencsenyi, Agnieszka Mensfelt, Kostas Stathis
2025 J jnl
Approximating Human Strategic Reasoning with LLM-Enhanced Recursive Reasoners Leveraging Multi-agent Hypergames.
CoRR
Vince Trencsenyi, Agnieszka Mensfelt, Kostas Stathis
2025 A conf
Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios.
ECAI
Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi
2025 J jnl
Hypergame Rationalisability: Solving Agent Misalignment In Strategic Play.
CoRR
Vince Trencsenyi
2025 J jnl
Hypergames: Modeling Misaligned Perceptions and Nested Beliefs for Multi-agent Systems.
CoRR
Vince Trencsenyi, Agnieszka Mensfelt, Kostas Stathis
2025 A conf
The Influence of Human-Inspired Agentic Sophistication in LLM-Driven Strategic Reasoners.
ECAI
Vince Trencsenyi, Agnieszka Mensfelt, Kostas Stathis
2025 J jnl
The Influence of Human-inspired Agentic Sophistication in LLM-driven Strategic Reasoners.
CoRR
Vince Trencsenyi, Agnieszka Mensfelt, Kostas Stathis
2025 B conf
Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents.
ICTAI
Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi
2025 J jnl
Towards a Common Framework for Autoformalization.
CoRR
Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis
2024 J jnl
Autoformalization of Game Descriptions using Large Language Models.
CoRR
Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi
2024 J jnl
Autoformalizing and Simulating Game-Theoretic Scenarios using LLM-augmented Agents.
CoRR
Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi
2024 J jnl
Logic-Enhanced Language Model Agents for Trustworthy Social Simulations.
CoRR
Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi