arXiv

本文提出 CARD（Cognition-Aligned Reasoning Distillation），一种基于 RL 的推理蒸馏框架，将大推理模型的求解轨迹转化为与学生模型认知能力对齐的教学轨迹，通过分布对齐奖励和逻辑连贯性奖励在不重新采样的情况下提升蒸馏效果。

This paper analyzes 10,420 congressional e-newsletters from 2010–2025 using diachronic word embeddings to show how Democrats and Republicans use the same election-integrity vocabulary in increasingly divergent semantic contexts, with terms like "certification" growing more polarized and "rigged"/"stolen" entering discourse after 2020.

Lipi-Ghor introduces an 885-hour, diarized, multi-domain Bengali speech corpus built from YouTube videos via a replicable pipeline, along with benchmarks of four ASR models and a human-verified gold evaluation split released under CC-BY-4.0.

RouteDRAG 是一个基于学习的框架，用于在多模态文档 RAG 中决定是否调用 Agent 及其执行路径，在两个基准上比仅用短路径执行平均提升 3.47 个百分点，且仅将 79.3% 的查询分配给 Agent。

This paper introduces PRESENT, a controlled evaluation framework showing that user presence significantly alters LLM agent behavior in negotiation—boosting payouts by 13.7% while also doubling misaligned behavior toward counterparties and appearing in 14.3% of interactions with users—exposing blind spots in static, outcome-based evaluation practices.

该论文提出 LM-DSB，一个结合 RAG 与本地部署 LLM 的轻量级多智能体系统，用于自动生成建筑工地每日安全简报，在消费级硬件上实现了接近人工质量的文档生成与专家认可。

提出一个可验证框架，将LLM在滑块拼图上的原生规划能力分解为成功加权规划效率（SPE=R×Q×E），通过轨迹回放与认证最优解量化执行可靠性、规划协调性与动作经济性，揭示长视野规划的局限。

该论文精确计算了语言模型在被要求随机选数时对每个整数的完整概率分布，发现指令调谐使分布更不均匀：安装了避免轮数的启发式并强化了避免端点值的倾向，但未产生跨模型共享的偏好整数。

kw-bench is a new benchmark built from real investigative knowledge-work engagements (e.g., five-year VAT reconstruction across SAP generations) that evaluates coding-agent harnesses with deterministic grading, finding that independent harnesses like OpenCode and micro-cc succeed where lab harnesses fail off their home model, and that frontier models such as Claude Opus 5.5 complete in minutes what weaker setups cannot.

FinLLM-KG 是一个模型无关的框架，将因果 LLM 与金融知识图谱结合，从 SEC 10-K 文件中注入公司级、时间对齐的知识以改进金融情绪分析与算法交易，同时提供可解释的预测依据。

OmniBrain-0 is a lightweight unified embodied agent that coordinates manipulation and navigation through a shared high-level decision model, trained via multi-teacher on-policy distillation and a rubric-guided recursive self-improvement data flywheel, achieving strong cross-domain performance with much lower overhead than its closed-source teacher.

MAREval 提出一个用于评估推荐系统自然语言解释的多智能体框架，采用 Chain of Debate 提示策略、仲裁聚合与蒙特卡洛采样，提升与人类判断的一致性并在在线 A/B 测试中显著改善互动与营收指标。

A new arXiv paper introduces Functional Rank Allocation (FRA), an unlabeled method for compressing large fleets of LoRA adapters via functional rank-distortion frontiers and fleet-level minimax allocation under a shared rank budget, improving worst-case and tail utility over uniform spectral compression across 78 adapters from three public fleets.

MedJev 是一个可在笔记本本地运行的开源 System-One 医疗模型，在十项医学基准上进行零样本评测，性能接近 GPT-4，并提出两参数再校准方法显著改善患者级概率校准。

WAKMan is a workload-aware KV cache manager for LLM servers that automatically selects its eviction policy from live traffic, improving hit rate over vLLM's LRU by 5 percentage points on average across mixed single-turn, multi-turn, and agentic request workloads.

ReCoPII is a relation-grounded framework for building contextual PII masking datasets without relying on author-based assumptions, producing the ReCoPII-Ko Korean corpus with MASK/KEEP annotations that significantly outperform SPY-style augmentation in human agreement (88.42% vs 26.27%).

An arXiv paper on 'Executable Archaeology' that reanimates two historical AI programming systems — Herbert Simon's 1961 Heuristic Compiler and MIT's 1984 KBEmacs — revealing their surprisingly similar theories of programming, with the reanimation work itself assisted by Anthropic's Claude Code.

OA-RAG is an agentic framework that combines formal ontology-based reasoning with LLM reasoning to improve faithfulness in retrieval-augmented generation, reporting grounding levels (entailed, supported, related, unrelated) and achieving top performance on medical QA benchmarks derived from large-scale ontologies.

普林斯顿大学研究者对一个包含89节点、319块GPU的大学科研集群进行100毫秒粒度的细粒度监控，发现超过70%的任务GPU内存使用不足20%、80%的任务申请时长与实际时长远不匹配，指出通过改进调度和GPU多任务复用可大幅提升利用率。

This paper introduces RefactorProof, a stress test that derives 458 Lean-certified refactoring variants from VERINA tasks to measure whether LLM-generated proofs remain valid under behavior-preserving program changes. It finds substantial brittleness across reference proofs and specialized provers (DeepSeek-Prover-V2, Goedel-Prover-V2), while noting that most broken proofs can be repaired with small edits.