Search: “research”

Emergent Misalignment Recruits a Pre-existing Persona Subspace

arXiv:2607.21356v1 Announce Type: new Abstract: Fine-tuning an aligned language model on a narrow stream of bad advice can make it broadly misaligned on questions unrelated to the training data, a phe

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB

DGX agent

arXiv:2607.21191v1 Announce Type: cross Abstract: Event-B is a formal method rooted in predicate logic and set theory. We encoded over 600 proof rules in Prolog, enabling a systematic, comprehensible

researcharxiv-cs-ai

24 Jul 2026

Error Certificates for KV-Cache Eviction via Randomized Design

arXiv:2607.21475v1 Announce Type: cross Abstract: Deterministic KV-cache eviction keeps the top-k tokens under an importance score and deletes the rest. We prove that this design cannot know what it d

Evolutionarily Stable Stackelberg Equilibrium

arXiv:2603.18385v4 Announce Type: replace-cross Abstract: We present a new solution concept called evolutionarily stable Stackelberg equilibrium (SESS). We study the Stackelberg evolutionary game sett

Exact ReLU realization of affine one-dimensional refinement iterates via residual memory and offset frames

arXiv:2607.20586v1 Announce Type: new Abstract: We study vector-valued affine refinement operators of the form [ (Wgamma)(t)=sum_{jinZ} A_jgamma(Mt-j)+B(t), ] with finitely supported matrix mask and c

Expanding Flow Maps

arXiv:2607.21585v1 Announce Type: new Abstract: Flow-based generative models have enabled remarkable progress in fast and controllable generation across continuous and discrete state spaces, yet exist

Explanation-Based Runtime Verification for Trustworthy ML-driven Optical Networks

arXiv:2607.20675v1 Announce Type: new Abstract: Machine learning (ML) models are increasingly integrated into optical network automation frameworks to support tasks such as failure management, perform

External Clustering Validation by the Homogeneity-Parsimony Trade-off

arXiv:2607.20799v1 Announce Type: new Abstract: Scalar metrics are often used to evaluate clusterings against known classes, but they can obscure a fundamental trade-off: clusterings should be informa

FA-LAM: Focus-Aware Large Avatar Model for One-Shot 4D Animatable Gaussian Head

arXiv:2607.20922v1 Announce Type: new Abstract: We propose FA-LAM, a Focus-Aware Large Avatar Model for one-shot animatable Gaussian head creation, while simultaneously enabling static 3D and dynamic

Finite-Sample Coverage Audits for High-Recall Candidate Generation: Certification and Learning-Theoretic Design

arXiv:2607.21480v1 Announce Type: new Abstract: An initial high-recall stage in an empirical pipeline decides which items pass to later review, labelling, or modelling, and relevant items it misses ar

Fitting Generalized Power Diagrams to 3D Image Data: A Prerequisite for Virtual Materials Testing

arXiv:2507.14268v2 Announce Type: replace Abstract: This paper reviews algorithmic and modeling approaches for fitting generalized power diagrams to three-dimensional image data, a key step in virtual

FlowEdit: Information-Theoretic Control of LLM Reasoning Flows for Ill-posed Problems Involving Conflicts

arXiv:2607.20500v1 Announce Type: new Abstract: Large Language Models (LLMs) perform strongly on well-specified reasoning tasks with a feasible answer. However, problems encountered in the open world

Foundation-model-guided radiogenomic discovery linking cancer genomes to cancer scans

arXiv:2607.20583v1 Announce Type: cross Abstract: The function of many genes is still unknown, and conventional driver-discovery methods, which rely on how frequently a gene is mutated, cannot assess

Free energy landscape of Dense Associative Memory

arXiv:2607.19195v2 Announce Type: replace-cross Abstract: Using large deviations theory, we solve and obtain a general expression for the free energy functional for a broad class of associative memori

From Atoms to Entropy: Optimal Noise Allocation for Diffusion Training in the Convex Regime

arXiv:2607.20540v1 Announce Type: cross Abstract: How should a diffusion model decide which noise levels to train on, and how much? Despite the importance of this choice, current noise schedules are b

From Errors to Rules: Iterative Prompt Optimization for Text Classification

arXiv:2607.20497v1 Announce Type: new Abstract: Prompt optimization for text classification spans diverse approaches, from demonstration selection to exploration-based search to error-driven diagnosis

