Imagen de Portada

Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Mensfelt, Agnieszka, Stathis, Kostas, Trencsenyi, Vince
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Autoformalization of Game Descriptions using Large Language Models
por: Mensfelt, Agnieszka, et al.
Publicado: (2024)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
por: Mensfelt, Agnieszka, et al.
Publicado: (2024)

A Survey on Hypergame Theory: Modeling Misaligned Perceptions and Nested Beliefs for Multi-agent Systems
por: Trencsenyi, Vince, et al.
Publicado: (2025)

Approximating Human Strategic Reasoning with LLM-Enhanced Recursive Reasoners Leveraging Multi-agent Hypergames
por: Trencsenyi, Vince, et al.
Publicado: (2025)

The Influence of Human-inspired Agentic Sophistication in LLM-driven Strategic Reasoners
por: Trencsenyi, Vince, et al.
Publicado: (2025)

Towards a Common Framework for Autoformalization
por: Mensfelt, Agnieszka, et al.
Publicado: (2025)

Hypergame Rationalisability: Solving Agent Misalignment In Strategic Play
por: Trencsenyi, Vince
Publicado: (2025)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
por: Brown, Chad E., et al.
Publicado: (2026)

Proceedings of the First International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2024)
por: Satoh, Ken, et al.
Publicado: (2024)

Proceedings of the Second International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2025)
por: Nguyen, Ha-Thanh, et al.
Publicado: (2025)

BioResearcher: Scenario-Guided Multi-Agent for Translational Medicine
por: Kinas, Remigiusz, et al.
Publicado: (2026)

A Trajectory Generator for High-Density Traffic and Diverse Agent-Interaction Scenarios
por: Yang, Ruining, et al.
Publicado: (2025)

Autoformalizer with Tool Feedback
por: Guo, Qi, et al.
Publicado: (2025)

CrashAgent: Crash Scenario Generation via Multi-modal Reasoning
por: Li, Miao, et al.
Publicado: (2025)

Multi-Agent Scenario Generation in Roundabouts with a Transformer-enhanced Conditional Variational Autoencoder
por: Li, Li, et al.
Publicado: (2025)

CARJAN: Agent-Based Generation and Simulation of Traffic Scenarios with AJAN
por: Neis, Leonard Frank, et al.
Publicado: (2025)

Learning to Model Diverse Driving Behaviors in Highly Interactive Autonomous Driving Scenarios with Multi-Agent Reinforcement Learning
por: Weiwei, Liu, et al.
Publicado: (2024)

Improving Autoformalization Using Direct Dependency Retrieval
por: Wang, Shaoqi, et al.
Publicado: (2025)

FormaRL: Enhancing Autoformalization with no Labeled Data
por: Huang, Yanxing, et al.
Publicado: (2025)

Munkres' General Topology Autoformalized in Isabelle/HOL
por: Bryant, Dustin, et al.
Publicado: (2026)

SCMAPR: Self-Correcting Multi-Agent Prompt Refinement for Complex-Scenario Text-to-Video Generation
por: Yang, Chengyi, et al.
Publicado: (2026)

Symmetries-enhanced Multi-Agent Reinforcement Learning
por: Bousias, Nikolaos, et al.
Publicado: (2025)

Autoformalizing Euclidean Geometry
por: Murphy, Logan, et al.
Publicado: (2024)

A New Approach Towards Autoformalization
por: Patel, Nilay, et al.
Publicado: (2023)

Red-Team Multi-Agent Reinforcement Learning for Emergency Braking Scenario
por: Chen, Yinsong, et al.
Publicado: (2025)

Measuring AI Agents' Progress on Multi-Step Cyber Attack Scenarios
por: Folkerts, Linus, et al.
Publicado: (2026)

SITA: A Framework for Structure-to-Instance Theorem Autoformalization
por: Li, Chenyi, et al.
Publicado: (2025)

Autoformalization in the Era of Large Language Models: A Survey
por: Weng, Ke, et al.
Publicado: (2025)

TRIP-Bench: A Benchmark for Long-Horizon Interactive Agents in Real-World Scenarios
por: Shen, Yuanzhe, et al.
Publicado: (2026)

CRMArena-Pro: Holistic Assessment of LLM Agents Across Diverse Business Scenarios and Interactions
por: Huang, Kung-Hsiang, et al.
Publicado: (2025)

Multi-Agent Interactive Question Generation Framework for Long Document Understanding
por: Wang, Kesen, et al.
Publicado: (2025)

Agent Drift: Quantifying Behavioral Degradation in Multi-Agent LLM Systems Over Extended Interactions
por: Rath, Abhishek
Publicado: (2026)

Enabling Multi-Agent Transfer Reinforcement Learning via Scenario Independent Representation
por: Nipu, Ayesha Siddika, et al.
Publicado: (2024)

Faithful Autoformalization via Roundtrip Verification and Repair
por: Amrollahi, Daneshvar, et al.
Publicado: (2026)

MathAtlas: A Benchmark for Autoformalization in the Wild
por: Patel, Nilay, et al.
Publicado: (2026)

An Interactive Multi-Agent System for Evaluation of New Product Concepts
por: Xuan, Bin, et al.
Publicado: (2026)

LUMINA: Long-horizon Understanding for Multi-turn Interactive Agents
por: Rakhsha, Amin, et al.
Publicado: (2026)

EvoAgent: Towards Automatic Multi-Agent Generation via Evolutionary Algorithms
por: Yuan, Siyu, et al.
Publicado: (2024)

Multi-Scenario Combination Based on Multi-Agent Reinforcement Learning to Optimize the Advertising Recommendation System
por: Zhao, Yang, et al.
Publicado: (2024)

Neural Interaction Energy for Multi-Agent Trajectory Prediction
por: Shen, Kaixin, et al.
Publicado: (2024)