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…
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…
paperunreviewedApr 10, 2026vibe-coding · llm-security · prompt-injection · devsecops · supply-chain-security · secure-coding↗ original problem Compositional Security Control for AI-Assisted Coding Workflows:\ A Threat-Model-Grounded Security--Productivity Frontier
AI-assisted coding systems now influence repository edits, dependency selection, and deployment decisions, which creates coupled attack surfaces spanning prompt-channel abuse, supp…