From Scalars to Time Series: Rethinking Implicit Neural Representations for Time-Varying Volumetric Data

arXiv:2607.20970v1 Announce Type: new Abstract: Implicit neural representations (INRs) for time-varying volumetric data are typically trained using dense sampling over spatiotemporal coordinates, wher

FSB-Net: Frequency-Spatial Boundary Network for Brain Stroke Lesion Segmentation in Non-Contrast CT

arXiv:2607.20955v1 Announce Type: new Abstract: Accurate segmentation of brain stroke lesions in non-contrast computed tomography (NCCT) scans is critical for rapid clinical decision-making, yet remai

Geo3R: Mitigating Spatial Reasoning Hallucination in Multimodal Large Language Models

arXiv:2607.21085v1 Announce Type: new Abstract: Despite remarkable progress in visual understanding, Multimodal Large Language Models (MLLMs) remain prone to hallucinations when reasoning about spatia

GeoThreat: Transferable Targeted Adversarial Attacks on Large Vision-Language Models for Remote Sensing Image Interpretation

arXiv:2607.21036v1 Announce Type: new Abstract: Adversarial attacks against large vision-language models (LVLMs) serve as an effective means of assessing their robustness in cross-modal semantic under

Gibbs randomness-compression proposition

arXiv:2505.23869v5 Announce Type: replace-cross Abstract: A proposition that connects randomness and compression is put forward via Gibbs entropy over set of measurement vectors associated with a loss

GlucoTune: A Unified Framework for Blood Glucose Preprocessing, Forecasting, and Benchmarking in Diabetes

arXiv:2607.21117v1 Announce Type: cross Abstract: Preprocessing blood glucose time-series data is a critical yet often overlooked step in developing data-driven methods for diabetes management, partic

Graph Learning on Ensembles of Cyclic Peptides: An Investigation of Molecular Ensemble Modeling

arXiv:2607.21561v1 Announce Type: new Abstract: Molecular property prediction from structure often uses a single representative conformation, even though many molecules exist as conformational ensembl

GraphVid: Interactive Graph-Controllable Video Generation

arXiv:2607.21580v1 Announce Type: cross Abstract: Controllable video generation remains challenging due to the difficulty of specifying precise multi-object interactions using text prompts or motion-c

Grounding Investor Views: Neural Predicates in the Black-Litterman Model

arXiv:2607.20533v1 Announce Type: cross Abstract: Portfolio construction under the Black-Litterman model requires investors to specify views on asset returns alongside explicit uncertainty estimates -

HAMON: Passive Optical Sequence Mixing for Long-Horizon Forecasting

arXiv:2606.17028v2 Announce Type: replace-cross Abstract: Simple linear and frequency-domain models remain surprisingly competitive in long-horizon time-series forecasting, and recent mechanistic evid

HierarchicalDAEW: Domain-Aware Edge-Weighted Graph Convolution with Evidential Uncertainty for Multi-Section Spatial Gene Expression Prediction from H&E Histology

arXiv:2607.20896v1 Announce Type: new Abstract: Spatial transcriptomics assays remain costly and technically demanding, restricting transcriptome-wide profiling to specialist settings and preventing r

Hilbert Operator for Progressive Encoding (HOPE): A Mathematical Framework for Deconstructing Learned Representations in Deep Networks

arXiv:2607.21366v1 Announce Type: cross Abstract: Deep neural networks encode complex representations, but deconstructing this internal knowledge remains a challenge. Given the link between learning a

How Rules Represent Causal Knowledge: Causal Modeling with Probabilistic Logic Programming

arXiv:2607.21208v1 Announce Type: new Abstract: Pearl famously argues that causal knowledge enables the prediction of intervention effects. By contrast, purely descriptive knowledge supports only conc

Identifying Good Rules for Efficient SAT Encodings of Single-Constant Multiplication Using Machine Learning

arXiv:2607.21188v1 Announce Type: new Abstract: The Single Constant Multiplication problem is a fundamental NP-hard optimization task in hardware design, which seeks to decompose a fixed constant usin

Improved lower bounds for the Shannon capacity of odd cycles

arXiv:2607.21517v1 Announce Type: cross Abstract: The Shannon capacity Theta(G) of a graph G quantifies the maximum rate at which information can be transmitted with zero error over a noisy channel. I

Incremental Optimal Assignment for Real-Time Crowd Tracking

