Abstract:Existing agents based on large language models (LLMs) demonstrate robust problem-solving capabilities by integrating LLMs' inherent knowledge, strong in-context learning and zero-shot capabilities, and the use of tools combined with intricately designed LLM invocation workflows by humans. However, these agents still exhibit shortcomings in long-term reasoning and under-use the potential of existing tools, leading to noticeable deficiencies in complex real-world reasoning scenarios. To address these limitations, we introduce Sibyl, a simple yet powerful LLM-based agent framework designed to tackle complex reasoning tasks by efficiently leveraging a minimal set of tools. Drawing inspiration from Global Workspace Theory, Sibyl incorporates a global workspace to enhance the management and sharing of knowledge and conversation history throughout the system. Furthermore, guided by Society of Mind Theory, Sibyl implements a multi-agent debate-based jury to self-refine the final answers, ensuring a comprehensive and balanced approach. This approach aims to reduce system complexity while expanding the scope of problems solvable-from matters typically resolved by humans in minutes to those requiring hours or even days, thus facilitating a shift from System-1 to System-2 thinking. Sibyl has been designed with a focus on scalability and ease of debugging by incorporating the concept of reentrancy from functional programming from its inception, with the aim of seamless and low effort integration in other LLM applications to improve capabilities. Our experimental results on the GAIA benchmark test set reveal that the Sibyl agent instantiated with GPT-4 achieves state-of-the-art performance with an average score of 34.55%, compared to other agents based on GPT-4. We hope that Sibyl can inspire more reliable and reusable LLM-based agent solutions to address complex real-world reasoning tasks.

Silas: A high-performance machine learning foundation for logical reasoning and verification

Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

AI Reasoning Systems: PAC and Applied Methods

Formal Semantics and High Performance in Declarative Machine Learning Using Datalog

Bridging Machine Learning and Logical Reasoning by Abductive Learning.

Integrated Commonsense Reasoning and Deep Learning for Transparent Decision Making in Robotics

Enhancing Logical Reasoning in Large Language Models through Graph-based Synthetic Data

Sibyl: Simple yet Effective Agent Framework for Complex Real-world Reasoning

Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming

Improving LLM Reasoning through Scaling Inference Computation with Collaborative Verification

A Systematic Analysis of Large Language Models as Soft Reasoners: The Case of Syllogistic Inferences

A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters

LLMs for Relational Reasoning: How Far are We?

FOLIO: Natural Language Reasoning with First-Order Logic

LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning

Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning

Logical Reasoning over Natural Language as Knowledge Representation: A Survey

IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning

LeanReasoner: Boosting Complex Logical Reasoning with Lean

Logic Distillation: Learning from Code Function by Function for Planning and Decision-making

Differentiable Logic Machines