431

arXiv:2512.17136v1 Announce Type: new
Abstract: As the global population ages, many seniors face the problem of loneliness. Companion robots offer a potential solution. However, current companion robots often lack advanced functionality, while task-oriented robots are not designed for social intera…
315

Quickfire lots fuel a booming business, but critics condemn gambling-style features and popularity with ‘scalpers’Christmas is fast approaching, the shopping days are ebbing away, and in one corner of the internet, the rush to grab highly prized Pokémon trading cards is boiling over into a competiti…
231

Case of man who apparently targeted Christians is latest in series of incidents in Hampshire of animal remains being dumped The people of the New Forest are accustomed to curious goings-on. The woods and heaths of the national park in southern England are the setting for all manner of tales of witch…
220

Rolling coverage of the latest economic and financial newsThe UK economy has grown more slowly than thought during 2025, as the spectre of recession looms over Britain.The Office for National Statistics has revised down its estimate for growth in the second quarter of 2025, from 0.3% to just 0.2%.“T…
220

arXiv:2412.20878v3 Announce Type: replace
Abstract: We present the first formal correctness proof of Edmonds' blossom shrinking algorithm for maximum cardinality matching in general graphs. We focus on formalising the mathematical structures and properties that allow the algorithm to run in worst-c…
211

arXiv:2512.17109v1 Announce Type: new
Abstract: Training large neural networks and merging task-specific models both exploit low-rank structure and require parameter importance estimation, yet these challenges have been pursued in isolation. Current workflows compute curvature information during tr…
131

Russia’s investigative committee says it is looking into whether Ukraine’s special services were behind the attackA Russian general was killed in a car bomb attack in Moscow on Monday, Russia’s investigative committee said.Lt Gen Fanil Sarvarov, the head of the Russian general staff’s army operation…
124

arXiv:2511.09801v2 Announce Type: replace-cross
Abstract: This work extends the recently introduced Alpha-Procrustes family of Riemannian metrics for symmetric positive definite (SPD) matrices by incorporating generalized versions of the Bures-Wasserstein (GBW), Log-Euclidean, and Wasserstein dista…
111

arXiv:2512.17229v1 Announce Type: new
Abstract: Long Video Question-Answering (LVQA) presents a significant challenge for Multi-modal Large Language Models (MLLMs) due to immense context and overloaded information, which could also lead to prohibitive memory consumption. While existing methods atte…
111

arXiv:2512.17708v1 Announce Type: cross
Abstract: Microelectromechanical systems (MEMS) speakers are compact, scalable alternatives to traditional voice coil speakers, promising improved sound quality through precise semiconductor manufacturing. This review provides an overview of the research land…
111

arXiv:2512.17850v1 Announce Type: new
Abstract: This chapter demonstrates how computational social science (CSS) tools are extending and expanding research on aging. The depth and context from traditionally qualitative methods such as participant observation, in-depth interviews, and historical doc…
111

arXiv:2512.17128v1 Announce Type: new
Abstract: Interest in the hulls of linear codes has been growing rapidly. More is known when the inner product is Euclidean than Hermitian. A shift to the latter is gaining traction. The focus is on a code whose Hermitian hull dimension and dual distance can be…
109

Rabbi calls for acts of kindness in memory of Dan Elkayam and other victims of attack at Jewish event‘Left an immeasurable void’: Holocaust survivors, community heroes and ‘spirited child’ among victims of Bondi terror attackLike many friendships, Jesse Singer and Dan Elkayam’s had its own rituals.“…
109

arXiv:2505.17720v2 Announce Type: replace
Abstract: Artificial intelligence is rapidly reshaping the natural sciences, with weather forecasting emerging as a flagship AI4Science application where machine learning models can now rival and even surpass traditional numerical simulations. Following the…
109

arXiv:2501.11869v3 Announce Type: replace-cross
Abstract: Snapshot Compressive Imaging (SCI) uses coded masks to compress a 3D data cube into a single 2D snapshot. In practice, multiplexing can push intensities beyond the sensor's dynamic range, producing saturation that violates the linear SCI mod…
109

arXiv:2512.17773v1 Announce Type: new
Abstract: Neural Parametric Head Models (NPHMs) are a recent advancement over mesh-based 3d morphable models (3DMMs) to facilitate high-fidelity geometric detail. However, fitting NPHMs to visual inputs is notoriously challenging due to the expressive nature of…
233

