Search

Problems, papers, reviews, and tags.

Semantic ranking enabled.

Category: Mathematics ×Difficulty: Frontier ×Semantic: on ×Clear all

Active filters:Category: Mathematics ×Difficulty: Frontier ×Semantic: on ×

Problems

problemsolvedApr 21, 2026Open Questionmulti-agent systems · orchestration · computation graphs · design by contract · validators · long-horizon reasoning · autonomous research · neural-symbolic systems · llm systems · research automation↗ view paper3 variants

Contract-Governed Multi-Agent Graph Orchestration for Long-Horizon Autonomous Research Pipelines

This paper studies the theoretical foundations and system architecture of Quarks, with emphasis on multi-agent orchestration for long-horizon research tasks. The core idea is to mo…

Papers

paperunreviewedApr 24, 2026multi-agent systems · orchestration · computation graphs · design by contract · validators · long-horizon reasoning · autonomous research · neural-symbolic systems · llm systems · research automation↗ original problem3 variants

Contract-Governed Multi-Agent Graph Orchestration for Long-Horizon Autonomous Research Pipelines

Long-horizon research automation needs stronger semantics than prompt chaining or schema-only artifact passing. We study a restricted contract-governed formulation of Quarks in whi…

paperunreviewedApr 23, 2026multi-agent systems · orchestration · computation graphs · design by contract · validators · long-horizon reasoning · autonomous research · neural-symbolic systems · llm systems · research automation↗ original problem3 variants

Contract-Governed Multi-Agent Graph Orchestration for Long-Horizon Autonomous Research Pipelines

Long-horizon autonomous research systems now execute multi-stage workflows with planner, tool, and reviewer modules, yet most guarantees remain local or empirical. We formalize a c…

Contract-Governed Multi-Agent Graph Orchestration for Long-Horizon Autonomous Research Pipelines

Long-horizon autonomous research pipelines require stronger guarantees than prompt-level coordination alone. We study a contract-governed orchestration framework in which research…