2 papers
cs.LO2026
A Non-Dichotomy for CSPs of Stable -Categorical Structures
Manuel Bodirsky, David Bradley-Williams, Ehud Hrushovski +1
We construct countable, stable, -categorical structures with at most two binary relations whose CSPs exhibit three complexity regimes: NP-complete, decidable but not in NP, and…
cs.LG2026
SemTree: Judge-Aware Semantic Decision Trees for Inspectable and Repairable Rule Decisions
Jincheng Gao, Wei Ding, Shuo Sun
Rule decisions such as content moderation, advertising compliance, and eligibility checks combine several conditions, exemptions, and missing-information cases, and an error can be…