DyRA is introduced, a dynamic resolution adjustment network providing an image-specific scale factor for existing detectors providing an image-specific scale factor for existing detectors utilizing specially designed loss functions, namely ParetoScaleLoss and BalanceLoss.
Daeun Seo, Hoeseok Yang, Hyungshin Kim· 3 citations· ⚡1
Normative and algorithmic theories of neural computation are integrated to present a mathematical framework for inferring canonical distributed computations from large-scale neural activity patterns and recover the latent variables, their neural representation and dynamics, and canonical message functions that govern t...
Rajkumar Vasudeva Raju, Zhe Li, Scott W. Linderman et al.· arXiv.org· 2 citations
This study suggests that machine-checked specifications in Lean can replace empirical evaluation in open-ended algorithm discovery and is the first example of an automated pipeline that designs efficient black-box optimisation algorithms with machine-checked runtime bounds in Lean.
FNO-MoE is introduced, a Fourier neural operator with a mixture of experts that predicts the full near-explicit chemical state over 30 minutes in a single call and guides its own training, using the disagreement among its experts to select the most informative box-model simulations.
Zhi-Song Liu, W. Peng, Ammar Kheder et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Zero-shot detection of machine-generated text is vital for mitigating the risks of large language models (LLMs) misuse. While the state-of-the-art dual-model detectors and resampling-based detectors outperform single-model statistical detectors on unprompted continuations, they suffer a catastrophic breakdown on instru...
Xinpeng Wang, Bruce Rushing, Zhizhen Chen et al.· 0 citations
Agents end many steps in a typed decision over a set of candidates: which screen element to click, which product to pick. System One models answer in one forward pass, and Jeva showed that four properties the setting demands - a "none of the above" probability, invariance to candidate order, scalability in the number o...
Coding agents are moving from handling one request at a time to serving as persistent assistants to which users hand a stream of work: a build, a data-processing job and a bug fix may all be pending on the same machine at once. Such an agent must decide when to take on new tasks, how to delegate and overlap them, and h...
Erle Zhu, Genrui Zhang, Keyang Hu et al.· 0 citations
Analogical reasoning is widely considered a fundamental component of human intelligence. Few benchmarks are designed to explicitly test far analogical reasoning - reasoning between domains that are superficially dissimilar yet share deep relational or structural similarities. In this work, we introduce an analogical re...
Many social evaluations for multiagent systems study behaviors as they emerge from environments instead of systematically intervening in the environment to elicit such behaviors. We introduce Fig (Finding Interactions in Games), an agentic system that performs targeted elicitation interventions on game environments. It...
Safely overseeing AI is increasingly challenging for the humans doing it, as they must evaluate longer and more complex outputs with every new model generation. To mitigate this challenge, we could leverage complementarity: where humans and models make different mistakes, combining their judgements could yield an overs...
S.-X. Shi, M. Christ, Eric Modesitt et al.· 0 citations
Long chain-of-thought (CoT) reasoning models such as DeepSeek-R1 keep lengthening their inference chains under test-time scaling, yet standard self-attention incurs quadratic cost in context length, making long-CoT deployment costly in production. We therefore introduce LISA (Linear-Indexed Sparse Attention), a plug-an...
Yu Zhao, Zekun Zhang, Fan Jiang et al.· 0 citations