Stay updated with the latest research and technology news
arXiv:2602.16315v1 Announce Type: new Abstract: Recommender systems shape individual choices through feedback loops in which user behavior and algorithmic recommendations coevolve over time. The systemic...
arXiv:2602.16316v1 Announce Type: new Abstract: Weight-space models learn directly from the parameters of neural networks, enabling tasks such as predicting their accuracy on new datasets....
arXiv:2602.16317v1 Announce Type: new Abstract: Computer-Aided Design (CAD) delivers rapid, editable modeling for engineering and manufacturing. Recent AI progress now makes full automation feasible for...
arXiv:2602.16318v1 Announce Type: new Abstract: This chapter provides a comprehensive overview of proof-theoretic methods for establishing interpolation properties across a range of logics, including classical,...
arXiv:2602.16322v1 Announce Type: new Abstract: In the fast-evolving field of artificial intelligence, where models are increasingly growing in complexity and size, the availability of labeled...
arXiv:2602.16323v1 Announce Type: new Abstract: Young adults often take breaks from screen-intensive work by consuming digital content on mobile phones, which undermines rest through visual...
arXiv:2602.16324v1 Announce Type: new Abstract: Automated theorem provers (ATPs) can disprove conjectures by saturating a set of clauses, but the resulting saturated sets are opaque...
arXiv:2602.16326v1 Announce Type: new Abstract: Community detection is a fundamental task in complex network analysis. Fairness-aware community detection seeks to prevent biased node partitions, typically...
arXiv:2602.16327v1 Announce Type: new Abstract: With the introduction of cyber-physical genome sequencing and editing technologies, such as CRISPR, researchers can more easily access tools to...
arXiv:2602.16330v1 Announce Type: new Abstract: Skeletal muscle-based biohybrid actuators have proved to be a promising component in soft robotics, offering efficient movement. However, their intrinsic...
arXiv:2602.16334v1 Announce Type: new Abstract: Spatial audio understanding aims to enable machines to interpret complex auditory scenes, particularly when sound sources move over time. In...
arXiv:2602.16335v1 Announce Type: new Abstract: The combination of uninterpreted function symbols and universal quantification occurs in many applications of automated reasoning, for example, due to...
arXiv:2602.16336v1 Announce Type: new Abstract: This work presents HAWX, a hardware-aware scalable exploration framework that employs multi-level sensitivity scoring at different DNN abstraction levels (operator,...
arXiv:2602.16337v1 Announce Type: new Abstract: We propose the Subtractive Modulative Network (SMN), a novel, parameter-efficient Implicit Neural Representation (INR) architecture inspired by classical subtractive synthesis....
arXiv:2602.16338v1 Announce Type: new Abstract: Zero-knowledge proof generation imposes stringent timing and reliability constraints on blockchain systems. For ZK-rollups, delayed proofs cause finality lag and...
arXiv:2602.16340v1 Announce Type: new Abstract: We study the implicit bias of momentum-based optimizers on homogeneous models. We first extend existing results on the implicit bias...
arXiv:2602.16341v1 Announce Type: new Abstract: In this work, we apply and compare two state-of-the-art eXplainability Artificial Intelligence (XAI) methods, the Integrated Gradients (IG) and the...
arXiv:2602.16343v1 Announce Type: new Abstract: Since Text-to-Speech systems typically don't produce waveforms directly, recent spoof detection studies use resynthesized waveforms from vocoders and neural audio...
arXiv:2602.16345v1 Announce Type: new Abstract: Future vehicular networks require continuous connectivity to serve highly mobile users in urban environments. To mitigate the coverage limitations of...
arXiv:2602.16346v1 Announce Type: new Abstract: LLM-based agents execute real-world workflows via tools and memory. These affordances enable ill-intended adversaries to also use these agents to...
arXiv:2602.16347v1 Announce Type: new Abstract: Meshless methods are used to solve partial differential equations by approximating differential operators at a node as a weighted sum...
arXiv:2602.16349v1 Announce Type: new Abstract: We introduce SCAR, a method for long-term auto-calibration refinement of aerial visual-inertial systems that exploits georeferenced satellite imagery as a...
arXiv:2602.16353v1 Announce Type: new Abstract: Collaborative transportation, where multiple robots collaboratively transport a payload, has garnered significant attention in recent years. While ensuring safe and...
arXiv:2602.16356v1 Announce Type: new Abstract: Semantics has enabled 3D scene understanding and affordance-driven object interaction. However, robots operating in real-world environments face a critical limitation:...