We present a declarative approach to belief-state modeling in trick-taking card games. Starting from a state-of-the-art Skat player, we automatically extract its hand-coded inference rules into a domain-specific language built on the primitive $\neg\mathsf{holds}(P,C)$, denoting that player $P$ cannot hold any card in...
Retrosynthesis planning seeks synthesis routes from purchasable starting materials to a target molecule. Search over predicted reactions can connect a target to available materials, yet an infeasible reaction can invalidate the resulting route. Evaluating route quality only after search has finished cannot correct erro...
Real-world forecasting often requires integrating heterogeneous evidence whose predictive value varies across horizons, operating regimes, and domains. We introduce FACTS-MAS, a domain-agnostic multi-agent forecasting framework that decomposes evidence into specialized channels for temporal dynamics, exogenous context,...
Madumita Karthikeyan, Umang Rajnikant Bid, Rong Pan· 0 citations
Rubrics enable reward assignment on tasks without verifiable answers, but are expensive to manually produce from scratch. We present Rubricon, a pipeline that generates discriminative rubrics without requiring human preference labels, rubric annotation, or generator-model training. Using any LLM, Rubricon samples multi...
This work concludes that medical multi-agent systems do not filter demographic bias; they launder it into plausible decisions no single-version audit can catch, and the only defense is to make the bias visible.
Xiaoyang Wang, Tian-Rui Wang, Christopher C. Yang· 0 citations
Group-Adaptive Additive Codec (GAAC), a lossless KV compression and serving system that exploits exponent redundancy to reduce storage and accelerate attention without introducing KV approximation, is presented.
Designing power electronics converters traditionally requires intensive human expertise across topology sizing, commercial component selection, circuit simulation verification, and schematic drafting. While Large Language Models (LLMs) show promise in electronic design automation (EDA), applying standalone LLMs directl...
Bo-Wen Su, Huan Chen, Jia-Hua Ying et al.· 0 citations
Industrial shampoo-bottle surface defect detection must operate across many stock keeping units (SKUs), where differences in bottle geometry, material, label layout, reflectance, and imaging conditions can substantially alter the appearance of the same defect. Existing industrial defect datasets rarely provide both ins...
Yuehang Li, Xiao Wang, Qiang Chen et al.· 0 citations
This work introduces DecompGym, 81 instances from nine problem families (five Benders, four column generation), in which an agent writes a solver for a prescribed method, and evaluates 12 GPT, Claude, and Gemini models running in coding-agent tools.
Si-Kai Cheng, Ting-Han Ye, Arnaud Deza et al.· 0 citations
Lightweight representation bridges make pretrained, task-adapted EEG foundation models executable on other biosignal modalities without retraining their backbones. However, selecting a single bridge pathway globally assigns every instance to the same transfer route and ignores complementary errors across routes. We the...
Ruoxi Piao, Alicia Lu, Yunzhen Zhang et al.· 0 citations
Agent skills package instructions, scripts, and resources for specialized tasks and are increasingly distributed through public Web repositories. However, existing skill benchmarks primarily focus on downstream task execution, insufficiently assessing specification quality, behavioral robustness, semantic alignment, an...
Mengyu Sun, Zunlong Zhou, Ziyuan Yang et al.· 0 citations
It is claimed that many tasks commonly delegated whole to a model are in fact deterministic tasks with a small generative core, and decomposing such a task yields a measurable and desirable property the authors call parity by construction: on the extracted sub-tasks the model-size performance curve becomes flat, becaus...