arXiv

Operon-S1 introduces a System 1-style fast decision controller that separates judging from doing in long-horizon biomedical LLM agents, posing 13 recurring judgements as closed questions answered by a local model in 0.6s median latency while cutting decision-related cost from 8.0%–35.2% with no measurable accuracy loss on five of six benchmarks.

The paper introduces SERIAL-7, a Korean–English benchmark with an executable verification framework that evaluates LLMs on deriving, realizing, and preserving machine-verifiable outputs across seven representations and 43 atomic constraints, revealing significant gaps in structured generation reliability across ten models.

The paper shows that a student model's traits can transfer purely through a judge's reward scores during GRPO post-training, even when outputs contain no semantic trace of the trait, and establishes a four-stage causal chain explaining when this subliminal transfer occurs, with implications for AI-safety dispositions.

SAT-ACT is a learning framework for CDCL branching that extracts action preferences from outcome-derived rollouts at the same solver state, trains a state-conditioned network to guide branching, and reduces search costs while improving PAR-2 on SAT Competition benchmarks.

SciGraphSelect introduces a reference-grounded framework for auditable scientific data selection, organizing domain knowledge and reasoning operations into typed knowledge–reasoning graphs to score candidate documents with traceable evidence.

The paper evaluates whether LLM agents can reliably construct complete executable JSON specifications for automated PDE simulation setup (geometry, meshing, solving, export), showing a full workflow with scientific checks and clarification achieves 98.3% correct specification outcomes versus 92.5% schema-assisted single-shot and 82.5% model-only baselines.

The paper introduces CivHarness, a replay-grounded system for generating long-horizon feedback in Freeciv, and CivTelescope, an LLM judge that predicts which game position leads to a better outcome, addressing 'scoreboard traps' where in-game scores mislead. Using CivTelescope as a dense reward (CivMarshmallow), agents achieve 8.94-point mid-game gains, 77% above the best baseline.

The paper introduces MemIG, a self-evolving memory framework for LLM agents that stores experience as indexable, quantitative, structured records (instead of free-form text) to improve in silico antibody optimization, including epistasis modeling of co-applied mutations.

本文提出结构保持的专家剪枝框架，通过 PEEP 与 DCEP 两种方法利用专家输出的结构冗余性对稀疏 MoE 大模型进行剪枝，在 DeepSeek-V2-Lite 和 Qwen3-30B-A3B 上超越现有基线。

The paper introduces TRIDENT, a round-trip translation-based framework with three classification variants, and SHAKTI, a large-scale benchmark dataset for detecting AI-generated Hindi text, evaluated across multiple genres, LLMs, adversarial settings, and seven languages.

RTL-Interact is a multi-task post-training framework that trains a single RTL-specialized LLM to generate RTL, construct EDA checks, and revise designs using tool feedback, paired with Pattern-Aware Policy Optimization (PAPO) for multi-task RL. On CVDP, RTL-Interact-32B reaches 48.7% weighted Pass@1 and 68.9% Pass@5 (surpassing DeepSeek-V3.2), while PAPO cuts average tool calls by 63.8% and the models outperform RTL-specialized baselines on VerilogEval v2 and RTLLM v2.

A researcher-in-the-loop pipeline combining LLM-guided program evolution, exact evaluation, and Lean formal proof checking discovers a new family of entanglement-assisted quantum error-correcting codes, closing 54 gaps in archived EAQECC tables with 115 verified records and 10 certified nonexistence results.

The paper introduces ImplicitHop, two natural-language benchmarks measuring deductive reasoning by inference depth (hops), and finds that accuracy decays sharply with composition length across 15 open models, with in-context knowledge substantially outperforming knowledge encoded in pretrained weights.

The paper proposes TARGRS, a test-time detoxification framework that learns token-level, transition-aware reward guidance over toxicity trajectories in LLM latent space, achieving up to 69.38% toxicity reduction on RealToxicityPrompts and extending to vision-language models with minimal inference overhead.

FrontierMat introduces a benchmark of 330 validated frontier materials R&D problems for language models, finding the strongest model scores only 53.7% and that a domain-adaptation method lifts an open-weight model to 55.4%, matching proprietary leaders.

The paper proposes a surrogate-assisted genetic programming framework for lifelong learning of scheduling rules in dynamic flexible job shop scheduling, using an adaptive two-stage training strategy and task-similarity-based weighting to mitigate catastrophic forgetting while adapting to new tasks.

The paper introduces Counterfactual Pairwise Augmentation (CPA), a fine-tuning method that synthesizes opposite-labeled counterfactual responses to make decision boundaries explicit for small pointwise LLM judges, improving macro-F1 by 2.5 points over pointwise-only training and beating Gemini 3.6 Flash by 11.8 points on six binary criteria.

该论文研究在单一人类注意力有限、多个 AI 代理并行执行任务时，代理应在何时自主搜索信息、何时向人类请求澄清，并提出 Pairwise Coordination Policy (PCP)，在合成基准与 LLM 案例研究中显著降低成本。

Introduces a 400-question benchmark evaluating when commercial LLMs choose to search the web versus answering from internal memory, finding that models like GPT-5 mini and Grok 4 Fast search appropriately on outside-knowledge questions while Mistral Small often abstains instead, with search behavior heavily influenced by explicit temporal cues.

The paper proposes PACE (Proxy Alignment and Curvature Expansion), a pre-optimization diagnostic that uses repeated human ratings to predict the human-gain curve induced by a fixed proxy, modeling proxy optimization as a KL-regularized exponential tilt with first-order alignment and second-order correction terms, and shows reduced held-out gain-prediction error across multiple benchmarks.