Stay updated with the latest research and technology news
arXiv:2601.17934v2 Announce Type: replace Abstract: Foundation models like the Segment Anything Model (SAM) show strong generalization, yet adapting them to medical images remains difficult due...
arXiv:2601.17957v2 Announce Type: replace Abstract: Grassroots Logic Programs (GLP) is a concurrent logic programming language in which logic variables are partitioned into paired readers and...
arXiv:2601.18442v2 Announce Type: replace Abstract: Autonomous vehicle safety validation requires testing on safety-critical scenarios, but these events are rare in real-world driving and costly to...
arXiv:2601.18543v2 Announce Type: replace Abstract: We introduce GenAgent, unifying visual understanding and generation through an agentic multimodal model. Unlike unified models that face expensive training...
arXiv:2601.18631v2 Announce Type: replace Abstract: When humans face problems beyond their immediate capabilities, they rely on tools, providing a promising paradigm for improving visual reasoning...
arXiv:2601.18697v2 Announce Type: replace Abstract: LLM-based chatbots like ChatGPT have become popular tools for assisting with coding tasks. However, they often produce isolated responses and...
arXiv:2601.18759v2 Announce Type: replace Abstract: Designing user interfaces (UIs) is a critical step when launching products, building portfolios, or personalizing projects, yet end users without...
arXiv:2601.18800v2 Announce Type: replace Abstract: Triad magnetometer components change with sensor attitude even when the IGRF total intensity target stays invariant. NavFormer forecasts this invariant...
arXiv:2601.18811v2 Announce Type: replace Abstract: This paper presents a Quantum Reinforcement Learning (QRL) solution to the dynamic portfolio optimization problem based on Variational Quantum Circuits....
arXiv:2601.18832v2 Announce Type: replace Abstract: Scaling test-time compute enhances long chain-of-thought (CoT) reasoning, yet existing approaches face a fundamental trade-off between computational cost and coverage...
arXiv:2601.18891v2 Announce Type: replace Abstract: Caribou across the Arctic has declined in recent decades, motivating scalable and accurate monitoring approaches to guide evidence-based conservation actions...
arXiv:2601.18944v2 Announce Type: replace Abstract: Theorem proving is fundamental to program verification, where the automated proof of Verification Conditions (VCs) remains a primary bottleneck. Real-world...
arXiv:2601.18987v2 Announce Type: replace Abstract: Determining whether a program terminates is a central problem in computer science. Turing's foundational result established the Halting Problem as...
arXiv:2601.19022v2 Announce Type: replace Abstract: Forecasting rare events in multivariate time-series data is challenging due to severe class imbalance, long-range dependencies, and distributional uncertainty. We...
arXiv:2601.19061v2 Announce Type: replace Abstract: Chain-of-Thought (CoT) reasoning has emerged as a powerful technique for enhancing large language models' capabilities by generating intermediate reasoning steps...
arXiv:2601.19129v2 Announce Type: replace Abstract: Improper exposure often leads to severe loss of details, color distortion, and reduced contrast. Exposure correction still faces two critical...
arXiv:2601.19175v2 Announce Type: replace Abstract: Link sign prediction on a signed graph is a task to determine whether the relationship represented by an edge is...
arXiv:2601.19213v2 Announce Type: replace Abstract: Existing low-bit Microscaling (MX) formats, such as MXFP4, often suffer from substantial accuracy degradation due to the use of a...
arXiv:2601.19225v2 Announce Type: replace Abstract: Large Language Models (LLMs) have recently demonstrated remarkable reasoning abilities, yet hallucinate on knowledge-intensive tasks. Retrieval-augmented generation (RAG) mitigates this...
arXiv:2601.19380v2 Announce Type: replace Abstract: Using multiple open-access models trained on public datasets, we developed Tri-Reader, a comprehensive, freely available pipeline that integrates lung segmentation,...
arXiv:2601.19388v2 Announce Type: replace Abstract: Multi-Agent Path Finding (MAPF) is an NP-hard problem with applications in warehouse automation and multi-robot coordination. Learning-based MAPF solvers offer...
arXiv:2601.19489v2 Announce Type: replace Abstract: We present a fast 3DGS reconstruction pipeline designed to converge within one minute, developed for the SIGGRAPH Asia 3DGS Fast...
arXiv:2601.19506v2 Announce Type: replace Abstract: Blind face restoration remains a persistent challenge due to the inherent ill-posedness of reconstructing holistic structures from severely constrained observations....
arXiv:2601.19575v2 Announce Type: replace Abstract: Recently, the data protection practices of researchers in human-computer interaction and elsewhere have gained attention. Initial results suggest that researchers...