Archives AI News

Formal verification of tree-based machine learning models for lateral spreading

arXiv:2603.16983v1 Announce Type: new Abstract: Machine learning models for geotechnical hazard prediction can achieve high accuracy while learning physically inconsistent relationships from sparse or biased training data. Current remedies (post-hoc explainability, such as SHAP and LIME, and training-time constraints) either…

Modeling Overlapped Speech with Shuffles

arXiv:2603.17769v1 Announce Type: cross Abstract: We propose to model parallel streams of data, such as overlapped speech, using shuffles. Specifically, this paper shows how the shuffle product and partial order finite-state automata (FSAs) can be used for alignment and speaker-attributed…

IA2: Alignment with ICL Activations Improves Supervised Fine-Tuning

arXiv:2509.22621v3 Announce Type: replace Abstract: Supervised Fine-Tuning (SFT) is used to specialize model behavior by training weights to produce intended target responses for queries. In contrast, In-Context Learning (ICL) adapts models during inference with instructions or demonstrations in the prompt.…