PKeX-Shapley computes exact Shapley values for product-kernel methods via a distribution-free removal operator, achieving amortized linear-time per feature without sampling or density estimation and extending to MMD and HSIC.
PRO closes the indexing-decoding gap in multimodal generative retrieval via prefix ranking distillation, vocabulary scheduling, and geometric score fusion to improve beam search retention and retrieval accuracy.
A neuro-symbolic approach couples large reasoning models with model checkers to iteratively repair synthesized Verilog via sound symbolic feedback, solving more benchmarks than dedicated synthesis tools and enabling natural-language specification autoformalization.
Unlearning causes localized collateral forgetting that grows near deleted examples due to inconsistent surrogate targets, and local teacher distillation mitigates it.
A causal model distinguishes measurement errors from mechanism shifts via latent interventions, enabling robust root-cause localization and anomaly-type classification.