40 papers across AI, ML, NLP, and CV from the last 24 hours.
World models are becoming the organizing primitive. Five papers today attack interactive long-horizon generation from different angles: AlayaWorld refines its conditioning architecture to keep latent state externalized rather than caching it in context, Alaya-EVOKE tackles the same persistent-memory problem for video world models, PlayWorld introduces agent-driven benchmarks that evaluate models by pursuing objectives rather than passive playback, DreamX-Phi grounds world models in robotic manipulation with action-conditioned rollouts, and a clinical forecasting paper adapts the world-model paradigm to post-operative patient trajectories. The pattern is clear — researchers are treating world models not as video generators but as state machines with memory, agency, and measurable consistency.
Interpretability is moving from post-hoc analysis to built-in explanation. SAEVerbalizer injects sparse autoencoder directions directly into an LLM's representations so the model can explain its own features, Synthetic Persona Pretraining installs alignment during pretraining rather than bolting it on afterward, and QuoteBench exposes a silent failure mode in coding agents where shell-escaping bugs at the generation-execution boundary masquerade as model errors under matched scoring.
QuoteBench is the standout for its diagnostic clarity: it shows that evaluating coding agents by matching outputs alone can completely miss failures introduced by the transport layer between model output and shell execution, meaning many published agent benchmarks may be measuring the wrong thing.
Notable absences: no papers on large-scale foundation model training runs, no new transformer architecture variants, and surprisingly little work on retrieval-augmented generation despite its ubiquity in production. The batch leans heavily toward systems that interact with environments — physical, simulated, or clinical — rather than static text prediction.
The collective signal is that the field is shifting from "bigger models" to systems that maintain state over time, reason about consequences, and explain their own behavior from the ground up.
Yaxin Luo, Haobin Jiang, Jialv Zou · 2026-08-13
Transforming multimodal sources into condensed and structured media outputs can be fundamentally conceptualized as a long-horizon agentic process centered on a model-harness system. While an ideal harness system should align with human design priors and accumulate reusable experience through empirical exploration to drive recursive self-improvement, existing paradigms remain static and fall short ...
Bobo Li, Hao Fei, Tianjie Ju · 2026-08-13
Recent advances in foundation models have enabled AI scientists to automate increasingly complete research workflows, from hypothesis generation and code execution to manuscript preparation. Yet workflow coverage alone does not provide access to the full evidence on which scientific discovery depends. Existing systems typically reason over text, code, labels, or precomputed summaries, leaving scie...
Dairu Liu, Zekun Qi, Jiayu Zeng · 2026-08-13
Humanoid motion tracking is central to teleoperation and whole-body imitation, yet evaluation often disagrees with what people perceive in videos. Kinematic errors average per-frame pose differences but miss the physical artifacts that matter most, particularly unstable support and incorrect contacts such as foot skating and mistimed touch-downs. Meanwhile, widely used test suites are small and la...
Shangao Li, Yao Zhang, Volker Tresp · 2026-08-13
LLM coding agents issue Bash commands through interfaces that may serialize, wrap, and reparse model output. Matched execution scores alone cannot distinguish command-generation errors from failures introduced after generation. QuoteBench measures this boundary with exact final-state validation on 56 one-shot tasks from 14 incident-derived families, crossing the generation contract with the execut...
Fanfei Li, Jana Zeller, Manuel Prada-Corral · 2026-08-13
Modern language models are trained on heterogeneous web-scale text corpora. Consequently, studying knowledge and skill acquisition is difficult, as prior exposure to related content is hard to characterize. To address this challenge, we introduce LITTLECURRICULUM, a curated 88B-token pretraining corpus tailored to U.S. elementary school material, explicitly excluding concepts, facts, and vocabular...
Zhe Ye, Hantao Lou, Yuechun Sun · 2026-08-13
AI agents are increasingly used for programming, but do not provide any guarantee on the correctness of generated code. Verified code generation, in which an agent produces both an implementation and a machine-checked proof of its specification, offers a stronger path toward trustworthy AI-generated software. Existing benchmarks in this direction either focus on individual functions or only evalua...
Martin J. Wainwright · 2026-08-13
We study masking diffusion for discrete sampling and introduce a path-resolved measure of data geometry called the \emph{unmasking growth complexity} ({\textsf{UGC}\xspace}). Its local increments directly control Kullback--Leibler (KL) discretization error, yielding a unified analysis of Bernoulli-subset and fixed-cardinality unmasking schemes. In log-reveal-odds coordinates, this structure yields...
Peter Schneider-Kamp, Jacob Nielsen, Gianluca Barmina · 2026-08-13
Current large language model development relies on massive, often non-permissible datasets, creating a high barrier for researchers committed to open-source and ethically sourced data. We introduce Mimir v1, a 1-billion-parameter language model based on the Hierarchical Reasoning Model (HRM) architecture, that is trained from scratch and delivers highly competitive performance for English and sets...
This report presents an improved version of AlayaWorld. While the backbone architecture, chunk-wise autoregressive generation scheme, and training data remain unchanged from the previous release, we substantially revise how conditioning signals are represented and integrated into the model. The new design is guided by a simple principle: conditioning signals should match the generated content as c...
Dananjay Srinivas, Saksham Khatwani, Maria Pacheco · 2026-08-13
When asked about entities outside their knowledge boundary, LLMs routinely fabricate plausible-sounding details rather than backing off to safer, more general claims. We frame this failure through a Gricean lens: a cooperative speaker who is uncertain about a referent retreats up the specificity hierarchy, trading informativeness for truthfulness. We ask whether LLMs have the ingredients to perfor...
Julian Minder, Viktor Moskvoretskii, Raghav Singhal · 2026-08-13
As language-model-based AI is increasingly deployed in autonomous settings, aligning its goals and values with those of humans becomes critical. Today, alignment, and the assistant identity itself, are typically introduced only after pretraining, once behavioral priors are already established. This can make values a thin overlay, rather than deeply rooted, and facilitate subsequent misalignment. P...
Saisha Shetty, Satvik Tripathi, Austin Lin · 2026-08-13
We present Multi-Agent Reasoning and Coordination (MARC), an open-source framework that replaces monolithic LLM prompting with deterministic multi-agent orchestration for clinical reasoning. MARC coordinates role-specialized agents for extraction, reasoning, answer generation, and evaluation, with explicit context passing and traceable intermediate outputs, enabling stage-wise failure attribution....
Mohammed Ayman Habib, Rylan Hart, Morteza Fayazi · 2026-08-13
Analog circuit design is a time-consuming, iterative process in a nonlinear and high-dimensional design space that relies heavily on expert intuition. Among recent developments, LLMs have introduced a promising approach by bringing natural language reasoning to circuit design tasks. The majority of conventional LLM-based approaches provide fragmented solutions that focus either only on sizing or t...
Christofer Washington Berruz Chungata, Martin Jurecek, Katerina Potika · 2026-08-13
Concept drift refers to changes over time in the statistical properties of data, as compared to the data that was used to train a learning model. Machine learning models for malware detection or classification are particularly susceptible to performance degradation caused by concept drift, as attackers constantly modify existing malware. In this chapter, we analyze two machine learning-based appro...
Daniel Perkins, John Squires, Janou Milligan · 2026-08-13
Modern image classification models excel when trained on single task-specific datasets but often struggle to generalize across domains and difficulty levels. We propose ARMDIL, an Adaptive Router for Multi-Domain Image classification with LLMs. ARMDIL is an ensemble that uses a multimodal large language model (MLLM) agent to dynamically route each image to the most suitable vision backbone. Our di...
Jim Woodcock, Gabriel Leite, Augusto Sampaio · 2026-08-13
We address the use of large language models (LLMs) to help discover Isabelle proofs. An Isabelle build establishes that the submitted theory is accepted, but not that an LLM changed only what the developer authorised. We present CAPRI, a contract-aware repair workflow in which Isabelle checks the proof and an independent checker enforces a machine-readable edit contract. Prompts, proposals, candid...
Georgy Noarov, Aaron Roth · 2026-08-13
We study online probabilistic forecasting of binary outcomes chosen by an adaptive adversary. Given an online learning algorithm for a weak hypothesis class $H$, we would like to efficiently obtain two incomparable guarantees that existing online boosting techniques provide separately. Online gradient boosting competes in Brier score with the best predictor induced by the span of $H$ on every sequ...
Mingyuan Zhang · 2026-08-13
The per-instance Jaccard score, or intersection over union (IoU), is standard in multi-label classification and binary segmentation. With $s$ labels, its loss matrix has $2^s$ outcomes and reports. Under the convention $\mathrm{Jac}(\varnothing,\varnothing)=1$, we prove that the Jaccard score, shifted-loss, and ordinary loss matrices are nonsingular and that the loss columns have affine dimension ...
Tianyi Li, Yaxin Luo, Xinyi Shang · 2026-08-13
Speculative decoding losslessly accelerates autoregressive language models by verifying multiple draft tokens in parallel. Diffusion-based drafters further reduce proposal latency by predicting an entire token block in parallel, but their position-wise distributions are marginal rather than conditioned on tokens selected along each draft path. Existing recurrent correction incorporates causal info...
Ishaan Kannan, Sridhar Prabhu, Saeed A. Khan · 2026-08-13
Quantum technology has the potential to transform scientific discovery, but quantum advantages often require processing capabilities well beyond the reach of experimental platforms. We show that coupling a single controllable qubit to an otherwise conventional sensor can exponentially reduce the number of measurements required to learn classical signals. These rigorous quantum advantages apply to ...
Yunsung Chung, Yingshuo Liu, Abboud F. Hassan · 2026-08-13
Many clinical prediction models treat post-intervention outcomes as a one-step mapping from baseline measurements to a future endpoint. However, recovery after a procedure often unfolds as an irregular trajectory: clinical observations, medication changes, repeat interventions, and physiological measurements are recorded asynchronously and can change risk assessment over time. We propose an interv...
Omar Montasser · 2026-08-13
We revisit the problem of learning predictors robust to adversarial examples at test-time. We prove that VC classes are adversarially robustly learnable with sample complexity linear in the VC dimension $d$, providing an exponential improvement over the previous upper bound of Montasser, Hanneke, ML, and Srebro (2019). Remarkably, this result is achieved with a simple improper algorithm that combi...
David Chushig-Muzo, María Ángeles Rodríguez de Cara, Eva Milara · 2026-08-13
Tabular-to-image methods have emerged as novel approaches to leverage the high predictive performance of convolutional neural networks and vision transformers. They convert tabular data into image representations, mapping each feature at a fixed pixel location derived from a theme-reduction method (e.g., t-SNE, UMAP, PCA). However, they encode only the marginal value of each feature and discard in...
Nestor R. Barraza, Gabriel Pena · 2026-08-13
Machine learning procedures are commonly evaluated in terms of predictive accuracy and computational efficiency. However, their achievable performance is fundamentally constrained by structural properties of the underlying data-generating process, which are formalized in terms of informational bounds. In this work we examine intrinsic limits of data-driven decision systems from an information-theo...
Bingqing Cheng · 2026-08-13
Liquids exhibit collective behavior that depends sensitively on thermodynamic conditions, interfaces and confinement, yet predicting each new state commonly requires a separate atomistic simulation. Classical density functional theory offers a reusable variational description, but its central excess free-energy functional is generally unknown, and learned approximations have largely remained restr...
This digest is generated automatically from arXiv submissions. Not affiliated with arXiv or Cornell University.