Stay updated with the latest research and technology news
arXiv:2505.22846v3 Announce Type: replace Abstract: Interactive Theorem Proving was repeatedly shown to be fruitful when combined with Generative Artificial Intelligence. This paper assesses multiple approaches...
arXiv:2505.23277v2 Announce Type: replace Abstract: Retrieval-augmented generation (RAG) often suffers from long and noisy retrieved contexts. Prior context compression methods rely on predefined importance metrics...
arXiv:2506.00555v3 Announce Type: replace Abstract: Medical Large Vision-Language Models (Med-LVLMs) have shown strong potential in multimodal diagnostic tasks. However, existing single-agent models struggle to generalize...
arXiv:2506.01327v3 Announce Type: replace Abstract: Federated Class-Incremental Learning (FCIL) enables Class-Incremental Learning (CIL) from distributed data. Existing FCIL methods typically integrate old knowledge preservation into...
arXiv:2506.02337v2 Announce Type: replace Abstract: Dirichlet-to-Neumann maps enable the coupling of multiphysics simulations across computational subdomains by ensuring continuity of state variables and fluxes at...
arXiv:2506.03059v2 Announce Type: replace Abstract: We propose a Mean-Field Type Game (MFTG) framework for effective scheduling in multi-hop wireless sensor networks (WSNs) using backpressure as...
arXiv:2506.04775v3 Announce Type: replace Abstract: We study stochastic linear bandits with heavy-tailed rewards, where the rewards have a finite $(1+\epsilon)$-absolute central moment bounded by $\upsilon$...
arXiv:2506.06216v3 Announce Type: replace Abstract: The Maximum Satisfiability problem (MaxSAT) is a major optimization challenge with numerous practical applications. In recent MaxSAT evaluations, most MaxSAT...
arXiv:2506.07611v2 Announce Type: replace Abstract: Drag-Based Image Editing (DBIE), which allows users to manipulate images by directly dragging objects within them, has recently attracted much...
arXiv:2506.08710v4 Announce Type: replace Abstract: 3D Gaussian Splatting (3DGS) serves as a highly performant and efficient encoding of scene geometry, appearance, and semantics. Moreover, grounding...
arXiv:2506.10098v4 Announce Type: replace Abstract: This paper presents the first application of Gaussian Mixture Copula Models to the statistical modeling of driving scenarios for the...
arXiv:2506.10769v3 Announce Type: replace Abstract: Reliable uncertainty quantification (UQ) is essential when employing large language models (LLMs) in high-risk domains such as clinical question answering...
arXiv:2506.11031v4 Announce Type: replace Abstract: Traditional supervised methods for detecting AI-generated images depend on large, curated datasets for training and fail to generalize to novel,...
arXiv:2506.11238v2 Announce Type: replace Abstract: Introduction: Premature Ventricular Contractions (PVCs) are common cardiac arrhythmias originating from the ventricles. Accurate detection remains challenging due to variability...
arXiv:2506.11266v2 Announce Type: replace Abstract: Large language models (LLMs) increasingly rely on external tools and APIs to execute complex tasks specified in natural language. Evaluating...
arXiv:2506.11526v3 Announce Type: replace Abstract: For autonomous vehicles, safe navigation in complex environments depends on handling a broad range of diverse and rare driving scenarios....
arXiv:2506.12371v4 Announce Type: replace Abstract: Identifying and measuring biases associated with sensitive attributes is a crucial consideration in healthcare to prevent treatment disparities. One prominent...
arXiv:2506.13001v2 Announce Type: replace Abstract: Existing work in automatic music generation has mostly focused on end-to-end systems that generate either entire compositions or continuations of...
arXiv:2506.13470v3 Announce Type: replace Abstract: Zero-shot stance detection (ZSSD) seeks to determine the stance of text toward previously unseen targets, a task critical for analyzing...
arXiv:2506.13694v2 Announce Type: replace Abstract: In this paper, we present a NURBS-enhanced finite element method that integrates NURBS-based boundary representations of geometric domains into standard...
arXiv:2506.14054v4 Announce Type: replace Abstract: Soils have potential to mitigate climate change by sequestering carbon from the atmosphere, but the soil carbon cycle remains poorly...
arXiv:2506.14175v3 Announce Type: replace Abstract: In aligning large language models (LLMs), reward models have played an important role, but are standardly trained as discriminative models...
arXiv:2506.15329v2 Announce Type: replace Abstract: Recent research shows that in-context learning (ICL) can be effective even when demonstrations have missing or incorrect labels. To shed...
arXiv:2506.15408v2 Announce Type: replace Abstract: Modern AI systems frequently rely on opaque black-box models, most notably Deep Neural Networks, whose performance stems from complex architectures...