Six new safety datasets of sufficient size and difficulty are constructed and it is found that probe error follows two simple scaling laws, which allow safety researchers to determine how to create the best probe for any given model and label budget.
This work proposes a Hybrid Fuzzy Ensemble that synergizes the precision of supervised learning with the adaptability of unsupervised clustering, and introduces a robust Min Distance metric that exploits the raw geometric isolation of botnet activation attacks.
Lohith Srikanth Pentapalli, J. Riep, Justin N. Ouwerkerk et al.· 0 citations
AI agents increasingly act as analysts whose decision can often be cast as hypothesis tests. Classical tests control the Type I error rate, the probability of rejecting a true null hypothesis, for fixed procedures. However, AI analysts introduce internal randomness and can evolve continuously over time. As AI analysts...
Predicting surrounding vehicles'lane-change intentions enables autonomous vehicles to anticipate potential hazards and respond proactively rather than relying solely on reactive maneuvers. This study investigates the benefits of integrating lane-change prediction, based on knowledge graph embeddings and Bayesian infere...
Mohamed A. Manzour, Aditya Kumar, R. Izquierdo et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Lyapunov functions and barrier certificates give state-space guarantees of stability and safety, but synthesizing and verifying them---especially for nonlinear, high-dimensional systems---remains an open challenge. Existing pipelines verify candidates with numerical solvers (sum-of-squares programs), interval methods,...
Zhipeng Cao, Peiyang Song, Nikolaus Vertovec et al.· 0 citations
BELT (BELief-based Termination), which separates outcome prediction from stopping control from end-to-end controllers, and its accuracy-cost trade-offs are competitive with or better than those of end-to-end controllers.
Jingwei Ni, Dmitry Abulkhanov, V. Smirnov et al.· 0 citations
Training state-of-the-art models increasingly requires learning from large, heterogeneous datasets whose examples vary in quality, domain relevance, and source of supervision. Dataweighting---assigning different weights to training examples---offers a general way to control how such data influences training, but learni...
Neuro-symbolic (NeSy) predictors that supervise only the task label suffer from reasoning shortcuts: distinct concept mappings achieve the same maximum likelihood, leaving the recovered concepts unidentifiable and unsafe for downstream reuse. We attack this failure by injecting a soft ontology prior over the latent con...
Large language models often apply complex reasoning indiscriminately, leading to overthinking on simple tasks and underthinking on harder ones. We present Route-and-Generate (Rouge), a hierarchical training framework that enables LLMs to adaptively decide when and how much reasoning is required for each input. Our appr...
Tien-Phat Nguyen, Truong Nguyen, Thanh-Thien Le et al.· 0 citations
It is concluded that consistency under reordering can be optimized without improving the moral judgment it is meant to signal: consistency under reordering can be optimized without improving the moral judgment it is meant to signal.
Marius De Kuthy Meurers, Aaron T. Parisi, Bernd Bohnet· 0 citations
End-to-end autonomous driving has achieved state-of-the-art performance on benchmarks and real-world deployments. Its standard training recipe, however, is expensive across all existing paradigms: imitation learning requires fleet-scale driving logs whose behavior distribution only thinly covers the safety-critical tai...
Zikang Xiong, Wei-Xin Li, Zhouchonghao Wu et al.· 0 citations
Supervised fine-tuning adapts language models to specialized tasks but can disrupt previously acquired behavior. Existing approaches constrain parameters, gradients, or replay objectives, yet the connection between the protected object, the intervening trajectory, and retained outputs remains unclear. We develop a func...
Qingsen Ma, Dianyun Wang, Jiahong Liu et al.· 0 citations