Stay updated with the latest research and technology news
arXiv:2602.12079v1 Announce Type: new Abstract: Performance antipatterns are known to degrade the responsiveness of microservice-based systems, but their impact on energy consumption remains largely unexplored....
arXiv:2602.12078v1 Announce Type: new Abstract: Recent work on recursive reasoning models like TRM demonstrates that tiny networks (7M parameters) can achieve strong performance on abstract...
arXiv:2602.12074v1 Announce Type: new Abstract: Reliable coordination and efficient communication are critical challenges for multi-agent robotic exploration of environments where communication is limited. This work...
arXiv:2602.12070v1 Announce Type: new Abstract: In the Contention Resolution problem $n$ parties each wish to have exclusive use of a shared resource for one unit...
arXiv:2602.12065v1 Announce Type: new Abstract: Training robotic policies directly in the real world is expensive and unscalable. Although generative simulation enables large-scale data synthesis, current...
arXiv:2602.12064v1 Announce Type: new Abstract: In the era of large language models, Text-to-SQL, as a natural language interface for databases, is playing an increasingly important...
arXiv:2602.12063v1 Announce Type: new Abstract: The goal of this paper is to improve the performance and reliability of vision-language-action (VLA) models through iterative online interaction....
arXiv:2602.12062v1 Announce Type: new Abstract: In this work, we introduce HoloBrain-0, a comprehensive Vision-Language-Action (VLA) framework that bridges the gap between foundation model research and...
arXiv:2602.12059v1 Announce Type: new Abstract: 5G promises enhanced performance-not only in bandwidth and capacity, but also latency and security. Its ultra-reliable low-latency configuration targets round-trip...
arXiv:2602.12058v1 Announce Type: new Abstract: Model checking in TLA+ provides strong correctness guarantees, yet practitioners continue to face significant challenges in interpreting counterexamples, understanding large...
arXiv:2602.12056v1 Announce Type: new Abstract: Legal reasoning requires not only correct outcomes but also procedurally compliant reasoning processes. However, existing methods lack mechanisms to verify...
arXiv:2602.12055v1 Announce Type: new Abstract: Preflight planning for large-scale Unmanned Aerial Vehicle (UAV) fleets in dynamic, shared airspace presents significant challenges, including temporal No-Fly Zones...
arXiv:2602.12054v1 Announce Type: new Abstract: Cyclic proof theory breaks tradition by allowing certain infinite proofs: those that can be represented by a finite graph, while...
arXiv:2602.12049v1 Announce Type: new Abstract: Large language models (LLMs) have demonstrated strong code generation capabilities, yet the runtime performance of generated code is not guaranteed,...
arXiv:2602.12047v1 Announce Type: new Abstract: We present a novel framework for robust out-of-distribution planning and control using conformal prediction (CP) and system level synthesis (SLS),...
arXiv:2602.12045v1 Announce Type: new Abstract: The discovery of new crystalline materials calls for generative models that handle periodic boundary conditions, crystallographic symmetries, and physical constraints,...
arXiv:2602.12044v1 Announce Type: new Abstract: Background The accuracy of photomechanics measurements critically relies on image quality,particularly under extreme illumination conditions such as welding arc monitoring...
arXiv:2602.12041v1 Announce Type: new Abstract: Modeling high-order feature interactions efficiently is a central challenge in click-through rate and conversion rate prediction. Modern industrial recommender systems...
arXiv:2602.12038v1 Announce Type: new Abstract: Vulnerability detection is crucial to protect software security. Nowadays, deep learning (DL) is the most promising technique to automate this...
arXiv:2602.12036v1 Announce Type: new Abstract: Large-scale verifiable prompts underpin the success of Reinforcement Learning with Verifiable Rewards (RLVR), but they contain many uninformative examples and...
arXiv:2602.12032v1 Announce Type: new Abstract: Proprioceptive information is critical for precise servo control by providing real-time robotic states. Its collaboration with vision is highly expected...
arXiv:2602.12029v1 Announce Type: new Abstract: Multi-agent systems increasingly orchestrate multiple specialized language models to solve complex real-world problems, often invoking them over a shared context....
arXiv:2602.12028v1 Announce Type: new Abstract: A merge tree is a fundamental topological structure used to capture the sub-level set (and similarly, super-level set) topology in...
arXiv:2602.12026v1 Announce Type: new Abstract: Protein language models (pLMs) have emerged as powerful predictors of protein structure and function. However, the computational circuits underlying their...