Vince Trencsenyi

13 papers A* 1A 2B 1C 1Journal 8

Year	Rank	Type	Title / 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