An optional runtime safety check is added to the loop: before the first motion, the model is asked whether it would carry out the instruction, given the same camera frames, and the check would have stopped all 15 hazardous instructions, including the 4 that completed the harm, and flagged none of the 15 harmless contro...
An inference-time route-and-steer framework is proposed: an ordinal granularity router maps visual-contextual privacy representations to a disclosure route, and a disclosure-level-conditioned steering module applies route-specific hidden-state interventions during decoding.
Wen-Yue Chen, Yu-Han Cheng, Ruixin Yang et al.· 0 citations
Large language models are deployed globally, yet safety alignment and evaluation remain concentrated in English: harmful requests refused in English can elicit unsafe completions when translated into low-resource languages. We evaluate ten widely deployed LLMs across 79 languages (English plus 78 low-resource) under a...
Jalil Alva, David Harper, Abigail E. Thornton et al.· 0 citations
This work evaluates compaction on later questions of language-model agents, using four corpora that annotate the evidence of several questions per text and recorded agent trajectories, and compares every method with random deletion at the same budget.
Jun-Wei Yao, Yong-Xin Zhou, Zi-Ke Yang et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Class-Incremental Learning (CIL) aims to learn new classes continuously without forgetting the previously learned ones. Recent works in CIL have significantly advanced across various modalities; however, at the intersection of audio-visual modality, this problem remains underexplored. While representations from multimo...
Avi Gupta, Nilotpal Sinha, Vishnu Raj et al.· 0 citations
Effective detection of hate content is essential for maintaining healthy online communities, yet performance can vary substantially across languages. This work investigates a core practical question: Can training data from one language support hate-speech detection in another language with comparable performance? To an...
This work presents VPFlow, a value-predictive planner that pairs the world models with a one-step flow policy and plans in its noise space via evolutionary search, and demonstrates that value-predictive representations, not exact state prediction, are what offline planning requires.
Producing synthetic data for comparison testing a migrated COBOL application is a major challenge that agentic migrations face today. Our prior paper, the Agentic Method for Deterministic Validation of Legacy Code Migration, presents a deterministic oracle to facilitate such migrations, the Locksmith Loop. We now propo...
Andras L. Ferenczi, Mariya Bessonov, Allwyn Ponnudurai et al.· 0 citations
Preference labels align model training, but the judgments behind them are difficult to inspect or verify. In this paper, we examine how preference construction can be checked when intermediate decisions are recorded, and which of them remain uncertain. We present Symbolic Preference Labeling, a method in which a pretra...
This paper is an exposition of the theorem prover Arend developed at JetBrains Research. Arend language has been designed to facilitate the formalization of mathematics within the framework of univalent foundations and with the focus on constructive mathematics. It is based on a variant of homotopy type theory with cub...
Large language models can detect vulnerable code, yet the form of vulnerability encoding in their representations remains unclear. We analyze 8 code models spanning 6.7B-15B parameters on C programs using three datasets (DELTASECOMMITS, SVEN, and PRECISE-BUGS), comparing two diagnostic tasks on the same representations...
Rui Melo, Andre Catarino, Claudia Mamede et al.· 0 citations
Generative AI can create programming feedback at scale, but validating its alignment with instructors'pedagogical goals and strategies remains challenging. Instructors may struggle to fully specify validation criteria upfront, as these often emerge through inspecting concrete examples and revising misaligned feedback....
Xiaohang Tang, Rehema Abulikemu, Peng Gao et al.· 0 citations