Stay updated with the latest research and technology news
arXiv:2601.21843v1 Announce Type: cross Abstract: Simplicial type theory extends homotopy type theory and equips types with a notion of directed morphisms. A Segal type is...
arXiv:2601.21856v1 Announce Type: cross Abstract: Ultrasound (US) interpretation is hampered by multiplicative speckle, acquisition blur from the point-spread function (PSF), and scanner- and operator-dependent artifacts....
arXiv:2601.21868v1 Announce Type: cross Abstract: Understanding the stability and long-time behavior of generative models is a fundamental problem in modern machine learning. This paper provides...
arXiv:2601.21869v1 Announce Type: cross Abstract: We consider the problem of covert communication over the entanglement-assisted (EA) bosonic multiple access channel (MAC). We derive a closed-form...
arXiv:2601.21887v1 Announce Type: cross Abstract: We design a variational state estimation (VSE) method that provides a closed-form Gaussian posterior of an underlying complex dynamical process...
arXiv:2601.21913v1 Announce Type: cross Abstract: Reconstructing high-resolution sea surface temperatures (SST) from staggered SST measurements is essential for weather forecasting and climate projections. However, when...
arXiv:2601.21917v1 Announce Type: cross Abstract: We show that computing even very coarse approximations of critical points is intractable for simple classes of nonconvex functions. More...
arXiv:2601.21942v1 Announce Type: cross Abstract: Transformers have revolutionized deep learning across various domains but understanding the precise token dynamics remains a theoretical challenge. Existing theories...
arXiv:2601.21951v1 Announce Type: cross Abstract: We develop a diffusion-based sampler for target distributions known up to a normalising constant. To this end, we rely on...
arXiv:2601.21959v1 Announce Type: cross Abstract: We develop a near-optimal testing procedure under the framework of Gaussian differential privacy for simple as well as one- and...
arXiv:2601.21960v1 Announce Type: cross Abstract: The performance of speaker verification systems degrades significantly under language mismatch, a critical challenge exacerbated by the field's reliance on...
arXiv:2601.21990v1 Announce Type: cross Abstract: We present a batched first-order method for solving multiple linear programs in parallel on GPUs. Our approach extends the primal-dual...
arXiv:2601.22003v1 Announce Type: cross Abstract: The problem of optimising functions with intractable gradients frequently arise in machine learning and statistics, ranging from maximum marginal likelihood...
arXiv:2601.22009v1 Announce Type: cross Abstract: In this work, we present Multimodal Equivariant Inverse Design Network (MEIDNet), a framework that jointly learns structural information and materials...
arXiv:2601.22021v1 Announce Type: cross Abstract: In the aftermath of large-scale disasters, the scarcity of resources and the paralysis of infrastructure raise severe challenges to effective...
arXiv:2601.22079v1 Announce Type: cross Abstract: A fundamental challenge for modern economics is to understand what happens when actors in an economy are replaced with algorithms....
arXiv:2601.22080v1 Announce Type: cross Abstract: Voltage (Volt) and reactive-power (VAR) control in transmission networks is critical for reliability and increasingly needs fast, implementable decisions. This...
arXiv:2601.22086v1 Announce Type: cross Abstract: Partial differential equation (PDE) simulations are fundamental to engineering and physics but are often computationally prohibitive for real-time applications. While...
arXiv:2601.22113v1 Announce Type: cross Abstract: We present the first application of MAP-Elites, a quality-diversity algorithm, to trade execution. Rather than searching for a single optimal...
arXiv:2601.22119v1 Announce Type: cross Abstract: Automatically discovering formulaic alpha factors is a central problem in quantitative finance. Existing methods often ignore syntactic and semantic constraints,...
arXiv:1810.06284v5 Announce Type: replace Abstract: In open-ended environments, autonomous learning agents must set their own goals and build their own curriculum through an intrinsically motivated...
arXiv:2009.02710v2 Announce Type: replace Abstract: We introduce a new variant of variable-length source coding for sending a source over two parallel channels, one of which...
arXiv:2203.07456v3 Announce Type: replace Abstract: This paper introduces an extension to the energy map method for in-hand manipulation. Energy maps are used to predict how...
arXiv:2210.00310v2 Announce Type: replace Abstract: Vertex-level clustering for directed graphs (digraphs) remains challenging as edge directionality breaks the key assumptions underlying popular spectral methods, which...