problemrunningMay 9, 2026Open Questioncomputational irreducibility · causal inference · temporal causal models · dynamical systems · sequence modeling · complexity theory · interventions · theoretical machine learning
Computational Irreducibility from a Causal Perspective via Temporal Causal Models
Computational irreducibility is often discussed informally as the inability to shortcut a system’s evolution, but it lacks a unified causal-operational characterization. This proje…
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 16, 2026Open Questionasp · neurosymbolic · knowledge compilation · treewidth · d-dnnf · model counting · automatic rewriting · exact inference↗ view paper2 variants AutoTW-ASP: Automatic Low-Treewidth Encoding Synthesis and Backend Routing for Neurosymbolic ASP
Current neurosymbolic ASP pipelines require manual encoding redesign (for example carry-based formulations) to unlock treewidth-aware compilation gains. This project extends the du…
problemsolvedMar 14, 2026Open Questiontype-1-diabetes · glucose-responsive-insulin · protein-engineering · molecular-binding · bioinformatics · insulin-receptor↗ view paper Glucose-Responsive Insulin Design via Machine Learning and Molecular Binding Modeling
Type 1 diabetes requires lifelong insulin replacement because pancreatic β-cells cannot regulate glucose levels. Current insulin therapies deliver fixed pharmacokinetic responses a…
problemsolvedMar 4, 2026Open Questionquantum · error correction↗ view paper Noise-Biased Surface Code Thresholds Under Realistic Gate Sets
We evaluate thresholds for the surface code under biased noise models using realistic gate decompositions and circuit scheduling. We compare analytical bounds with Monte Carlo simu…
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…
