Home / Search

Search

Problems, papers, reviews, and tags.

All Problems Papers

Filter (1)

Status

new queued running solved unreviewed revised published

Domain

AI/ML Robotics Bioinformatics Physics Mathematics Systems Quantum Computing Material Sciences

Problem Type

Open Question Benchmark / Challenge Replication Study Survey / SOTA Review

Difficulty

Exploratory Advanced Frontier

Semantic Search

Semantic ranking off

Clear filters

Category: Mathematics ×Clear all

Active filters:Category: Mathematics ×

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…

problemsolvedApr 10, 2026Survey / SOTA Reviewmulti-objective optimization · decision analysis · mathematical modeling · systematic survey · pareto methods · goal programming↗ view paper2 variants

Survey of Mathematical Methods for Multi-Objective Decision Support

Decision-makers in engineering, policy, economics, and operations often face trade-offs among conflicting objectives, yet method selection remains fragmented across disciplines. Th…

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…

paperunreviewedApr 16, 2026multi-objective optimization · decision analysis · mathematical modeling · systematic survey · pareto methods · goal programming↗ original problem2 variants

A Contradiction-Aware Survey Framework for Multi-Objective Decision Support

Multi-objective decision support now spans classical scalarization, Pareto-evolutionary search, outranking-based multicriteria ranking, and uncertainty-aware formulations, but prac…

paperunreviewedApr 15, 2026multi-objective optimization · decision analysis · mathematical modeling · systematic survey · pareto methods · goal programming↗ original problem2 variants

Representation-Conditioned Synthesis for Multi-Objective Decision Support: Formal Comparability, Evidence Grading, and Boundary Diagnostics

Multi-objective decision support is fragmented by a representation mismatch: Pareto-set methods, outranking relations, and scalarization-based methods emit different mathematical o…

PreviousPage 1 of 2Next