MASA: LLM-Driven Multi-Agent Systems for Autoformalization

2025-10-10 · Lan Zhang, Marco Valentino, André Freitas arxiv

Autoformalization serves a crucial role in connecting natural language and formal reasoning. This paper presents MASA, a novel framework for building multi-agent systems for autoformalization driven by Large Language Models (LLMs). MASA leverages collaborative agents to convert natural language statements into their formal representations. The architecture of MASA is designed with a strong emphasis on modularity, flexibility, and extensibility, allowing seamless integration of new agents and tools to adapt to a fast-evolving field. We showcase the effectiveness of MASA through use cases on real-world mathematical definitions and experiments on formal mathematics datasets. This work highlights the potential of multi-agent systems powered by the interaction of LLMs and theorem provers in enhancing the efficiency and reliability of autoformalization, providing valuable insights and support for researchers and practitioners in the field.

📄 PDF Abstract BibTeX arXiv:2510.08988

Code (0)

등록된 구현이 없습니다.

Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing

2026-06-26 · Can Li, Ting Zhang, Junbo Zhao, Hua Huang arxiv

Geometry Problem Solving have increasingly adopt the neuro-symbolic paradigm, combining neural intuition with symbolic rigor. However, current frameworks suffer from severe bottlenecks in two core stages: autoformalizati…

Reinforcement Learning

Multi-agent Autoformalization of Tensor Network Theory

2026-07-08 · Sirui Lu, Erickson Tjoa, J. Ignacio Cirac arxiv

We build a team of specialized large language-model agents and present an agent-driven workflow for research-level formalization in theoretical physics, with the autoformalization of the fundamental theorem of matrix-pro…

Lyapunov-Based Reinforcement Learning for Decentralized Multi-Agent Control

2020-09-20 · Qingrui Zhang, Hao Dong, Wei Pan

Decentralized multi-agent control has broad applications, ranging from multi-robot cooperation to distributed sensor networks. In decentralized multi-agent control, systems are complex with unknown or highly uncertain dy…

Deep Reinforcement Learning Multi-agent Reinforcement Learning reinforcement-learning Reinforcement Learning+1

MASAI: Modular Architecture for Software-engineering AI Agents

2024-06-17 · Daman Arora, Atharv Sonwane, Nalin Wadhwa, Abhav Mehrotra 외

A common method to solve complex problems in software engineering, is to divide the problem into multiple sub-problems. Inspired by this, we propose a Modular Architecture for Software-engineering AI (MASAI) agents, wher…

MAMBPO: Sample-efficient multi-robot reinforcement learning using learned world models

2021-03-05 · Daniël Willemsen, Mario Coppola, Guido C. H. E. de Croon

Multi-robot systems can benefit from reinforcement learning (RL) algorithms that learn behaviours in a small number of trials, a property known as sample efficiency. This research thus investigates the use of learned wor…

reinforcement-learning Reinforcement Learning (RL)