Recent work has explored visual reasoning through image generation, where models solve visual-reasoning problems by directly generating solution images. Intuitively, iterative samplers such as flow matching are well suited to this task, since each sampling step may resemble one reasoning step. However, in this work, from a circuit complexity perspective, we show that this intuition is misleading. We prove that as long as the model outputs satisfy certain mild regularity conditions, the trajectory of the vanilla flow-matching sampler can be simulated by a constant number of sequential rounds of parallel model evaluations. Consequently, additional sampling steps cannot increase the expressive power of a constant-depth backbone model under the standard complexity-theoretic model of transformers. We then reveal that self-conditioning, which conditions the model on the previous step's estimate of the final image, plays a previously unrecognized role in removing this bottleneck. Controlled experiments on diverse visual-reasoning tasks show that flow matching with self-conditioning achieves higher accuracy and greater reasoning depth than vanilla flow matching, and its performance improves with more sampling steps. Theoretically, we prove that with self-conditioning, a constant-depth backbone can achieve expressive power equivalent to that of space-bounded Turing machines. Our study suggests a design principle for future visual reasoning research: carry more information between sampling steps, so that additional steps translate into deeper reasoning.
Translation pending · showing the source descriptionThe chart will appear after repeat observations. The current metric comes from the source.
2 source votesReal observations only. History before source connection is not reconstructed.
This paper introduces RuleTrek, a multi-domain benchmark for evaluating agents' ability to reason about rules in complex scenarios. The benchmark uses structured rule graphs and generates sub-scenarios to assess capabilities in rule identification, deduction, and end-to-end reasoning.
yesterdayDaily PapersThe study presents AgentSWE, a benchmark evaluating coding agents' ability to build agents aligned with user requirements. The research found that existing agents fail to accurately fulfill tasks, as there is a significant gap between demonstrated and actual performance.
6 days agoDaily PapersThe paper introduces S-Space, a linear subspace in multimodal language models where object-token representations encode continuous spatial coordinates. It demonstrates that S-Space serves as an internal workspace for spatial reasoning, enabling accurate spatial judgments through perception, internal reasoning, and selective verbal access, while highlighting limitations in spatial transformations across viewpoints.
6 days agoDaily PapersThe paper introduces TerminalHorizon, an automated data synthesis engine for long-horizon terminal agents. It constructs 1.5K task environments and fine-tunes Qwen3.5-27B to create TerminalHorizon-27B, achieving performance gains across multiple benchmarks. The model demonstrates improved ability to experiment, refine methods, and retain effective improvements in final results.
6 days agoDaily PapersUrbex is an agentic vision-language framework that reformulates grounding as active spatial search. It represents a city-scale 3D scene as an interactive multi-view environment, enabling a VLM agent to query landmarks, zoom into local regions, and commit grounded bounding boxes. Experiments show Urbex achieves the best Hit@1 and IoU on CityRefer.
2 days agoDaily PapersContext can enhance the performance of large language models, but these gains may be lost after context removal. Researchers introduced Cortex, which generates prospective queries to anticipate context usage and distills context-conditioned outputs into mergeable low-rank or structural network updates. Cortex shows effectiveness in consolidation and retention of performance.
yesterday