Knowledge catalogue
arXiv:2604.22736v1 Announce Type: cross Abstract: The plan existence problem asks, given a goal in the form of a formula in modal logic, an initial epistemic state (a pointed Kripke model), and a set
Release b8944 was published on April 27, 2026 , representing a recent build of the llama.cpp project. Llama.cpp provides LLM inference in C/C++ for running large language models efficiently on consume
arXiv:2604.22433v1 Announce Type: new Abstract: Heat exposure connects the built environment and public health, directly shaping the livability and sustainability of urban areas. Understanding the spa
arXiv:2604.22220v1 Announce Type: new Abstract: Digital image watermarking has advanced rapidly for copyright protection of generative AI, yet the comparatively limited progress in watermark attack te
arXiv:2604.22428v1 Announce Type: new Abstract: Predicting individual cognitive decline in Alzheimer's disease (AD) is difficult due to the heterogeneity of disease progression. Reliable clinical tool
arXiv:2604.21956v1 Announce Type: new Abstract: Timely detection of concerning events is an important problem in clinical practice. In this paper, we consider the problem of conditional anomaly detect
arXiv:2604.22335v1 Announce Type: new Abstract: Large language models (LLMs) often produce content that contradicts or overlooks information provided in the input context, a phenomenon known as faithf
arXiv:2512.20831v2 Announce Type: replace Abstract: Real-world sequential decision-making often involves parameterized action spaces that require both, decisions regarding discrete actions and decisio
arXiv:2511.13193v2 Announce Type: replace Abstract: Multi-agent systems (MAS) built on large language models (LLMs) often suffer from inefficient 'free-for-all' communication, leading to exponential t
arXiv:2410.13713v2 Announce Type: replace Abstract: Atomic structure analysis of crystalline materials is a paramount endeavor in both chemical and material sciences. This sophisticated technique nece
arXiv:2604.22104v1 Announce Type: new Abstract: An asymmetric two-link robot supported atop a flat platform by wheels that roll and pivot freely, but do not slip laterally, will develop forward moment
arXiv:2604.22089v1 Announce Type: cross Abstract: Generative Artificial Intelligence (GAI) systems that can automatically generate content in the form of source code or other contents (e.g., images) h
arXiv:2604.22207v1 Announce Type: cross Abstract: Due to the textual and repetitive nature of many Requirements Engineering (RE) artefacts, Large Language Models (LLMs) have proven useful to automate
arXiv:2604.22580v1 Announce Type: cross Abstract: As the demand to integrate Artificial Intelligence into high-stakes environments continues to grow, explaining the reasoning behind neural-network pre
Over 600 Google employees signed a letter to CEO Sundar Pichai demanding that Google block the Pentagon from using its AI models for classified purposes, reports the The Washington Post. Its organizer
arXiv:2502.03698v4 Announce Type: replace Abstract: Learning from demonstrations is a popular approach to train AI models; however, their vulnerability to adversarial attacks remains underexplored. We
arXiv:2604.22479v1 Announce Type: new Abstract: Driver drowsiness is a major cause of traffic accidents worldwide, posing a serious threat to public safety. Vision-based driver monitoring systems ofte
arXiv:2604.22081v1 Announce Type: new Abstract: Most reinforcement-learning (RL) controllers used in continuous control are architecturally centralized: observations are compressed into a single laten
arXiv:2604.22739v1 Announce Type: new Abstract: Social interactions dominate our perceptions of the world and shape our daily behavior by attaching social meaning to acts as simple and spontaneous as
The NVIDIA Tesla K80 is a legacy GPU that can run modern LLMs through Ollama with community-maintained patches, since official Ollama dropped support for CUDA Compute Capability 3.7 hardware. Each K80
arXiv:2604.22565v1 Announce Type: cross Abstract: Large Language Models (LLMs) can reason well, yet often miss decisive evidence when it is buried in long, noisy contexts. We introduce HiLight, an Evi
arXiv:2604.01907v2 Announce Type: replace-cross Abstract: Annotated 3D scene data is scarce and expensive to acquire, while abundant unlabeled videos are readily available on the internet. In this pap
arXiv:2506.16494v3 Announce Type: replace Abstract: Electrocardiograms (ECGs) provide non-invasive measurements of heart activity and are established tools for detecting cardiac arrhythmias. Although
arXiv:2604.22005v1 Announce Type: cross Abstract: Accurate yet low-latency channel state information (CSI) acquisition is essential for multiple-input multiple-output (MIMO) communication systems. Whi
On Star Price's new @hitpausepod podcast, ControlAI's US Director Connor Leahy (@NPCollapse) explains how AIs can already tell when they're being tested. Currently, we can still catch them cheating, b
Safety and innovation are not mutually exclusive: for many companies, especially in high-trust industries, AI’s risks are also a hindrance to adoption. In this op-ed in the @FT, I underscore that Euro
arXiv:2604.22374v1 Announce Type: new Abstract: Sign language translation (SLT) converts continuous sign videos into spoken-language text, yet it remains challenging due to the intrinsic modality mism
arXiv:2604.22558v1 Announce Type: cross Abstract: As Multimodal Large Language Models (MLLMs) mature, GUI agents are evolving from static interactions to complex navigation. While Reinforcement Learni
arXiv:2604.22686v1 Announce Type: new Abstract: We present SS3D, a web-scale SfM-based self-supervision pretraining pipeline for feed-forward 3D estimation from monocular video. Our model jointly pred
arXiv:2603.19500v2 Announce Type: replace Abstract: We develop a method for producing vector sketches one part at a time. To do this, we train a multi-modal language model-based agent using a novel mu
The April 2026 LangChain newsletter from Harrison Chase covers the latest updates, developments, and announcements from the LangChain team regarding their language model framework and tools. The newsl
The only way to fully appreciate the jaggedness of the AI frontier is up close. When you use it for a task you know well you find tons of tiny points where AI requires human help. Some are tedious (mo
arXiv:2604.22709v1 Announce Type: new Abstract: While long, explicit chains-of-thought (CoT) have proven effective on complex reasoning tasks, they are costly to generate during inference. Non-verbal
arXiv:2603.18941v2 Announce Type: replace-cross Abstract: The topic of Multivariate Time Series Anomaly Detection (MTSAD) has grown rapidly over the past years, with a steady rise in publications and
arXiv:2604.21993v1 Announce Type: new Abstract: We study the detection of transient liquidity erosion ('crumbling quotes') in electronic limit order books, where observable quote deterioration may ref
b8940 is a build release of llama.cpp, an open-source C/C++ library for LLM inference that enables running large language models locally with minimal setup and high performance. This intermediate buil
b8931 is a release version of llama.cpp published on April 25, 2026 . llama.cpp is an LLM inference framework in C/C++ that enables running large language models efficiently on various hardware. The r
DigitalOcean's Dedicated Inference offering provides cloud infrastructure optimized for running machine learning inference workloads with guaranteed resources and performance isolation. This technical
A Nous Research post on X documents an artist's creative journey and their experience using Hermes (likely Nous Research's language model) to explore new possibilities in creative coding and artistic
Simon Willison posted a blog entry reflecting on a notable or surprising development in technology or software, capturing a moment he considered worth documenting for his audience. The post's title 'w
arXiv:2604.21363v1 Announce Type: new Abstract: Bridging the gap between embodied intelligence and embedded deployment remains a key challenge in intelligent robotic systems, where perception, reasoni
arXiv:2604.21885v1 Announce Type: cross Abstract: Event extraction is essential for event understanding and analysis. It supports tasks such as document summarization and decision-making in emergency
arXiv:2604.05846v2 Announce Type: replace Abstract: Large Language Models (LLMs) increasingly rely on agentic capabilities-iterative retrieval, tool use, and decision-making-to overcome the limits of
arXiv:2604.21798v1 Announce Type: new Abstract: The k-means problem is perhaps the classical clustering problem and often synonymous with Lloyd's algorithm (1957). It has become clear that Hartigan's
arXiv:2604.21311v1 Announce Type: new Abstract: Brain tumors represent one of the most critical neurological conditions, where early and accurate diagnosis is directly correlated with patient survival
At Cloud Next this week in Las Vegas, Google made its case this week that it has all the pieces — literally the entire “stack” of technologies from chips to models to data management platforms — neede
arXiv:2604.20936v1 Announce Type: cross Abstract: We present AttentionBender, a tool that manipulates cross-attention in Video Diffusion Transformers to help artists probe the internal mechanics of bl
B8924 is a release build number from the llama.cpp project, a C/C++ framework for efficient large language model inference on consumer hardware. The llama.cpp project publishes multiple releases in a
B8925 is an intermediate build release of llama.cpp, the C/C++ library for efficient large language model inference. Llama.cpp releases follow a continuous build cycle rather than traditional versioni
arXiv:2504.07940v3 Announce Type: replace Abstract: 360{eg} videos have emerged as a promising medium to represent our dynamic visual world. Compared to the 'tunnel vision' of standard cameras, their
arXiv:2601.17747v2 Announce Type: replace Abstract: Change detection (CD) aims to identify surface changes from multi-temporal remote sensing imagery. In real-world scenarios, Pixel-level change label
arXiv:2604.21352v1 Announce Type: new Abstract: Mental health challenges are increasing worldwide, straining emotional support services and leading to counselor overload. This can result in delayed re
arXiv:2604.21369v1 Announce Type: new Abstract: Human activity recognition (HAR) in Internet of Things (IoT) environments must cope with heterogeneous sensor settings that vary across datasets, device
arXiv:2604.21627v1 Announce Type: new Abstract: Advancing face morphing attack techniques is crucial to anticipate evolving threats and develop robust defensive mechanisms for identity verification sy
Elon's team just did something nobody's talking about. They replaced Starlink's call center with an AI. 🤯 And the results are insane. 1 in 5 people who called Starlink bought Starlink on the call. 70%
arXiv:2604.21300v1 Announce Type: new Abstract: Learning robust representations of authorial style is crucial for authorship attribution and AI-generated text detection. However, existing methods ofte
Feel like very few serious people make the argument Britain should develop its own LLM? Certainly not an argument you see made in Westminster often during the sovereignty debate. Also some other eyebr
This entry discusses conditioning enhancement and reference latent control for FLUX.2 Klein 9B in ComfyUI, built from empirical analysis of the model's dual-stream architecture. The Identity Feature T
arXiv:2506.04292v3 Announce Type: replace-cross Abstract: Purpose: We introduce GARG-AML, a fast and transparent graph-based method to catch `smurfing', a common money-laundering tactic. It assigns a
arXiv:2604.21830v1 Announce Type: new Abstract: We present GFlowState, a visual analytics system designed to illuminate the training process of Generative Flow Networks (GFlowNets or GFNs). GFlowNets