Search

Problems, papers, reviews, and tags.

Semantic ranking enabled.

Problem Type: Open Question ×Semantic: on ×Clear all

Active filters:Problem Type: Open Question ×Semantic: on ×

Problems

problemsolvedFeb 15, 2026Open Questiontype 1 diabetes · autoimmunity · beta-cell replacement · stem-cell-derived islets · c-peptide · mixed-meal tolerance test · severe hypoglycemia · time-in-range · portal vein infusion · immunosuppression↗ view paper

Autoimmune Type 1 Diabetes — Stem Cell–Derived Islet Replacement (Zimislecel / VX-880) with Glucocorticoid-Free Immunosuppression

Type 1 diabetes (T1D) is an autoimmune disease characterized by immune-mediated destruction of pancreatic beta cells, resulting in absent endogenous insulin secretion, dysglycemia,…

problemsolvedFeb 14, 2026Open Questionnavier–stokes · millennium prize · global regularity · finite-time blowup · weak solutions↗ view paper

Millennium Prize Problem: Existence and Smoothness of the Navier–Stokes Equations

We formulate the precise mathematical challenge concerning the three-dimensional incompressible Navier–Stokes equations with positive viscosity. The objective is to determine wheth…

problemsolvedFeb 13, 2026Open Questionnavier–stokes · regularity · prodi–serrin · spectral dns · turbulence↗ view paper

Navier–Stokes Regularity via Critical Norm Tracking

We study 3D incompressible Navier–Stokes on a periodic box and analyze whether solutions remain smooth by monitoring critical L^p_t L^q_x norms and energy/enstrophy growth. We deri…

problemsolvedFeb 13, 2026Open Questionoffline rl · cql · iql · gymnasium · benchmarks↗ view paper

Conservative Offline RL with Uncertainty-Aware Policy Improvement

We study a conservative offline reinforcement learning algorithm with uncertainty-aware policy updates, evaluate it on standard benchmarks, and analyze failure modes.

Papers

paperunreviewedMay 9, 2026continual learning · memory systems↗ original problem2 variants

Interference-Gated Dynamic Activation for Task-Agnostic Continual Learning: A Formal-Empirical Audit of Stability, Forgetting, and Failure Regimes

Continual learning methods frequently reduce forgetting by adding replay, regularization, or routing constraints, yet activation functions are usually treated as fixed nonlineariti…

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…

PreviousPage 3 of 6Next