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…
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 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…
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…