arXiv:2512.17414v1 Announce Type: new
Abstract: Virtual Network Embedding (VNE) is the core combinatorial problem of Network Slicing, a 5G technology which enables telecommunication operators to propose diverse service-dedicated virtual networks, embedded onto a common substrate network. VNE asks f…
241

arXiv:2512.17375v1 Announce Type: new
Abstract: Reward models and LLM-as-a-Judge systems are central to modern post-training pipelines such as RLHF, DPO, and RLAIF, where they provide scalar feedback and binary decisions that guide model selection and RL-based fine-tuning. We show that these judge …
111

arXiv:2511.11011v2 Announce Type: replace
Abstract: World models enable robots to conduct counterfactual reasoning in physical environments by predicting future world states. While conventional approaches often prioritize pixel-level reconstruction of future scenes, such detailed rendering is compu…
119

arXiv:2512.17316v1 Announce Type: new
Abstract: Inherent explainability is the gold standard in Explainable Artificial Intelligence (XAI). However, there is not a consistent definition or test to demonstrate inherent explainability. Work to date either characterises explainability through metrics, …
224

arXiv:2405.15325v3 Announce Type: replace
Abstract: Temporally causal representation learning aims to identify the latent causal process from time series observations, but most methods require the assumption that the latent causal processes do not have instantaneous relations. Although some recent …
111

arXiv:2512.17116v1 Announce Type: new
Abstract: Research in explorable uncertainty addresses combinatorial optimization problems where there is partial information about the values of numeric input parameters, and exact values of these parameters can be determined by performing costly queries. The …
222

arXiv:2507.18242v3 Announce Type: replace
Abstract: Despite their theoretical appeal, totally corrective boosting methods based on linear programming have received limited empirical attention. In this paper, we conduct the first large-scale experimental study of six LP-based boosting formulations, …
221

arXiv:2506.11023v2 Announce Type: replace
Abstract: Assurance cases (ACs) are a common artifact for building and maintaining confidence in system properties such as safety or robustness. Constructing an AC can be challenging, although existing tools provide support in static, document-centric appli…
121

BMA calls on Wes Streeting to be equally positive and says 11th-hour talks before five-day stoppage came too late but were encouragingResident doctors have said they will approach talks with Wes Streeting with a “can-do spirit” to avoid further strikes in the new year, as their five-day action ended…
109

A new study shows dopamine isn’t the brain’s movement “gas pedal” after all. Instead of setting speed or strength, it quietly enables movement in the background, much like oil in an engine. When scientists manipulated dopamine during movement, nothing changed—but restoring baseline dopamine levels m…
322

The much-loved actors (and old friends) reminisce over a cuppa. Plus: a peek behind the scenes at the papal conclave. Here’s what to watch this evening9pm, Sky Arts A wickedly funny and hugely moving hour spent with Judi Dench and her longtime friend Kenneth Branagh. They share a pot of tea in Dench…
111

arXiv:2512.17726v1 Announce Type: new
Abstract: Whole-slide images (WSIs) are an important data modality in computational pathology, yet their gigapixel resolution and lack of fine-grained annotations challenge conventional deep learning models. Multiple instance learning (MIL) offers a solution by…
113

arXiv:2512.17179v1 Announce Type: new
Abstract: We introduce a novel approach for long context summarisation, highlight-guided generation, that leverages sentence-level information as a content plan to improve the traceability and faithfulness of generated summaries. Our framework applies self-plan…
331

arXiv:2512.17001v1 Announce Type: new
Abstract: This paper presents a Multi-Robot Multi-Source Term Estimation (MRMSTE) framework that enables teams of mobile robots to collaboratively sample gas concentrations and infer the parameters of an unknown number of airborne releases. The framework is bui…
233

arXiv:2510.20150v4 Announce Type: replace
Abstract: Large language models (LLMs) are reshaping the recommender system paradigm by enabling users to express preferences and receive recommendations through conversations. Yet, aligning LLMs to the recommendation task remains challenging: pretrained LL…
139

arXiv:2509.23339v2 Announce Type: replace
Abstract: Blind Face Restoration (BFR) encounters inherent challenges in exploring its large solution space, leading to common artifacts like missing details and identity ambiguity in the restored images. To tackle these challenges, we propose a Likelihood-…
228

