Search: “research”

Formal Verification of Romanov's Triplet Logic: A Verified Filter for Sliding-window 3-CNF with Application to Structured Formulas

arXiv:2608.18445v1 Announce Type: cross Abstract: We present the first mechanised formalisation of Romanov's Triplet Logic (TLS) in the Rocq proof assistant. TLS is a triplet-based combinatorial frame

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Research

Foundations of Diffusion Models in General State Spaces: A Self-Contained Introduction

DGX agent

arXiv:2512.05092v2 Announce Type: replace-cross Abstract: Although diffusion models now occupy a central place in generative modeling, introductory treatments commonly assume Euclidean data and seldom

researcharxiv-cs-lg

20 Aug 2026

FRAGMENT: Factorized Graph Representations for Document Generation and Editing via Entity-Aware Transformations

arXiv:2608.18679v1 Announce Type: new Abstract: Structured documents such as invoices, forms, reports, and scientific articles derive meaning from the interplay between spatial layout, textual content

Fuzzy Accuracy Compensates for Label Subjectivity in Classification of Skin Tone Using Wearable Photoplethysmography Signals

arXiv:2608.18969v1 Announce Type: new Abstract: We consider the problem of classification of skin tone using photoplethysmography (PPG) signals with labels of the ordinal six-class Fitzpatrick skin to

GCNO: Gramian Chebyshev Neural Operator for Physics-Based Compression of Wireless Channels

arXiv:2608.18522v1 Announce Type: cross Abstract: Large antenna arrays allow wireless systems to serve more users and achieve higher data rates, but they also make channel feedback expensive: the rece

GEAR: Generative Expansion and Real Anchoring for Two-Stage Distillation of Tabular Foundation Models

arXiv:2608.18849v1 Announce Type: new Abstract: Tabular foundation models (TFMs) achieve strong performance through in-context learning, but context-dependent inference imposes substantial latency and

Generalizable AI-Generated Image Detection Based on Fractal Self-Similarity in the Spectrum

arXiv:2503.08484v2 Announce Type: replace Abstract: With the rapid development of image synthesis techniques, AI-generated images have become increasingly realistic, which heightens the potential risk

Geometric Iterative Retrieval for Neural Audio Codec Resynthesis

arXiv:2608.19141v1 Announce Type: cross Abstract: Neural audio codecs based on Residual Vector Quantization (RVQ) have become the dominant discrete representation for token-based general audio generat

Gradient Mirage: Trainable yet Label-Unidentifiable Gradients in Large Language Model Split Learning

arXiv:2608.18767v1 Announce Type: new Abstract: Gradient matching attacks (GMAs) in LLM split learning (SL) rely on a critical yet underexplored assumption: the gradient exposed at the split interface

Graphical Design of Interpretable Architectures

arXiv:2608.18936v1 Announce Type: cross Abstract: Designing, implementing, and comparing interpretable architectures requires a formal language to represent them. The most common representations fall

Hallucination Detection in Large Language Models Using Diversion Decoding

arXiv:2607.10476v2 Announce Type: replace Abstract: Large language models (LLMs) have emerged as a powerful tool for retrieving knowledge through seamless, human-like interactions. Despite their advan

How Do VLMs Fail? Vision-Operation Misalignment in Compositional VQA

arXiv:2607.16094v2 Announce Type: replace Abstract: Compositional visual question answering requires Vision-Language Models (VLMs) to execute multiple reasoning operations like object selection, spati

Identifying Implicit Premises for Logical Reconstruction of Argument Graphs

