research

Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report

arXiv:2607.21201v1 Announce Type: new Abstract: While the integration of linear constraints has significantly expanded the reach of Answer Set Programming (ASP), existing hybrid solvers often rely on

Research

Bridging the Gap Between Plausibility and Admissibility: Constraint-Aware Flow Maps for Dynamic Graph Systems

DGX agent

arXiv:2607.21421v1 Announce Type: new Abstract: Generative models can support decision-making under uncertainty by producing ensembles of plausible future system trajectories, but statistical plausibi

researcharxiv-cs-ai

24 Jul 2026

Can an AI System Be Creative? A Critical Perspective from Art and Engineering

arXiv:2607.20796v1 Announce Type: new Abstract: This paper examines the question of whether artificial intelligence (AI) systems can be creative, approached from the dual perspective of a researcher t

Can Generative Recommendation Reach Cold Items? A Temporal Perspective on Semantic-ID Generation

arXiv:2607.21101v1 Announce Type: new Abstract: Semantic-ID-based generative recommendation represents items as sequences of shared semantic tokens, enabling token recombination beyond isolated item I

Can Valence Reflect Morality in Natural Language? A Preliminary Annotation Study

arXiv:2607.20461v1 Announce Type: cross Abstract: Present implementations of artificial intelligence (AI) ethics do not adequately take feelings, or affect, into account. If AI should be aligned with

Cautious optimism for deep parameterized quantum circuits

arXiv:2607.21409v1 Announce Type: cross Abstract: A central challenge in quantum machine learning is understanding the scaling behavior of parameterized quantum circuits (PQCs). In particular, it rema

CEDAR: Causal Edge Discovery for Autoregressive Processes

arXiv:2607.20696v1 Announce Type: new Abstract: We propose CEDAR (Causal Edge Discovery for Autoregressive Processes), a constraint-based method for lagged causal edge discovery in sparse autoregressi

Chemical Chain-of-Thought Functions as a Hallucination-Prone Molecular Scratchpad

arXiv:2607.20935v1 Announce Type: cross Abstract: Chemical reasoning language models are expected to derive molecular answers through faithful chain-of-thought (CoT). However, across four reasoning mo

researcharxiv-cs-cl

Chess_db: A framework for working with large chess game datasets

arXiv:2607.21195v1 Announce Type: cross Abstract: Chess is a two player strategic game that is embedded in classical AI culture as it was once the frontier for intelligent behaviour. There was the sil

ClickGuard: Detecting and Spoiling Clickbait News with Informativeness Measures and Large Language Models

arXiv:2607.20463v1 Announce Type: new Abstract: This paper presents an AI-driven browser extension that identifies clickbait to help users avoid misleading Internet articles. Moving beyond traditional

CLUIE: Clustering-Aware Recurrent Propagation with Local Structural Compensation for Underwater Image Enhancement

arXiv:2607.21467v1 Announce Type: new Abstract: Underwater image enhancement remains challenging due to wavelength-dependent light absorption, scattering, and backscattering, which jointly cause color

Clustered Edge Intelligence: Beyond Just Convergence of Edge Computing and AI

arXiv:2607.20937v1 Announce Type: new Abstract: We are moving from an information age to the age of intelligence. A decade, or possibly less than that, data will not be the gold anymore rather the der

Code Monitor Red Teaming for Public-Test-Passing Code

arXiv:2607.20852v1 Announce Type: new Abstract: Visible tests are a common gate for LLM-generated code, but passing them does not certify specification correctness. We study a deployment-like monitori

Codec-Gauge: Learning Compression-Friendly Gauges for Transformer KV Caches

arXiv:2607.20538v1 Announce Type: cross Abstract: Long-context Transformer inference increasingly relies on KV-cache compression or quantization. Prior rotation and transform-coding results suggest th

Compiling to recurrent neurons

arXiv:2511.14953v2 Announce Type: replace-cross Abstract: Discrete structures are currently second-class in differentiable programming. Since functions over discrete structures lack overt derivatives,

Content Anonymization for Privacy in Long-form Audio

arXiv:2510.12780v3 Announce Type: replace-cross Abstract: Voice anonymization techniques have been found to successfully obscure a speaker's acoustic identity in short, isolated utterances in benchmar

