Computation and Language
Malicious Repurposing of Open Science Artefacts by Using Large Language Models
Zahra Hashemi, Zhiqiang Zhong, Jun Pang et al. (+1 more)
The rapid
evolution of large
language models (LLMs) has fuelled enthusiasm about their role in advancing scientific discovery, with studies exploring LLMs that autonomously generate and evaluate novel research ideas. However, little
attention has been given to the possibility that such models could be exploited to produce harmful research by repurposing open science artefacts for malicious ends. We fill the gap by introducing an end-to-end pipeline that first bypasses LLM safeguards through persuasion-based jailbreaking, then reinterprets NLP papers to identify and repurpose their artefacts (
datasets, methods, and tools) by exploiting their vulnerabilities, and finally assesses the safety of these proposals using our evaluation framework across three dimensions: harmfulness, feasibility of misuse, and soundness of technicality. Overall, our findings demonstrate that LLMs can generate harmful proposals by repurposing ethically designed open artefacts; however, we find that LLMs acting as evaluators strongly disagree with one another on evaluation outcomes: GPT-4.1 assigns higher scores (indicating greater potential harms, higher soundness and feasibility of misuse), Gemini-2.5-pro is markedly stricter, and Grok-3 falls between these extremes. This indicates that LLMs cannot yet serve as reliable judges in a malicious evaluation setup, making human evaluation essential for credible dual-use risk assessment.
Read the full abstract ▾
All authors Zahra Hashemi, Zhiqiang Zhong, Jun Pang, Wei Zhao
Computation and Language
LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
Oren Sultan, Jordi Armengol-Estape, Pascal Kesseli et al. (+4 more)
Determining whether a program terminates is a central problem in computer science. Turing's Halting Problem established termination as undecidable, showing that no
algorithm can universally determine termination for all programs and inputs. Hence, verification tools approximate termination, sometimes failing to prove or disprove; these tools rely on problem-specific architectures and are usually tied to particular programming
languages. Recent advances in LLMs raise a natural question: To what extent can they reason about program termination? We evaluate frontier LLMs on a diverse set of C programs from the International Competition on Software Verification (SV-Comp) 2025. Our results show that GPT-5 and Claude Sonnet-4.5 achieve scores comparable to top-ranked verification tools (with test-time scaling). However, while models often correctly infer whether programs terminate, they frequently fail to construct a witness as formal proof, revealing a gap between semantic recognition and symbolic proof generation. Performance further degrades as code length increases. Beyond witness automaton graphs, we introduce a divergence-precondition formulation that characterizes non-termination conditions as logical constraints. We hope these findings motivate future research on real-world termination
benchmarks, neuro-symbolic approaches that combine LLMs with symbolic verification methods, and, more broadly, LLM
reasoning on other undecidable problems.
Read the full abstract ▾
All authors Oren Sultan, Jordi Armengol-Estape, Pascal Kesseli, Julien Vanegue, Dafna Shahaf, Yossi Adi, Peter O'Hearn
Computation and Language · Cross-listed from cs.LG
Save the Good Prefix: Precise Error Penalization via Process-Supervised RL to Enhance LLM Reasoning
Haolin Liu, Dian Yu, Sidi Lu et al. (+6 more)
Reinforcement learning (RL) has emerged as a powerful framework for improving the
reasoning capabilities of large
language models (LLMs). However, most existing RL approaches rely on sparse outcome rewards, which fail to credit correct intermediate steps in partially successful solutions. Process reward models (PRMs) offer fine-grained step-level supervision, but their scores are often noisy and difficult to evaluate. As a result, recent PRM
benchmarks focus on a more objective capability: detecting the first incorrect step in a
reasoning path. However, this evaluation target is misaligned with how PRMs are typically used in RL, where their step-wise scores are treated as raw rewards to maximize. To bridge this gap, we propose Verifiable Prefix Policy Optimization (VPPO), which uses PRMs only to localize the first error during RL. Given an incorrect rollout, VPPO partitions the trajectory into a verified correct prefix and an erroneous suffix based on the first error, rewarding the former while applying targeted penalties only after the detected mistake. This design yields stable, interpretable learning signals and improves credit assignment. Across multiple
reasoning benchmarks, VPPO consistently outperforms sparse-reward RL and prior PRM-guided baselines on both Pass@1 and Pass@K.
Read the full abstract ▾
All authors Haolin Liu, Dian Yu, Sidi Lu, Yujun Zhou, Rui Liu, Zhenwen Liang, Haitao Mi, Chen-Yu Wei, Dong Yu
Computation and Language · Cross-listed from cs.NI
Intent2QoS: Language Model-Driven Automation of Traffic Shaping Configurations
Sudipta Acharya and Burak Kantarci
Traffic shaping and Quality of Service (QoS) enforcement are critical for managing bandwidth, latency, and
fairness in networks. These tasks often rely on low-level traffic control settings, which require manual setup and technical expertise. This paper presents an automated framework that converts high-level traffic shaping intents in natural or declarative
language into valid and correct traffic control rules. To the best of our knowledge, we present the first end-to-end pipeline that ties intent translation in a queuing-theoretic semantic model and, with a rule-based critic, yields deployable Linux traffic control configuration sets. The framework has three steps: (1) a queuing simulation with priority scheduling and Active Queue Management (AQM) builds a semantic model; (2) a
language model, using this semantic model and a traffic profile, generates sub-intents and configuration rules; and (3) a rule-based critic checks and adjusts the rules for correctness and policy compliance. We evaluate multiple
language models by generating traffic control commands from business intents that comply with relevant standards for traffic control protocols. Experimental results on 100 intents show significant gains, with LLaMA3 reaching 0.88 semantic similarity and 0.87 semantic coverage, outperforming other models by over 30Ȧ thorough sensitivity study demonstrates that AQM-guided prompting reduces variability threefold compared to zero-shot baselines.
Read the full abstract ▾
Computation and Language
BabyReasoningBench: Generating Developmentally-Inspired Reasoning Tasks for Evaluating Baby Language Models
Kaustubh D. Dhole
Traditional evaluations of
reasoning capabilities of
language models are dominated by adult-centric
benchmarks that presuppose broad world knowledge, complex instruction following, and mature pragmatic competence. These assumptions are mismatched to baby
language models trained on developmentally plausible input such as child-directed
speech and early-childhood narratives, and they obscure which
reasoning abilities (if any) emerge under such constraints. We introduce BabyReasoningBench, a GPT-5.2 generated
benchmark of 19
reasoning tasks grounded in classic paradigms from developmental psychology, spanning theory of mind, analogical and relational
reasoning, causal inference and intervention selection, and core
reasoning primitives that are known to be confounded by
memory and pragmatics. We find that two GPT-2 based baby
language models (pretrained on 10M and 100M of child-directed
speech text) show overall low but uneven performance, with dissociations across task families: scaling improves several causal and physical
reasoning tasks, while belief attribution and pragmatics-sensitive tasks remain challenging. BabyReasoningBench provides a developmentally grounded lens for analyzing what kinds of
reasoning are supported by child-like training distributions, and for testing mechanistic hypotheses about how such abilities emerge.
Read the full abstract ▾
Computation and Language · Cross-listed from cs.SD
MetaSICL: Globalizing Auditory LLMs for Underserved Speakers and Languages via Meta Speech In-Context Learning
Haolong Zheng, Siyin Wang, Zengrui Jin et al. (+1 more)
Generative AI for
speech and audio is increasingly expected to serve users across
languages, cultures, and communities, yet current auditory Large
Language Models (LLMs) are still largely trained and evaluated on high-resource data. Globalizing such systems requires handling low-resource settings, where the target speakers,
languages, or tasks are poorly represented in training data. In these regimes, collecting enough labeled in-domain data is often impractical, and the small corpora available may still under-represent the test distribution, making direct fine-tuning brittle under domain shift. In-Context Learning (ICL) offers an alternative: instead of updating model parameters for every underserved community, an auditory LLM can adapt at inference time by conditioning on a few local demonstrations. However, vanilla
speech ICL remains limited because most auditory LLMs are not explicitly trained to use such demonstrations effectively. We address this gap with Meta
Speech In-Context Learning (MetaSICL), a post-training recipe that strengthens an auditory LLM's in-context adaptation ability using only abundant high-resource
speech data. Although MetaSICL never trains on the target low-resource domains, it improves performance across two backbones on children's ASR, audio understanding/
reasoning, and
speech translation and ASR in directions and
languages unseen in post-training. We further study the case where some in-domain data is available, using low-resource
language ASR as a case study, since recognition for underserved
languages is central to globalizing generative AI. Here, using MetaSICL as a warmup for in-domain reinforcement learning yields the strongest results, outperforming direct fine-tuning across five typologically diverse
languages. Overall, MetaSICL offers a practical route toward globalizing auditory LLMs by building inference-time adaptation into the model.
Read the full abstract ▾
All authors Haolong Zheng, Siyin Wang, Zengrui Jin, Mark Hasegawa-Johnson
Computation and Language
Flatter Tokens are More Valuable for Speculative Draft Model Training
Jiaming Fan, Daming Cao, Xiangzhong Luo et al. (+3 more)
Speculative Decoding (SD) is a key technique for accelerating Large
Language Model (LLM) inference, but it typically requires training a draft model on a large
dataset. We approach this problem from a data-centric perspective, finding that not all training samples contribute equally to the SD acceptance rate. Specifically, our theoretical analysis and empirical validation reveals that
tokens inducing flatter predictive distributions from the target model are more valuable than those yielding sharply peaked distributions. Based on this insight, we propose flatness, a new metric to quantify this property, and develop the Sample-level-flatness-based
Dataset Distillation (SFDD) approach, which filters the training data to retain only the most valuable samples. Experiments on the EAGLE framework demonstrate that SFDD can achieve over 2$\times$ training speedup using only 50% of the data, while keeping the final model's inference speedup within 4% of the full-
dataset baseline. This work introduces an effective, data-centric approach that substantially improves the training efficiency for Speculative Decoding. Our code is available at https://github.com/fjm9933/Flatness.
Read the full abstract ▾
All authors Jiaming Fan, Daming Cao, Xiangzhong Luo, Jiale Fu, Chonghan Liu, Xu Yang
Computation and Language
Self-Aware Knowledge Probing: Evaluating Language Models' Relational Knowledge through Confidence Calibration
Christopher Kissling, Elena Merdjanovska and Alan Akbik
Knowledge probing quantifies how much relational knowledge a
language model (LM) has acquired during pre-training. Existing knowledge probes evaluate model capabilities through metrics like prediction accuracy and precision. Such evaluations fail to account for the model's reliability, reflected in the calibration of its confidence scores. In this paper, we establish an empirical framework to evaluate the calibration of relational knowledge in a closed answer-set setting. We cover three modalities of model confidence: (1) intrinsic confidence, (2) paraphrase consistency and (3) linguistic confidence. Our extensive analysis of 21 causal and 8 masked
language models reveals that most models, but especially those pre-trained with the masking objective, are overconfident. The best-calibrated scores come from confidence estimates that account for inconsistencies due to statement rephrasing. Moreover, calibration improves when increasing the number of answer options.
Read the full abstract ▾
Computation and Language
Language Family Matters: Evaluating LLM-Based ASR Across Linguistic Boundaries
Yuchen Zhang, Ravi Shekhar and Haralambos Mouratidis
Large
Language Model (LLM)-powered Automatic
Speech Recognition (ASR) systems achieve strong performance with limited resources by linking a frozen
speech encoder to a pretrained LLM via a lightweight connector. Prior work trains a separate connector per
language, overlooking linguistic relatedness. We propose an efficient and novel connector-sharing strategy based on linguistic family membership, enabling one connector per family, and empirically validate its effectiveness across two
multilingual LLMs and two real-world corpora spanning curated and crowd-sourced
speech. Our results show that family-based connectors reduce parameter count while improving generalization across domains, offering a practical and scalable strategy for
multilingual ASR deployment.
Read the full abstract ▾
Computation and Language · Cross-listed from cs.IR
Youssef Mohamed, Mohamed Elhoseiny, Thibault Formal et al. (+1 more)
This paper introduces XProvence, a
multilingual zero-cost context
pruning model for
retrieval-augmented generation (RAG), trained on 16
languages and supporting 100+
languages through effective cross-lingual transfer. Motivated by the growing use of RAG systems across diverse
languages, we explore several strategies to generalize the Provence framework-which first integrated efficient zero-cost context
pruning directly into the re-ranking model-beyond English. Across four
multilingual question answering
benchmarks, we show how XProvence can prune RAG contexts with minimal-to-no performance degradation and outperforms strong baselines. Our model is available at https://huggingface.co/naver/xprovence-reranker-bgem3-v2.
Read the full abstract ▾
All authors Youssef Mohamed, Mohamed Elhoseiny, Thibault Formal, Nadezhda Chirkova
Computation and Language
ctELM: Decoding and Manipulating Embeddings of Clinical Trials with Embedding Language Models
Brian Ondov, Chia-Hsuan Chang, Yujia Zhou et al. (+2 more)
Text
embeddings have become an essential part of a variety of
language applications. However, methods for interpreting, exploring and reversing
embedding spaces are limited, reducing transparency and precluding potentially valuable generative use cases. In this work, we align Large
Language Models to
embeddings of clinical trials using the recently reported
Embedding Language Model (ELM) method. We develop an open-source, domain-agnostic ELM architecture and training framework, design training tasks for clinical trials, and introduce an expert-validated synthetic
dataset. We then train a series of ELMs exploring the impact of tasks and training regimes. Our final model, ctELM, can accurately describe and compare unseen clinical trials from
embeddings alone and produce plausible clinical trials from novel vectors. We further show that generated trial abstracts are responsive to moving
embeddings along concept vectors for age and sex of study subjects. Our public ELM implementation and experimental results will aid the
alignment of Large
Language Models to
embedding spaces in the biomedical domain and beyond.
Read the full abstract ▾
All authors Brian Ondov, Chia-Hsuan Chang, Yujia Zhou, Mauro Giuffrè, Hua Xu
Computation and Language · Cross-listed from cs.LG
Reuse your FLOPs: Scaling RL on Hard Problems by Conditioning on Very Off-Policy Prefixes
Amrith Setlur, Zijian Wang, Andrew Cohen et al. (+2 more)
Typical reinforcement learning (RL) methods for LLM
reasoning waste compute on hard problems, where correct on-policy traces are rare, policy gradients vanish, and learning stalls. To bootstrap more efficient RL, we consider reusing old sampling FLOPs (from prior inference or RL training) in the form of off-policy traces. Standard off-policy methods supervise against off-policy data, causing instabilities during RL optimization. We introduce PrefixRL, where we condition on the prefix of successful off-policy traces and run on-policy RL to complete them, side-stepping off-policy instabilities. PrefixRL boosts the learning signal on hard problems by modulating the difficulty of the problem through the off-policy prefix length. We prove that the PrefixRL objective is not only consistent with the standard RL objective but also more sample efficient. Empirically, we discover back-generalization: training only on prefixed problems generalizes to out-of-distribution unprefixed performance, with learned strategies often differing from those in the prefix. In our experiments, we source the off-policy traces by rejection sampling with the base model, creating a self-improvement loop. On hard
reasoning problems, PrefixRL reaches the same training reward 2x faster than the strongest baseline (SFT on off-policy data then RL), even after accounting for the compute spent on the initial rejection sampling, and increases the final reward by 3x. The gains transfer to held-out
benchmarks, and PrefixRL is still effective when off-policy traces are derived from a different model family, validating its flexibility in practical settings.
Read the full abstract ▾
All authors Amrith Setlur, Zijian Wang, Andrew Cohen, Paria Rashidinejad, Sang Michael Xie
Computation and Language · Cross-listed from cs.HC
MEGnifying Emotion: Sentiment Analysis from Annotated Brain Data
Brian Liu and Oiwi Parker Jones
Decoding
emotion from
brain activity could unlock a deeper understanding of the human experience. While a number of existing
datasets align
brain data with
speech and with
speech transcripts, no
datasets have annotated
brain data with sentiment. To bridge this gap, we explore the use of pre-trained Text-to-Sentiment models to annotate non invasive
brain recordings, acquired using magnetoencephalography (MEG), while participants listened to audiobooks. Having annotated the text, we employ force-
alignment of the text and audio to align our sentiment labels with the
brain recordings. It is straightforward then to train Brainto-Sentiment models on these data. Experimental results show an improvement in balanced accuracy for
Brain-to-Sentiment compared to baseline, supporting the proposed approach as a proof-of-concept for leveraging existing MEG
datasets and learning to decode sentiment directly from the
brain.
Read the full abstract ▾
Computation and Language
Subword-Based Comparative Linguistics across 242 Languages Using Wikipedia Glottosets
Iaroslav Chelombitko, Mika Hämäläinen and Aleksey Komissarov
We present a large-scale comparative study of 242 Latin and Cyrillic-script
languages using subword-based methodologies. By constructing 'glottosets' from Wikipedia lexicons, we introduce a framework for simultaneous cross-linguistic comparison via Byte-Pair Encoding (BPE). Our approach utilizes rank-based subword vectors to analyze vocabulary overlap, lexical divergence, and
language similarity at scale. Evaluations demonstrate that BPE
segmentation aligns with morpheme boundaries 95% better than random baseline across 15
languages (F1 = 0.34 vs 0.15). BPE vocabulary similarity correlates significantly with genetic
language relatedness (Mantel r = 0.329, p < 0.001), with Romance
languages forming the tightest cluster (mean distance 0.51) and cross-family pairs showing clear separation (0.82). Analysis of 26,939 cross-linguistic homographs reveals that 48.7% receive different
segmentations across related
languages, with variation correlating to phylogenetic distance. Our results provide quantitative macro-linguistic insights into lexical patterns across typologically diverse
languages within a unified analytical framework.
Read the full abstract ▾
Computation and Language
MortalMATH: Evaluating the Conflict Between Reasoning Objectives and Emergency Contexts
Etienne Lanzeray, Stephane Meilliez, Malo Ruelle et al. (+1 more)
Large
Language Models are increasingly optimized for deep
reasoning, prioritizing the correct execution of complex tasks over general conversation. We investigate whether this focus on calculation creates a "tunnel
vision" that ignores safety in critical situations. We introduce MortalMATH, a
benchmark of 150 scenarios where users request
algebra help while describing increasingly life-threatening emergencies (e.g., stroke symptoms, freefall). We find a sharp behavioral split: generalist models (like Llama-3.1) successfully refuse the math to address the danger. In contrast, specialized
reasoning models (like Qwen-3-32b and GPT-5-nano) often ignore the emergency entirely, maintaining over 95 percent task completion rates while the user describes dying. Furthermore, the computational time required for
reasoning introduces dangerous delays: up to 15 seconds before any potential help is offered. These results suggest that training models to relentlessly pursue correct answers may inadvertently unlearn the survival instincts required for safe deployment.
Read the full abstract ▾
All authors Etienne Lanzeray, Stephane Meilliez, Malo Ruelle, Damien Sileo
Computation and Language
Unsupervised Text Segmentation via Kernel Change-Point Detection on Sentence Embeddings
Mumin Jia and Jairo Diaz-Rodriguez
Unsupervised text
segmentation is crucial because boundary labels are expensive, subjective, and often fail to transfer across domains and granularity choices. We propose Embed-KCPD, a training-free method that represents sentences as
embedding vectors and estimates boundaries by minimizing a penalized KCPD objective. Beyond the algorithmic instantiation, we develop, to our knowledge, the first dependence-aware theory for KCPD under $m$-dependent sequences, a finite-
memory abstraction of short-range dependence common in
language. We prove an oracle inequality for the population penalized risk and a localization guarantee showing that each true change point is recovered within a window that is small relative to segment length. To connect theory to practice, we introduce an LLM-based simulation framework that generates synthetic documents with controlled finite-
memory dependence and known boundaries, validating the predicted scaling behavior. Across standard
segmentation benchmarks, Embed-KCPD often outperforms strong unsupervised baselines. A case study on Taylor Swift's tweets illustrates that Embed-KCPD combines strong theoretical guarantees, simulated reliability, and practical effectiveness for text
segmentation.
Read the full abstract ▾
Computation and Language · Cross-listed from cs.HC
Design Techniques for LLM-Powered Interactive Storytelling: A Case Study of the Dramamancer System
Tiffany Wang, Yuqian Sun, Yi Wang et al. (+3 more)
The rise of Large
Language Models (LLMs) has enabled a new paradigm for bridging authorial intent and player agency in interactive narrative. We consider this paradigm through the example of Dramamancer, a system that uses an LLM to transform author-created story schemas into player-driven playthroughs. This extended abstract outlines some design techniques and evaluation considerations associated with this system.
Read the full abstract ▾
All authors Tiffany Wang, Yuqian Sun, Yi Wang, Melissa Roemmele, John Joon Young Chung, Max Kreminski
Computation and Language · Cross-listed from cs.LG
POPE: Learning to Reason on Hard Problems via Privileged On-Policy Exploration
Yuxiao Qu, Amrith Setlur, Virginia Smith et al. (+2 more)
Reinforcement learning (RL) has improved the
reasoning abilities of large
language models (LLMs), yet state-of-the-art methods still fail to learn on many training problems. On hard problems, on-policy RL rarely explores even a single correct rollout, yielding zero reward and no learning signal for driving improvement. We find that natural solutions to remedy this exploration problem from classical RL, such as
entropy bonuses, more permissive clipping of the importance ratio, or direct optimization of pass@k objectives, do not resolve this issue and often destabilize optimization without improving solvability. A natural alternative is to leverage transfer from easier problems. However, we show that mixing easy and hard problems during RL training is counterproductive due to ray interference, where optimization focuses on already-solvable problems in a way that actively inhibits progress on harder ones. To address this challenge, we introduce Privileged On-Policy Exploration (POPE), an approach that leverages human- or other oracle solutions as privileged information to guide exploration on hard problems, unlike methods that use oracle solutions as training targets (e.g., off-policy RL methods or warmstarting from SFT). POPE augments hard problems with prefixes of oracle solutions, enabling RL to obtain non-zero rewards during guided rollouts. Crucially, the resulting behaviors transfer back to the original, unguided problems through a synergy between instruction-following and
reasoning. Empirically, POPE expands the set of solvable problems and substantially improves performance on challenging
reasoning benchmarks.
Read the full abstract ▾
All authors Yuxiao Qu, Amrith Setlur, Virginia Smith, Ruslan Salakhutdinov, Aviral Kumar
Computation and Language · Cross-listed from cs.LG
Teaching Models to Teach Themselves: Reasoning at the Edge of Learnability
Shobhita Sundaram, John Quan, Ariel Kwiatkowski et al. (+3 more)
RL methods for scaling large
reasoning models stall on
datasets with low initial success rates, and thus little training signal. We investigate a fundamental question: Can a pretrained LLM leverage latent knowledge to generate an automated curriculum for problems it cannot solve? We explore this with SOAR: An asymmetric self-play framework that uses meta-RL to surface these pedagogical signals. A teacher model proposes synthetic problems for a student model, and is rewarded with its improvement on a subset of hard problems, thus grounding the curriculum in real student progress rather than intrinsic proxy rewards. Our study on the hardest subsets of math
benchmarks (0/128 success) reveals three core findings. First, it is possible to realize bilevel meta-RL that unlocks learning under sparse, binary rewards by sharpening a latent capacity of pretrained models to generate useful problems. Second, grounded rewards outperform intrinsic learnability rewards used in prior LLM self-play, reliably avoiding typical instability and diversity collapse modes. Third, the structure and well-posedness of questions are more critical for learning progress than solution correctness. Our results suggest that the ability to generate useful stepping stones does not require the preexisting ability to solve the hard problems, paving a principled path to escape
reasoning plateaus without additional curated data
Read the full abstract ▾
All authors Shobhita Sundaram, John Quan, Ariel Kwiatkowski, Kartik Ahuja, Yann Ollivier, Julia Kempe
Computation and Language · Cross-listed from cs.LG
PRECISE: Reducing the Bias of LLM Evaluations Using Prediction-Powered Ranking Estimation
Abhishek Divekar and Anirban Majumder
Evaluating the quality of search, ranking and RAG systems traditionally requires a significant number of human relevance annotations. In recent times, several deployed systems have explored the usage of Large
Language Models (LLMs) as automated judges for this task while their inherent biases prevent direct use for metric estimation. We present a statistical framework extending Prediction-Powered Inference (PPI) that combines minimal human annotations with LLM judgments to produce reliable estimates of metrics which require sub-instance annotations. Our method requires as few as 100 human-annotated queries and 10,000 unlabeled examples, reducing annotation requirements significantly compared to traditional approaches. We formulate our proposed framework (PRECISE) for inference of relevance uplift for an LLM-based query reformulation application, extending PPI to sub-instance annotations at the query-document level. By reformulating the metric-integration space, we reduced the computational complexity from O(2^|C|) to O(2^K), where |C| represents corpus size (in order of millions). Detailed experiments across prominent
retrieval datasets demonstrate that our method reduces the variance of estimates for the business-critical Precision@K metric, while effectively correcting for LLM bias in low-resource settings.
Read the full abstract ▾
Computation and Language
Dep-Search: Learning Dependency-Aware Reasoning Traces with Persistent Memory
Yanming Liu, Xinyue Peng, Zixuan Yan et al. (+7 more)
Large
Language Models (LLMs) have demonstrated remarkable capabilities in complex
reasoning tasks, particularly when augmented with search mechanisms that enable systematic exploration of external knowledge bases. The field has evolved from traditional
retrieval-augmented generation (RAG) frameworks to more sophisticated search-based frameworks that orchestrate multi-step
reasoning through explicit search strategies. However, existing search frameworks still rely heavily on implicit natural
language reasoning to determine search strategies and how to leverage retrieved information across
reasoning steps. This reliance on implicit
reasoning creates fundamental challenges for managing dependencies between sub-questions, efficiently reusing previously retrieved knowledge, and learning optimal search strategies through reinforcement learning. To address these limitations, we propose Dep-Search, a dependency-aware search framework that advances beyond existing search frameworks by integrating structured
reasoning,
retrieval, and persistent
memory through GRPO. Dep-Search introduces explicit control mechanisms that enable the model to decompose questions with dependency relationships, retrieve information when needed, access previously stored knowledge from
memory, and summarize long
reasoning contexts into reusable
memory entries. Through extensive experiments on seven diverse question answering
datasets, we demonstrate that Dep-Search significantly enhances LLMs' ability to tackle complex multi-hop
reasoning tasks, achieving substantial improvements over strong baselines across different model scales.
Read the full abstract ▾
All authors Yanming Liu, Xinyue Peng, Zixuan Yan, Yanxin Shen, Wenjie Xu, Yuefeng Huang, Xinyi Wang, Jiannan Cao, Jianwei Yin, Xuhong Zhang
Computation and Language · Cross-listed from cs.LG
Beyond Preferences: Learning Alignment Principles Grounded in Human Reasons and Values
Henry Bell, Lara Neubauer da Costa Schertel, Bochu Ding et al. (+1 more)
A crucial consideration when developing and deploying Large
Language Models (LLMs) is the human values to which these models are aligned. In the constitutional framework of
alignment models are aligned to a set of principles (the constitution) specified in natural
language. However, it is unclear how to fairly determine this constitution with widespread stakeholder input. In this work we propose Grounded Constitutional AI (GCAI), a unified framework for generating constitutions of principles that are representative of both users' general expectations toward AI (general principles) and their interaction-time preferences (contextual principles). We extend the Inverse Constitutional AI (ICAI) approach to generate contextual principles from human preference annotation data by leveraging human-provided reasons for their preferences. We supplement these contextual principles with general principles surfaced from user statements of values regarding AI. We show that a constitution generated by GCAI is preferred by humans over one generated through ICAI both personally, and for widespread use in governing AI behavior. Additionally participants consider the GCAI constitution to be more morally grounded, coherent, and pluralistic.
Read the full abstract ▾
All authors Henry Bell, Lara Neubauer da Costa Schertel, Bochu Ding, Brandon Fain
Computation and Language · Cross-listed from cs.IR
The $\mathbf{P}$-Completeness of Inverted Index Traversal: On the Complexity of Evaluating Boolean Query DAGs
Amir Aavani
Modern AI
agents increasingly rely on search infrastructure to execute complex, neuro-symbolic
reasoning workflows. These workflows often compile into deeply nested, non-monotonic Boolean queries over text fields. However, standard query evaluation strategies over inverted indices face severe theoretical limits when handling these structures. Stateful iterator models (Document-at-a-Time) are structurally bounded by $\text{NC}^1$ formula evaluation, suffering a worst-case $O(2^{|Q|})$ exponential blowup in query complexity when unrolling re-convergent logic. Conversely, recursive materialization models (Term-at-a-Time) incur an $\Omega(|U|)$ space complexity penalty (the Universal Scan) when evaluating logical negation over the document universe. In this paper, we establish the theoretical boundaries of executing complex logic natively over an inverted index. We formalize a
retrieval language ($\mathcal{L}_R$) based on Directed Acyclic Graphs (DAGs) and prove that its evaluation problem is strictly \textbf{$\mathbf{P}$-Complete}. To make evaluation tractable, we introduce ComputePN, a deterministic, sparsity-aware evaluation
algorithm. By decoupling logical negation from universe-scale materialization via a novel Positive-Negative dual representation, and utilizing native DAG memoization, ComputePN strictly bounds evaluation time to $O(|Q| \cdot |U_{\mathit{active}}|)$. This approach successfully evaluates $\mathbf{P}$-Complete queries natively over the index, avoiding both the combinatorial tree-expansion bottleneck and the universal scan penalty, laying the formal foundation for computational
retrieval.
Read the full abstract ▾
Computation and Language · Cross-listed from cs.LG
Self-Distilled Reasoner: On-Policy Self-Distillation for Large Language Models
Siyan Zhao, Zhihui Xie, Mengchen Liu et al. (+4 more)
Knowledge
distillation improves large
language model (LLM)
reasoning by compressing the knowledge of a teacher LLM to train smaller LLMs. On-policy
distillation advances this approach by having the student sample its own trajectories while a teacher LLM provides dense
token-level supervision, addressing the distribution mismatch between training and inference in off-policy
distillation methods. However, on-policy
distillation typically requires a separate, often larger, teacher LLM and does not explicitly leverage ground-truth solutions available in
reasoning datasets. Inspired by the intuition that a sufficiently capable LLM can rationalize external privileged
reasoning traces and teach its weaker self, we introduce On-Policy Self-
Distillation (OPSD), a learning
algorithm where a single LLM acts as both teacher and student with different contexts. The teacher policy conditions on privileged information (e.g., verified
reasoning traces) while the student policy sees only the question; training minimizes the per-
token divergence between these distributions over the student's own rollouts. We demonstrate the efficacy of our method on multiple mathematical
reasoning benchmarks, achieving superior
token efficiency compared to reinforcement learning methods and better performance over off-policy
distillation methods. Code repo: https://github.com/siyan-zhao/OPSD.
Read the full abstract ▾
All authors Siyan Zhao, Zhihui Xie, Mengchen Liu, Jing Huang, Guan Pang, Feiyu Chen, Aditya Grover
Computation and Language
One Adapts to Any: Meta Reward Modeling for Personalized LLM Alignment
Hongru Cai, Yongqi Li, Tiezheng Yu et al. (+4 more)
Alignment of Large
Language Models (LLMs) aims to align outputs with human preferences, and personalized
alignment further adapts models to individual users. This relies on personalized reward models that capture user-specific preferences and automatically provide individualized feedback. However, developing these models faces two critical challenges: the scarcity of feedback from individual users and the need for efficient adaptation to unseen users. We argue that addressing these constraints requires a paradigm shift from fitting data to learn user preferences to learn the process of preference adaptation. To realize this, we propose Meta Reward Modeling (MRM), which reformulates personalized reward modeling as a meta-learning problem. Specifically, we represent each user's reward model as a weighted combination of base reward functions, and optimize the initialization of these weights using a Model-Agnostic Meta-Learning (MAML)-style framework to support fast adaptation under limited feedback. To ensure robustness, we introduce the Robust Personalization Objective (RPO), which places greater emphasis on hard-to-learn users during meta optimization. Extensive experiments on personalized preference
datasets validate that MRM enhances few-shot personalization, improves user robustness, and consistently outperforms baselines. We release code at https://github.com/ModalityDance/MRM.
Read the full abstract ▾
All authors Hongru Cai, Yongqi Li, Tiezheng Yu, Fengbin Zhu, Wenjie Wang, Fuli Feng, Wenjie Li
Computation and Language
Reflect: Transparent Principle-Guided Reasoning for Constitutional Alignment at Scale
Henry Bell, Caroline Zhang, Mohammed Mobasserul Haque et al. (+3 more)
The constitutional framework of
alignment aims to align large
language models (LLMs) with value-laden principles written in natural
language (such as to avoid using biased
language). Prior work has focused on parameter fine-tuning techniques, such as reinforcement learning from human feedback (RLHF), to instill these principles. However, these approaches are computationally demanding, require careful engineering and tuning, and often require difficult-to-obtain human annotation data. We propose reflect, an inference-time framework for constitutional
alignment that does not require any training or data, providing a plug-and-play approach for aligning an instruction-tuned model to a set of principles. reflect operates entirely in-context, combining a (i) constitution-conditioned base response with post-generation (ii) self-evaluation, (iii)(a) self-critique, and (iii)(b) final revision. reflect's technique of explicit in-context
reasoning over principles during post-generation outperforms standard few-shot prompting and provides transparent
reasoning traces. Our results demonstrate that reflect significantly improves LLM conformance to diverse and complex principles, including principles quite distinct from those emphasized in the model's original parameter fine-tuning, without sacrificing factual
reasoning. reflect is particularly effective at reducing the rate of rare but significant violations of principles, thereby improving safety and robustness in the tail end of the distribution of generations. Finally, we show that reflect naturally generates useful training data for traditional parameter fine-tuning techniques, allowing for efficient scaling and the reduction of inference-time computational overhead in long-term deployment scenarios.
Read the full abstract ▾
All authors Henry Bell, Caroline Zhang, Mohammed Mobasserul Haque, Dhaval Potdar, Samia Zaman, Brandon Fain
Computation and Language
HalluCitation Matters: Revealing the Impact of Hallucinated References with 300 Hallucinated Papers in ACL Conferences
Yusuke Sakai, Hidetaka Kamigaito and Taro Watanabe
Recently, we have often observed hallucinated citations or references that do not correspond to any existing work in papers under review, preprints, or published papers. Such hallucinated citations pose a serious concern to scientific reliability. When they appear in accepted papers, they may also negatively affect the credibility of conferences. In this study, we refer to hallucinated citations as "HalluCitation" and systematically investigate their prevalence and impact. We analyze all papers published at ACL, NAACL, and EMNLP in 2024 and 2025, including main conference, Findings, and workshop papers. Our analysis reveals that nearly 300 papers contain at least one HalluCitation, most of which were published in 2025. Notably, half of these papers were identified at EMNLP 2025, the most recent conference, indicating that this issue is rapidly increasing. Moreover, more than 100 such papers were accepted as main conference and Findings papers at EMNLP 2025, affecting the credibility.
Read the full abstract ▾
Computation and Language
Gained in Translation: Privileged Pairwise Judges Enhance Multilingual Reasoning
Lintang Sutawika, Gokul Swamy, Zhiwei Steven Wu et al. (+1 more)
When asked a question in a
language less seen in its training data, current
reasoning large
language models (RLMs) often exhibit dramatically lower performance than when asked the same question in English. In response, we introduce SP3F (Self-Play with Privileged Pairwise Feedback), a two-stage framework for enhancing
multilingual reasoning without any data in the target
language(s). First, we supervise fine-tune (SFT) on translated versions of English question-answer pairs to raise base model correctness. Second, we perform RL with feedback from a pairwise judge in a self-play fashion, with the judge receiving the English reference response as privileged information. Thus, even when none of the model's responses are completely correct, the privileged pairwise judge can still tell which response is better. End-to-end, SP3F greatly improves base model performance, even outperforming fully post-trained models on multiple math and non-math tasks with less than of the training data across the single-
language,
multilingual, and generalization to unseen
language settings.
Read the full abstract ▾
All authors Lintang Sutawika, Gokul Swamy, Zhiwei Steven Wu, Graham Neubig
Computation and Language · Cross-listed from cs.LG
Mechanistic Analysis of Catastrophic Forgetting in Large Language Models During Continual Fine-tuning
Gustav Olaf Yunus Laitinen-Fredriksson Lundstrom-Imanov
Sequential fine-tuning of Large
Language Models (LLMs) adaptation to target tasks often triggers catastrophic forgetting, where the acquisition of novel target skills degrades ancestral capabilities. This paper presents a systematic comparative study of catastrophic forgetting across twenty premier models representing the state-of-the-art in mid-2026. We categorize our investigation into two primary research lines: (i) a behavioral and semantic output drift analysis of ten leading closed-source models (including Claude Fable 5, GPT-5.5 High, and Gemini 3.5 Flash), and (ii) a deep mechanistic interpretation of ten prominent open-weight architectures (such as DeepSeek-V4-Pro, Llama 4 Maverick, and Qwen 3.6-27B). Through weight-space trajectory tracking, Centered Kernel
Alignment (CKA), and routing gate drift calculations in Mixture-of-Experts (MoE) layers, we localize the neural
circuits highly susceptible to parameter overwriting. Our findings indicate that early-layer
attention heads exhibit systemic entropic dispersion, while mid-to-deep feed-forward networks (or sparse expert blocks) suffer localized representation collapse. Informed by these insights, we introduce Low-Rank
Circuit Projection (LRCP), a subspace-regularized training intervention. Empirical evaluations show that LRCP successfully mitigates up to 94.2% of ancestral capabilities in open-weight configurations and matches the adaptation velocity of standard PEFT baselines.
Read the full abstract ▾
Computation and Language · Cross-listed from cs.AI
FadeMem: Biologically-Inspired Forgetting for Efficient Agent Memory
Lei Wei, Xiao Peng, Xu Dong et al. (+2 more)
Large
language models deployed as autonomous
agents face critical
memory limitations, lacking selective forgetting mechanisms that lead to either catastrophic forgetting at context boundaries or information overload within them. While human
memory naturally balances retention and forgetting through adaptive decay processes, current AI systems employ binary retention strategies that preserve everything or lose it entirely. We propose FadeMem, a biologically-inspired
agent memory architecture that incorporates active forgetting mechanisms mirroring human cognitive efficiency. FadeMem implements differential decay rates across a dual-layer
memory hierarchy, where retention is governed by adaptive exponential decay functions modulated by semantic relevance, access frequency, and temporal patterns. Through LLM-guided conflict resolution and intelligent
memory fusion, our system consolidates related information while allowing irrelevant details to fade. Experiments on Multi-Session Chat, LoCoMo, and LTI-Bench demonstrate superior multi-hop
reasoning and
retrieval with 45% storage reduction, validating the effectiveness of biologically-inspired forgetting in
agent memory systems.
Read the full abstract ▾
All authors Lei Wei, Xiao Peng, Xu Dong, Niantao Xie, Bin Wang