Research

Documentation Index

Fetch the complete documentation index at: https://docs.openserv.ai/llms.txt

Use this file to discover all available pages before exploring further.

BRAID (Bounded Reasoning for Autonomous Inference and Decisions) is the research framework that SERV Reasoning is based on.

​

Problem

Large language models exhibit non-linear cost-performance relationships. Classical chain-of-thought prompting increases token usage without proportional accuracy gains, which limits the deployability of autonomous agents in production.

​

The insight

Models already understand structure better than prose. Instead of letting them “think out loud,” BRAID replaces free-form reasoning with bounded, machine-readable reasoning graphs expressed as Mermaid diagrams. These diagrams encode logic as explicit flows — steps, branches, checks, and verification loops. The result is reasoning that is:

• Deterministic instead of verbose.
• Compact instead of token-heavy.
• Far less prone to context drift.

A simplified example of the Mermaid format BRAID uses: Each token serves a specific role in constructing the diagram. Because the reasoning structure is clearer, smaller and cheaper models can reliably execute it. The framework decouples reasoning planning from execution: a capable generator model produces the diagram, and a (potentially smaller) solver model uses it as system context to produce the final answer.

​

Evaluation

The paper evaluates OpenAI GPT models (GPT-4 and GPT-5 variants across nano, mini, and medium configurations) on three benchmarks: GSM-Hard (100 questions), SCALE MultiChallenge (272 questions), and AdvancedIF (100 questions).

​

Results

The full paper is at arXiv:2512.15959. Raw benchmark data is at benchmark.openserv.ai.