Intrduce ViBench 2.0, a benchmark decomposing coding agent tasks into feature requests and builds to reveal build-level failures not captured by unit tests.
Intrduces SVGFaith, a meta-evaluation framework revealing that existing faithfulness metrics for SVG generation fail on spatial relations, and proposes a better metric.
Compares explicit updated permission records against long history logs, showing that maintaining a concise current-state memory is more reliable for permission tracking.
Benchmarks and methods for evaluating and enabling language-model agents to learn from their own past experiences and capability goals without external supervision.
The running synthesis for this thread is for subscribers. Sign in or subscribe.
Decomposes what 'verified' means for LLM generated code, showing verifier acceptance can be high but spec binding is low, promising static analysis with LLM hybrid approaches.
Couples an LLM-agent with the Lean 4 proof assistant to formally verify GPU kernels against reference implementations, a direct hybrid of static verification and language model code generation.
Finds that discarding reasoning steps from training data does not harm agents on standard benchmarks, questioning the need for thought supervision in distillation.
Identifies a systematic under-weighting of high-confidence tokens in on-policy distillation, which distorts the student's learned distribution away from the teacher's guidance.
Demonstrates that a compact student (4B parameters) can reach 93% of a teacher's performance on real robot tasks using a fraction of accelerator time, advancing distillation efficiency for embodied agents.
Reveals a counterintuitive link between higher factual memory (facts seen once) and greater scientific discovery, informing how training data rarity affects model behavior.
Reveals that mid-depth layers are better than the owning layer for scoring KV-cache evictions, improving cache management decisions for inference throughput.
Trains an action-probability head over action menus rather than generating text, reformulating the RL reward signal to focus on correct choice rather than token-level generation.
Investigates how reinforcement learning post-trained generative models behave under test-time scaling, including quality degradation with more sampled candidates.
The running synthesis for this thread is for subscribers. Sign in or subscribe.
Shows that allocating more attempts to harder inputs is near-optimal only on easy workloads, revealing limitations of current test-time scaling practices.
Proposes a two-level data selection rule for offline RL based on policy-target mismatch, cutting training tokens by two thirds while improving accuracy.
Generates thousands of abstract reasoning puzzles based on spatial and semantic concepts and tests reasoning models, revealing failures on non-linguistic operations.
Shows that pruned models can retain problem-solving coverage on math and code tasks even when one-shot accuracy drops, using pass@k to separate coverage from sampling efficiency.
Proposes finetuning that temporarily deletes safety neurons to teach alignment without them, and shows resistance to pruning-based jailbreaks, illuminating safety neuron dependence.
Shows that suppressing misaligned behavior from a partially misaligned state leads to longer-lasting fixes, contributing to understanding alignment dynamics.
Introduces a hybrid reasoning framework that gating decides whether to emit an explicit token or feed hidden state directly, reducing trace length without losing accuracy.
Exposes a new vulnerability in offline RAG: integrity of precomputed embeddings is not verified, enabling adversarial hijacking even when tolerance checks pass.
Techniques for optimizing the code, instructions, and training frameworks surrounding LLM agents to improve performance and reduce cost without changing model weights.
The running synthesis for this thread is for subscribers. Sign in or subscribe.
Compresses tool outputs into latent tokens, reducing token consumption by 70-89% and runtime by 24-56% while improving agent performance, directly optimizing agent harness cost.
Introduces WebCatalyst, a RL framework using browser games to train LLMs for interactive HTML generation, achieving performance surpassing frontier models with few training requests.
Augments vision-language agents with classical task and motion planning to boost household task success, an optimization of the agent's decision pipeline.
Distills a latent motion prior from human soccer capture into a humanoid policy for multiple skills, demonstrating action transfer across human to robot embodiments.
Introduces a framework that adapts world models for real-time interactive exploration by agents and humans, targeting embodied training in virtual environments.
Introduces a pre-execution scorer that evaluates multiple imagined futures from a world action model before selecting an action, improving robot success rates.
Studies detection of semantically invalid robot commands (e.g., swapped axes) using a model that links command structure to observed outcome, extending grounding to action-level correctness.
Investigates when language models make shared mistakes, especially under reasoning, and how correlated errors affect ensembles, evaluation, and deployment.
The running synthesis for this thread is for subscribers. Sign in or subscribe.
Finds that reasoning increases inter-model agreement while also increasing shared mistakes, adding evidence on correlated errors across reasoning models.
Presents HALO, a humanoid system that learns camera-to-movement policies from simulated demonstrations and transfers to real homes, advancing balance and navigation.