researcharxiv-cs-cl

Context-weighted Discrete Flow Matching

arXiv:2607.21427v1 Announce Type: new Abstract: Discrete flow matching provides a flexible framework for generative modeling on discrete structures. However, the standard factorized training objective

CRAWO: Custom Resources for Adaptive Workload Orchestration

arXiv:2607.20490v1 Announce Type: new Abstract: Edge Intelligence has emerged as a key paradigm for enabling real-time applications in smart cities by shifting computation from centralized cloud data

Cross-Domain Generalization in Optical Networks via Joint Contrastive and Classification Learning

arXiv:2607.20666v1 Announce Type: cross Abstract: The robustness of machine learning techniques across heterogeneous network domains remains an open challenge in optical networks. Models trained on da

DC-Leap: Training-Free Acceleration of dLLMs via Draft-Guided Contiguous Leaping Decoding

arXiv:2607.20467v1 Announce Type: new Abstract: While parallel decoding is central to the efficiency of Diffusion Large Language Models (dLLMs), current strategies are often hindered by overly conserv

Declarative Problem Solving in UAM Strategic Deconfliction

arXiv:2607.21197v1 Announce Type: cross Abstract: The growing demand for Urban Air Mobility (UAM) introduces significant challenges in airspace management, particularly within densely populated metrop

DecodeShare: Tracing the Shared Subspace of LLM Decode-Time Decisions

arXiv:2607.20469v1 Announce Type: new Abstract: Large language models (LLMs) handle many tasks with one set of parameters, but under KV-cached inference it is unclear what task-general structure, if a

Demographically-Informed Heat-Mortality Risk Curves via Risk Graph Neural Networks

arXiv:2607.21131v1 Announce Type: cross Abstract: Estimating heat-related mortality risk is a core task in environmental epidemiology, typically addressed with Distributed Lag Non-linear Models (DLNMs

Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems

arXiv:2607.21185v1 Announce Type: new Abstract: Neurosymbolic (NeSy) systems integrate neural networks with logical reasoning to achieve both generalization and interpretability, but recent work has s

Directional Hallucinations: Ideological Drift in News-Grounded LLM Question Answering

arXiv:2607.20487v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly used to answer questions about political information, including in election-adjacent information settings

Distinguishing Artificial from Authentic: Evaluating LLMs for Detecting LLM-Generated Content

arXiv:2607.20446v1 Announce Type: new Abstract: As large language models (LLMs) are increasingly used by students to generate natural language responses and program code, there is growing interest in

researcharxiv-cs-cl

Distributed Model-Based Diffusion For Scalable Multi-Robot Trajectory Optimization

arXiv:2607.20992v1 Announce Type: new Abstract: Trajectory optimization for multi-robot systems remains a critical challenge, particularly when navigating highly non-convex, non-linear, and non-differ

researcharxiv-cs-ro

Double-Scoring: Reliable Extraction of Strong Lottery Tickets

arXiv:2607.20555v1 Announce Type: new Abstract: The lottery ticket hypothesis proposes that large random neural networks contain sparse subnetworks that can match the performance of dense models after

DS@GT ARC at ImageCLEFmed GANs 2026: Geometric Filtering for Privacy-Preserving CT Slice Generation

arXiv:2607.20692v1 Announce Type: cross Abstract: We present a privacy-preserving framework for synthetic lung CT slice generation developed for the Image-CLEFmed GANs 2026 challenge. The approach com

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

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

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

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

Evaluation and Prognostic Validation of Deep Regression Models for WSI-Based Gene-Expression Prediction

arXiv:2410.00945v2 Announce Type: replace-cross Abstract: Gene-expression profiling is widely used in research and central to many areas of precision oncology, but remains costly and not universally a

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 Checklists to Clusters: A Homeostatic Account of AGI Evaluation

arXiv:2510.15236v2 Announce Type: replace Abstract: Contemporary AGI evaluations report multidomain capability profiles, yet they typically assign symmetric weights and rely on snapshot scores. This c

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 Noise to Diversity: Random Embedding Injection in LLM Reasoning

arXiv:2605.11936v2 Announce Type: replace Abstract: Recent soft prompt research has tried to improve reasoning by inserting trained vectors into LLM inputs, yet whether the gain comes from the learned