arXiv:2607.21368v1 Announce Type: new Abstract: Multi-object tracking in dense crowds requires solving a bipartite assignment problem between detections and trajectories at every video frame. The clas

Inducing Comparability of Factorised Probability Distributions

arXiv:2607.20502v1 Announce Type: new Abstract: To allow for principled comparison between two probabilistic graphical models defined over non-identical variable sets, they have to be lifted to a comm

Interpretable Embeddings with Sparse Autoencoders: A Data Analysis Toolkit

arXiv:2512.10092v2 Announce Type: replace Abstract: Analyzing large-scale text corpora is a core challenge in machine learning, crucial for tasks like identifying undesirable model behaviors or biases

Knowledge Injection Exists in MoE? Exploring Expert-Aware Contrast Decoding in MoE for Mitigating LLMs'Hallucinations

arXiv:2607.20426v1 Announce Type: cross Abstract: Existing LLM hallucination mitigation methods, including prompt engineering and model optimization, either hardly alter models'internal knowledge or h

Latent Variable-Mediated Cross-Learning for Few-Shot Acoustic Impedance Imaging

arXiv:2607.20989v1 Announce Type: new Abstract: Acoustic impedance imaging is a fundamental yet severely ill-posed problem in subsurface analysis: the seismic wavelet is unknown, observations are band

Learning-based Seam Correspondence Reconstruction in Sewing Patterns

arXiv:2607.21213v1 Announce Type: new Abstract: Digital sewing patterns typically consist of disjoint 2D panels without explicit stitch annotations, making downstream 3D modeling reliant on labor-inte

LinearARD: Linear-Memory Attention Distillation for RoPE Restoration

arXiv:2604.00004v2 Announce Type: replace-cross Abstract: The extension of context windows in Large Language Models is typically facilitated by scaling positional encodings followed by lightweight Con

Logic Programming Semantics for Causal Processes

arXiv:2607.21233v1 Announce Type: new Abstract: Motivated by challenging modelling issues in the life sciences, we investigate the relationship between logic programming semantics and the eventual sta

Logical Regression for Planning with Axioms

arXiv:2607.21414v1 Announce Type: new Abstract: In automated planning, logical regression is an operation that returns the most general condition necessary for an action to achieve a particular formul

Loss-Complexity Landscape and Model Structure Functions

arXiv:2507.13543v5 Announce Type: replace-cross Abstract: We develop a framework for dualizing the Kolmogorov structure function h_x(alpha), which then allows using computable complexity proxies. We e

Loss Landscape Topology Reveals Why Simple Baselines are Competitive at 3D Point Cloud Segmentation Under Class Imbalance

arXiv:2607.21089v1 Announce Type: new Abstract: Semantic segmentation of 3D point clouds faces severe class imbalance, yet the effectiveness of specialized imbalance-aware methods from 2D computer vis

MAGE-Vein: Multi-Instance Age and Gender Estimation from Finger Vein Images

arXiv:2607.20897v1 Announce Type: new Abstract: Age estimation from finger vein images has been widely considered impractical due to severe demographic biases in public datasets and physiological conf

Marking the Wrong Symptoms: Evaluating LLM Watermarks in Medical Texts

arXiv:2607.20462v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly integrated into clinical workflows, stressing the need for reliable traceability of model-generated output

Masked Topology Modeling for Self-Supervised Learning on Parametric CAD

arXiv:2607.20642v1 Announce Type: new Abstract: Computer aided design (CAD) is ubiquitous: virtually any modern object was designed using editable CAD tools. However, with the shortage of available CA

Memoir: Should a Model Write to Its Memory While It Thinks?

arXiv:2607.20792v1 Announce Type: new Abstract: Memoir combines per-sample fast memory, shared slow parameters, variable-depth latent recurrence, and a future-latent energy objective. We test its risk

MIRROR: Learning from the Other View for Multi-Modal Reasoning

arXiv:2607.21552v1 Announce Type: new Abstract: Unlike large language models (LLMs) that exhibit strong reasoning capabilities, vision-language models (VLMs) struggle with visual reasoning, even on ge

Monkey King Bang: A Unified Scientific Multimodal Foundation Model

arXiv:2607.20557v1 Announce Type: cross Abstract: Scientific discovery is increasingly shifting from isolated disciplines to multi-domain reasoning, and AI for science faces a similar transition. Exis