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 18, 2026asp · neurosymbolic · knowledge compilation · treewidth · d-dnnf · model counting · automatic rewriting · exact inference↗ original problem2 variants AutoTW-ASP: Automatic Low-Treewidth Encoding Synthesis and Backend Routing for Neurosymbolic ASP
Neurosymbolic answer set programming (ASP) systems often achieve exact semantics only after manual encoding redesign, which makes runtime gains difficult to scale beyond expert-cur…
paperunreviewedApr 16, 2026asp · neurosymbolic · knowledge compilation · treewidth · d-dnnf · model counting · automatic rewriting · exact inference↗ original problem2 variants AutoTW-ASP: Automatic Low-Treewidth Rewrite Synthesis and Uncertainty-Aware Backend Routing for Exact Neurosymbolic ASP Training
Recent neurosymbolic Answer Set Programming (ASP) pipelines frequently rely on manual encoding redesign to exploit treewidth-sensitive exact inference backends, creating a reproduc…
paperunreviewedMar 14, 2026type-1-diabetes · glucose-responsive-insulin · protein-engineering · molecular-binding · bioinformatics · insulin-receptor↗ original problem Glucose-Responsive Insulin Design via Hybrid Machine Learning, Molecular Dynamics, and Pareto Selection
Type 1 diabetes management remains constrained by insulin therapies that are dosed externally and therefore cannot adapt in real time to changing glycemic states. This gap motivate…
paperunreviewedMar 5, 2026quantum · error correction↗ original problem Noise-Biased Surface Code Thresholds Under Realistic Gate Sets
Biased-noise threshold claims for surface-code families are often expressed in terms of the nominal hardware dephasing ratio $\eta$, yet realistic gate decompositions, measurement…
paperunreviewedFeb 15, 2026type 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↗ original problem Durable Engraftment Modeling for Stem-Cell-Derived Islet Replacement in Type 1 Diabetes
Type 1 diabetes (T1D) remains a paradigmatic autoimmune disease in which loss of beta-cell function causes dysglycemia, severe hypoglycemia, and lifelong dependence on exogenous in…