arXiv:2608.18821v1 Announce Type: cross Abstract: The logical reconstruction of argument graphs from natural language text is challenging because of the prevalence of enthymemes (i.e., arguments with

Imitation of Arm Gestures by the Semi-Humanoid Robot NICO

arXiv:2607.18197v2 Announce Type: replace Abstract: Seamless human-robot interaction (HRI) requires a number of perceptual and motor abilities from the robot, one of them being the imitation of human

Improving Natural-Language Combinatorial-Optimization Accuracy in Resource-Constrained Language Models via Formal Abstractions

arXiv:2608.18409v1 Announce Type: new Abstract: Combinatorial scheduling poses a significant challenge for language models, requiring them to identify feasible solutions within exponentially large sea

Inference and Uncertainty Quantification for Streaming r-PCA

arXiv:2608.18374v1 Announce Type: cross Abstract: We address two open questions in streaming PCA via Oja's algorithm: sharp operator-norm convergence for general rank under sub-Gaussian data, and dist

Infrared Universality of Collective Dynamics across Transformer and State-Space Architectures

arXiv:2608.18592v1 Announce Type: new Abstract: Whether distinct neural architectures develop common collective dynamics remains an open question. Recent analysis of Transformer language models reveal

Interactive Stroke-based Neural SDF Sculpting

arXiv:2502.02891v2 Announce Type: replace-cross Abstract: Recent advances in implicit neural representations have made them a popular choice for modeling 3D geometry. However, directly editing these r

Intercepting the Kangaroo: Experimental Astrolinguistics with Constructed Lexicons, Active Probing, and Large Language Models as Informants and Hypothesis Proposers

arXiv:2608.19124v1 Announce Type: cross Abstract: Astrolinguistics -- communication with minds that categorize reality differently from ours -- has been purely speculative since Freudenthal's Lincos (

Interpretable AI predicts a 2026 summer dry anomaly in central China

arXiv:2608.19163v1 Announce Type: cross Abstract: Seasonal precipitation anomalies are largely regulated by atmospheric circulation, which dynamical models predict with greater reliability than precip

Iterative Flow Matching: Path Correction and Gradual Refinement for Enhanced Generative Modeling

arXiv:2502.16445v4 Announce Type: replace-cross Abstract: Generative models for image generation are now commonly used for a wide variety of applications, ranging from guided image generation for ente

Leaf Values as Coordinates: Exact Contrastive Explanation for Gradient-Boosted Ensembles

arXiv:2608.19127v1 Announce Type: cross Abstract: A gradient-boosted ensemble predicts by summing one leaf value per tree. Read those values as coordinates rather than as intermediate results, and eve

Learning Canonical Register Automata over Ordered Data Domains

arXiv:2608.18765v1 Announce Type: new Abstract: Register automata are finite automata equipped with memory that recognize data languages over infinite alphabets. In this work, we investigate active le

Learning Random Geometric Graphs Drawn in Probabilistic Metric Spaces

arXiv:2608.19082v1 Announce Type: cross Abstract: We present a new data-driven learning of a Random Geometric Graph (RGG) of a multivariate dataset, where the graph is drawn in a probabilistic metric

Levy Attention: Single-Pass Predictive Uncertainty for Continuous-Time Attention

arXiv:2608.19171v1 Announce Type: new Abstract: Deep models for irregularly-sampled time series answer queries at arbitrary continuous timestamps, yet report nothing about how far each answer should b

Listening or Reading? Evaluating Speech Awareness in Chain-of-Thought Speech-to-Text Translation

arXiv:2510.03115v2 Announce Type: replace Abstract: Speech-to-Text Translation (S2TT) systems built from Automatic Speech Recognition (ASR) and Text-to-Text Translation (T2TT) modules face two major l

LumiTokens: 3D Relighting via Token-Space Lighting Transformation

arXiv:2608.18215v1 Announce Type: new Abstract: Existing 3D relighting methods operate through either explicit material decomposition, diffusion-based view-space generation, or a combination of both,

Many Optimizers But Only One Training Path: Repeated Resampling for Adaptive Optimizer Selection

arXiv:2608.18810v1 Announce Type: new Abstract: An optimizer is usually chosen before training a deep neural network and then kept fixed. Treating optimizer choice as a hyperparameter could boost perf

MLREF: Efficient Module Reuse for Reward Design in Reinforcement Learning via Large Language Models

arXiv:2608.18827v1 Announce Type: cross Abstract: Reward function design remains a bottleneck in reinforcement learning. While large language models (LLMs) have enabled automated reward generation, ex

More Context, Same Budget: Dual-Bounded Relational Recall Beyond Top-K Retrieval

arXiv:2608.18448v1 Announce Type: cross Abstract: More context does not require a larger retrieval budget. Under the same ceiling, a retrieval system can recover more of the evidence a question requir

MorphoGP: A Nonparametric Framework for Predicting Equilibrium Beach Profiles Under Tidal Influence

arXiv:2608.18558v1 Announce Type: cross Abstract: The prediction of equilibrium beach profiles under tidal influence is of fundamental importance for sustainable coastal development, informing shoreli

Multi-stage neural operator learning with application for convolutions

arXiv:2608.18851v1 Announce Type: new Abstract: Convolution integrals widely exist in applications, and to enable fast and accurate computations, this paper introduces two general multi-stage neural o

Off-Manifold Collapse in Guided Protein Language Models

arXiv:2608.18597v1 Announce Type: new Abstract: Protein language models are widely used priors for protein sequence design, and a growing body of work controls them at inference time as an alternative

On the Slow Convergence to Trivial Solutions of Algorithms for Hard Optimization Problems

arXiv:2608.18910v1 Announce Type: new Abstract: Hard combinatorial optimization problems, many of which are NP-hard, present fundamental algorithmic challenges. Average-case analysis on random instanc

On the Triangle Inequality for the Jaccard Distance in Arbitrary Lattices

arXiv:2608.18194v1 Announce Type: new Abstract: This paper presents new theoretical results on generalizing the Jaccard distance for lattices and real valuations. We demonstrate that when the valuatio

Online Bipartite Matching with Reusable Capacity under Non-Stationary Rewards

arXiv:2608.18130v1 Announce Type: cross Abstract: We study online bipartite matching with reusable server capacity and non-stationary rewards. Jobs arrive sequentially, reveal compatible servers, rewa

Online Learning for Dynamic Constellation Topologies

arXiv:2603.25954v2 Announce Type: replace Abstract: The use of satellite networks has increased significantly in recent years due to their advantages over purely terrestrial systems, such as higher av

Operationalizing Narrative Entropy (Sn): A Two-Scene Registered Pilot Report and Pre-Validation Protocol

arXiv:2608.18109v1 Announce Type: new Abstract: Narrative Entropy (S_n) is a proposed quantitative descriptor within the Bulut Doctrine, intended to capture the rate at which a narrative text imposes

Orthogonal Polynomial Approximation for Matrix Log Normalization in Global Covariance Pooling

arXiv:2608.19021v1 Announce Type: new Abstract: Global Covariance Pooling (GCP) improves deep networks by capturing second-order feature statistics, and is especially effective for fine-grained recogn

Pairwise Logical Selection of Enthymeme Completions under Semantic-Link Uncertainty

arXiv:2608.18820v1 Announce Type: new Abstract: Arguments often omit premises or claims, forming enthymemes. We study pairwise logical selection between two candidates for the omitted component. Exist

PALATE: Personalized Aesthetic Learning through Adaptive Taste Evolution for Multi-User Portrait Retouching

arXiv:2608.18622v1 Announce Type: new Abstract: Automatic portrait retouching has advanced rapidly, yet its objective is inherently subjective: the same portrait admits multiple professionally valid r

Partition the Support, Reconstruct the Residual: Training-Free Sparse Attention for Video Generation and World Models

arXiv:2608.18484v1 Announce Type: cross Abstract: Training-free block-sparse attention can accelerate video transformers, but row-wise attention concentration does not by itself specify an executable

Payload Swing Estimation and Damping Without Payload Parameters for Multirotor UAVs

arXiv:2608.18625v1 Announce Type: cross Abstract: Cable-suspended payload transport by multirotor UAVs is flexible but generates periodic swing disturbance that degrades tracking and risks instability

Pre-Training for Simulation-Based Science: A Study on Jet Foundation Model Training Objectives

arXiv:2606.14870v2 Announce Type: replace-cross Abstract: Foundation models (FMs) trained on large datasets and fine-tuned on downstream tasks have emerged as a powerful paradigm in AI for science. In

Quantum Tensor Network Learning with DMRG

arXiv:2608.18901v1 Announce Type: cross Abstract: Tensor Networks are a relatively new machine learning approach. The architectures proposed initially are inspired by approaches from quantum many-body

QuARC-GS: Quantized Anchored Residual Coding for Compact Dynamic Scene Streaming with Gaussian Splatting

arXiv:2608.18285v1 Announce Type: cross Abstract: 3D scene representation techniques such as neural radiance fields (NeRFs) and Gaussian splatting have made substantial progress in novel view synthesi

Real-Time Control-Constrained DDP for Underactuated Balancing of Legged Robots

arXiv:2608.18552v1 Announce Type: new Abstract: This paper presents a real-time control-constrained Differential Dynamic Programming (DDP) framework for underactuated legged robots. To address the lim

Reconstruction of continuum robots by marker-free shape registration of image data using a kinematic model

arXiv:2405.15336v2 Announce Type: replace Abstract: Continuum robots are slender, flexible manipulators that navigate confined, curved workspaces and are gaining traction in aerospace, inspection, aut