MalwareFormer is presented, a transformer-based, byte-level malware detection framework that operates directly on raw bytes, without requiring domain knowledge or feature extraction, demonstrating that transformers provide a powerful and scalable approach for byte-level malware detection.
A. el-Jamal, Abdeltawab M. Hendawi· International Conference on...· 0 citations
LLM ensemble gains are often measured against a single baseline, but the value attributed to additional candidates can change with the comparison used. We study an LLM aggregator under four matched conditions: Direct (no candidates), Single-slot (one candidate in a multi-slot interface), Duplicate (one candidate repeat...
Reinforcement learning (RL) from unit tests is the common recipe for post-training code models, but a unit test only asks whether the final program passes. We analyze what this unit-test-only reward teaches a model during debugging and find that, while it raises pass rates, it also teaches the model to edit more and to...
Yun-Kai Zhan, Miao-Sen Chai, Shang-Shang Wang et al.· 0 citations
SolBehave is introduced, a benchmark for evaluating the correctness of model-generated contracts at scale, moving beyond ad hoc unit tests, and differential fuzzing is applied, a necessary condition for correctness and far from a sufficient one.
G. Delvecchio, Stefano Fantazzini, Giacomo Frisoni et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
We develop a rate-transfer method that converts finite-time Lyapunov estimates for an associated stochastic differential equation (SDE) into finite-time convergence bounds for stochastic gradient algorithms. Under generic moment and smoothness conditions, the convergence analysis of the stochastic gradient method reduc...
Steertuning is introduced, a system that enables robots to learn new tasks in new environments from 5 human demonstrations in under 5 minutes, and achieves a 71% success rate across 12 tasks in 12 new environments, ranging from lab settings to kitchens in new homes.
Billy Yan, Isaac Tu, Kelly Lee et al.· 0 citations
World models (WMs) and world-action models (WAMs) focus on future world prediction and executable action generation, respectively. Although these models learn shared physical dynamics and interaction semantics from embodied trajectories, they are typically trained in isolation, which restricts knowledge reuse between p...
Jingbo Xu, Jianjie Fang, Zhuohang Li et al.· 0 citations
Vision-language models (VLMs) struggle with metric and multi-view relationships that remain implicit in RGB observations. Geometry foundation models recover this structure from RGB, but existing methods either fuse the estimated features with visual tokens and learn to use them from question answering alone, or align V...
Rong Li, Shi-Jie Li, Jiangyong Huang et al.· 0 citations
Image-token compression must reduce computation without hurting the semantics. We introduce Varest, guided by semantic fungibility: tokens within a coherent semantic region can be summarized coarsely, while object boundaries and literal text require finer distinctions. Object and text localizers guide variable-resoluti...
Tian-Hao Fu, Austin S. Wang, Charles Chen et al.· 0 citations
3D semantic occupancy prediction is crucial for autonomous driving, but camera-based methods degrade in low-light conditions and LiDAR-based methods are sensitive to adverse weather. 4D radar is more robust, yet its sparsity and the high cost of radar tensor processing limit its use. We propose Radar Geometric-Semantic...
Christofel Rio Goenawan, Dong-Hee Paek, Seung-Hyun Kong· 0 citations
Progress-Aware Advantage Shaping (ProAS) is proposed, a plug-and-play framework that leverages a dynamically evolving Agentic Reference Graph (ARG) to achieve fine-grained credit assignment via Masking Unreasonable Incentives (MUI) and Asymmetric Penalty Redistribution (APR).
Bowen Ding, Ming-Da Wan, Yu-Han Chen et al.· 0 citations
Online decision-making faces a tension between efficient inference and long-horizon reasoning. Value-based methods rely on short-horizon bootstrapping that limits the propagation of long-term information, while trajectory optimization methods plan explicitly but must solve a high-dimensional optimization problem at eve...