arXiv:2512.16947v1 Announce Type: new
Abstract: In 2020, a total of 59,741 websites were blocked by the Indonesian government due to containing negative content, including pornography, with 14,266 websites falling into this category. However, these blocked websites could still be accessed by the pu…
221

arXiv:2406.00780v2 Announce Type: replace
Abstract: Hybrid model predictive control with both continuous and discrete variables is widely applicable to robotic control tasks, especially those involving contacts with the environment. Due to combinatorial complexity, the solving speed of hybrid MPC c…
111

arXiv:2502.09652v3 Announce Type: replace
Abstract: Shape deviation modeling and compensation in additive manufacturing are pivotal for achieving high geometric accuracy and enabling industrial-scale production. Critical challenges persist, including generalizability across complex geometries and a…
222

arXiv:2507.13717v3 Announce Type: replace
Abstract: Reconfigurable data center networks (DCNs) enhance traditional architectures with optical circuit switches (OCSs), enabling dynamic reconfiguration of inter-pod links, i.e., the logical topology. Optimizing this topology is crucial for adapting to…
110

arXiv:2512.17053v1 Announce Type: new
Abstract: Deploying accurate Text-to-SQL systems at the enterprise level faces a difficult trilemma involving cost, security and performance. Current solutions force enterprises to choose between expensive, proprietary Large Language Models (LLMs) and low-perfo…
322

arXiv:2512.17885v1 Announce Type: cross
Abstract: Magnetic fields are critical at many scales to galactic dynamics and structure, including multiphase pressure balance, dust processing, and star formation. Dynamo action determines their dynamical structure and strength. Simulations of combined larg…
111

A bizarre group of underground plants shows how life can thrive even after abandoning sunlight and sex. Not all plants are green or rely on sexual reproduction, and these exceptions can reveal surprising insights into what it really means to be a plant. A new study involving researchers from Kobe Un…
109

Milder weather led to a bloom in the invertebrates in south Cornwall and Devon, wildlife charity saysRecord numbers of sightings of one of the world’s most intelligent invertebrates over the summer have led the Wildlife Trusts to declare 2025 “the year of the octopus” in its annual review of Britain…
329

arXiv:2512.17540v1 Announce Type: new
Abstract: Automating code review with Large Language Models (LLMs) shows immense promise, yet practical adoption is hampered by their lack of reliability, context-awareness, and control. To address this, we propose Specification-Grounded Code Review (SGCR), a f…
119

arXiv:2512.17371v1 Announce Type: new
Abstract: We present GraphCue, a topology-grounded retrieval and agent-in-the-loop framework for automated SDN configuration. Each case is abstracted into a JSON graph and embedded using a lightweight three-layer GCN trained with contrastive learning. The neare…
109

arXiv:2512.17613v1 Announce Type: new
Abstract: Voting is a primary democratic activity through which voters select representatives or approve policies. Conventional paper ballot elections have several drawbacks that might compromise the fairness, effectiveness, and accessibility of the voting proc…
334

arXiv:2512.17277v1 Announce Type: new
Abstract: Pinterest is a leading visual discovery platform where recommender systems (RecSys) are key to delivering relevant, engaging, and fresh content to our users. In this paper, we study the problem of improving RecSys model predictions for cold-start (CS)…
430

arXiv:2512.17284v1 Announce Type: new
Abstract: We develop an analytical Stackelberg game framework for optimal resource allocation in a sequential attacker--defender setting with a finite set of assets and probabilistic attacks. The defender commits to a mixed protection strategy, after which the …
109

Government has vowed to end use of asylum hotels and plans to send first men to Crowborough site within weeksThe Home Office plans to send the first group of asylum seekers to a military site in East Sussex in the new year, the Guardian understands.Discussions in Whitehall are under way to use Crowb…
221

Humane slaughter requirements for farmed fish and end to puppy farming also in new package of animal welfare lawsCaged hens will be a thing of the past in England, the government has announced, as it launches a package of new animal welfare laws.Pig farrowing crates, which campaigners have said are …
221

