Nouveau Recherche PDF, HTML, DOCX et bien d'autres formats.

Recherche

Explorer le corpus

830 documents correspondants.

Prépublication · 2026 arXiv EN

Latent Compaction with Test-Time Training

Long contexts enlarge key--value (KV) caches, increasing memory use and attention costs during generation. Compressing these caches must preserve information for unseen questions. We introduce **Latent Compaction**, which learns a compact document-specific cac...

Yingfa Chen, Xingyu Shen et al. #cs.CL
Prépublication · 2026 arXiv EN

Beyond LLM Judge: Mechanical Verification for Agentic Autoformalization

We introduce a novel method for verifying Lean formalizations that goes beyond LLM-judged faithfulness. Unlike most verification methods, which rely on LLMs or trained models, our method combines LLM-based semantic review with mechanical numerical and vacuity...

Anna Mei, Michael R. Douglas #cs.LO
Prépublication · 2026 arXiv EN

Recovering Reliable Supervision via Critique-Guided On-Policy Distillation

On-policy distillation (OPD) trains a student model on its own rollouts with token-level supervision from a teacher, assuming that the teacher can reach a correct answer from any prefix the student writes. We call this property the recoverability of the teache...

Kaixiang Zhao, Tianrun Yu et al. #cs.LG
Prépublication · 2026 arXiv EN

Manacá-1B-Instruct-2: Reproducible Safety Alignment for a Native Brazilian-Portuguese LLM. Negative DPO Results, a Controlled Composition Scan, and a Silent Failure Mode of the LLM Judge

Brazilian Portuguese remains underserved by open-source language models, and the few that are safety-aligned rarely document what did not work or validate comparisons with statistical significance. We present Manacá-1B-Instruct-2, the second-generation post-tr...

Bruno Leonardo Santos Menezes, Carlos Leonardo Souza Cardoso et al. #cs.CL
Prépublication · 2026 arXiv EN

Scaling Discovery Requires Forgetting

Automated research with LLM agents has shown promising results in various domains. Through iterative refinement and scored verifiers, LLM agents are capable of discovering new ideas. There are different ways to scale automated research: let one agent iterate f...

Shangyin Tan, Ben Zhou et al. #cs.AI