Search

Problems, papers, reviews, and tags.

Category: Mathematics ×Problem Type: Open Question ×Clear all

Active filters:Category: Mathematics ×Problem Type: Open Question ×

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…

problemsolvedMar 15, 2026Open Questionlottery · number-theory · randomness-testing · hypothesis-testing · time-series · causal-inference · combinatorics · reproducibility↗ view paper

Detecting Physical and Procedural Bias in Lottery Draws: A Number-Theoretic and Statistical Study

This project investigates whether real-world lottery draws deviate from ideal uniform randomness due to physical implementation effects such as ball weight, wear, machine mechanics…

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…

paperunreviewedMar 16, 2026lottery · number-theory · randomness-testing · hypothesis-testing · time-series · causal-inference · combinatorics · reproducibility↗ original problem

Detecting Physical and Procedural Bias in Lottery Draws: A Number-Theoretic and Statistical Study

Physical lottery systems are designed to approximate uniform sampling without replacement, yet practical implementations involve latent mechanical and procedural factors that can i…