A Brazilian study has confirmed that Joseph’s Coat, a plant used for generations in folk medicine, can significantly reduce inflammation and arthritis symptoms in lab tests. Researchers observed less swelling, healthier joints, and signs of tissue protection. Just as important, the extract showed a …
109

CBS News pulled a segment on Trump administration deportations of Venezuelan immigrants to an El Salvador prison from "60 Minutes," causing staffers and media onlookers to question whether the decision was politically motivated. Why it matters: The decision comes days after President Trump publicly …
233

arXiv:2512.17246v1 Announce Type: new
Abstract: With the rapid development of distributed renewable energy, multi-microgrids play an increasingly important role in improving the flexibility and reliability of energy supply. Reinforcement learning has shown great potential in coordination strategies…
342

arXiv:2512.17710v1 Announce Type: new
Abstract: Software Bill of Materials (SBOM) provides new opportunities for automated vulnerability identification in software products. While the industry is adopting SBOM-based Vulnerability Scanning (SVS) to identify vulnerabilities, we increasingly observe i…
111

arXiv:2510.01384v3 Announce Type: replace
Abstract: A natural desideratum for generative models is self-correction--detecting and revising low-quality tokens at inference. While Masked Diffusion Models (MDMs) have emerged as a promising approach for generative modeling in discrete spaces, their cap…
109

arXiv:2512.17303v1 Announce Type: new
Abstract: In diffusion and flow-matching generative models, guidance techniques are widely used to improve sample quality and consistency. Classifier-free guidance (CFG) is the de facto choice in modern systems and achieves this by contrasting conditional and u…
122

arXiv:2512.17844v1 Announce Type: new
Abstract: Our first focus is the Capacitated Partition Vertex Cover (C-PVC) problem in hypergraphs. In C-PVC, we are given a hypergraph with capacities on its vertices and a partition of the hyperedge set into $\omega$ distinct groups. The objective is to selec…
329

arXiv:2512.17325v1 Announce Type: new
Abstract: We provide causal mechanistic validation that in-context learning (ICL) decomposes into two separable mechanisms: Task Schema (abstract task type recognition) and Binding (specific input-output associations). Through activation patching experiments ac…
111

arXiv:2512.17616v1 Announce Type: new
Abstract: L-systems are a mathematical formalism proposed by biologist Aristid Lindenmayer with the aim of simulating organic structures such as trees, snowflakes, flowers, and other branching phenomena. They are implemented as a formal language that defines ho…
240

arXiv:2512.17198v1 Announce Type: new
Abstract: We introduce BumpNet, a sparse neural network framework for PDE numerical solution and operator learning. BumpNet is based on meshless basis function expansion, in a similar fashion to radial-basis function (RBF) networks. Unlike RBF networks, the bas…
109

arXiv:2512.17021v1 Announce Type: new
Abstract: The recent decline of the European forest carbon sink highlights the need for spatially explicit and frequently updated forest monitoring tools. Yet, existing satellite-based disturbance products remain too coarse to detect changes at the scale of ind…
118

arXiv:2512.17748v1 Announce Type: new
Abstract: The rise of quantum computing/technology potentially introduces significant security challenges to cloud computing, necessitating quantum-resistant encryption strategies as well as protection schemes and methods for cloud infrastructures offering quan…
109

arXiv:2512.17225v1 Announce Type: cross
Abstract: We use a $\phi^{4}$ quantum field theory with inhomogeneous couplings and explicit symmetry-breaking to model an ensemble of financial time series from the S$\&$P 500 index. The continuum nature of the $\phi^4$ theory avoids the inaccuracies that oc…
119

arXiv:2512.17820v1 Announce Type: new
Abstract: Modern Sequential Recommendation (SR) models commonly utilize modality features to represent items, motivated in large part by recent advancements in language and vision modeling. To do so, several works completely replace ID embeddings with modality …
332

arXiv:2512.17260v1 Announce Type: new
Abstract: Large language models have recently made significant progress to generate rigorous mathematical proofs. In contrast, utilizing LLMs for theorem proving in formal languages (such as Lean) remains challenging and computationally expensive, particularly …
111

arXiv:2507.18145v2 Announce Type: replace
Abstract: We study the expressive power of graph neural networks (GNNs) with mean as the aggregation function, with the following results. In the non-uniform setting, such GNNs have exactly the same expressive power as ratio modal logic, which has modal ope…