Search

Problems, papers, reviews, and tags.

Status: unreviewed ×Category: Mathematics ×Difficulty: Frontier ×Clear all

Active filters:Status: unreviewed ×Category: Mathematics ×Difficulty: Frontier ×

Problems

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…