Search: “arxiv-cs-lg”

GenLimitLib: A Formal Library for Language Generation in the Limit and AI-Assisted Mathematical Research

arXiv:2609.36663v1 Announce Type: new Abstract: We present GenLimitLib, a source-aligned Lean 4 library for language generation in the limit. Introduced by Kleinberg and Mullainathan at NeurIPS 2024,

Human

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Model Releases

GenomeOcean Anywhere: Private WebGPU Inference for Genome MoEs

DGX agent

arXiv:2609.35882v1 Announce Type: cross Abstract: Genome foundation models are most useful where sequences are generated, yet the largest models need datacenter accelerators and a place to send privat

model-releasesarxiv-cs-lg

30 Sept 2026

GenoTrace: Inheritable Watermarks for Genome Foundation Model Distillation

arXiv:2609.35881v1 Announce Type: cross Abstract: Can a genome model retain a detectable record of the synthetic sequences used to train it? We study watermark inheritance through distillation with Ge

Geometry-Aided Channel Deduction with Partial Channel Estimates and Uncalibrated Digital Twin

arXiv:2609.37277v1 Announce Type: cross Abstract: The acquisition of high-dimensional channel state information (CSI) in wireless MIMO-OFDM communications usually requires high pilot overhead, or reli

GLASS: Global Latent Aggregation with Slot-based Set Decoding for Scalable All-Atom Crystal Generation

arXiv:2609.37158v1 Announce Type: new Abstract: Generative models for crystals enable the discovery of novel structures, but scaling all-atom generation to larger systems such as metal--organic framew

GNA: Granular Neighbor Assembly for Retrieval-Augmented Multivariate Time-Series Forecasting

arXiv:2609.36281v1 Announce Type: new Abstract: Deep forecasters predict from a fixed-length lookback window, and lengthening it gives diminishing returns at a growing cost. Retrieval augmentation ins

Graph-Conditioned On-Policy Agent Distillation from Off-the-Shelf Teachers

arXiv:2609.37522v1 Announce Type: new Abstract: On-policy distillation (OPD) trains compact language agents with teacher feedback on student-generated trajectories. In multi-turn tasks, compounding er

Graph-Spectral Flow Matching for Multivariate Time Series Anomaly Detection

arXiv:2609.36765v1 Announce Type: new Abstract: Multivariate time series anomaly detection typically relies on evaluating discrepancies between observations and outputs produced by models trained on n

GraphVQ: Structure-Aware Autoregressive Decoding over Context-Quantized Graph Tokens

arXiv:2609.37604v1 Announce Type: new Abstract: Graph foundation models need a discrete token representation, but casting a graph as a generatable token sequence faces a structural obstacle: edges spa

Applications

Harnessing Large Language Models to Compile Task-Relevant Context into Bayesian Optimisation

arXiv:2609.36788v1 Announce Type: new Abstract: Incorporating rich task-relevant context, such as domain knowledge and external observations, is a key capability yet remains challenging for Bayesian o

applicationsarxiv-cs-lg

Hierarchical Utility Calibration for Structured Multiclass Decisions

arXiv:2609.36532v1 Announce Type: cross Abstract: In multiclass probabilistic prediction, Utility Calibration (UC), which focuses auditing on specified utilities, has recently received attention as a

High-Dimensional Partial Least Squares: Spectral Analysis and Fundamental Limitations

arXiv:2512.15684v2 Announce Type: replace-cross Abstract: Partial Least Squares (PLS) is a widely used method for data integration, designed to extract latent components shared across paired high-dime

High-Dimensional Simulation-Based Inference in Latent Spaces

arXiv:2609.37381v1 Announce Type: new Abstract: Neural simulation-based inference (SBI) has been widely successful in inferring a relatively small number of interpretable parameters from potentially h

High-Probability Convergence of Clipped SGD under Heavy-Tailed Noise and (L_0,L_1)-Smoothness

arXiv:2505.20817v3 Announce Type: replace-cross Abstract: Gradient clipping is widely used in language-model training to control heavy-tailed gradient noise and can improve convergence guarantees over

High-Resolution Dynamic Functional Connectivity Generation with Graph-Variate Flow Matching

arXiv:2609.37037v1 Announce Type: new Abstract: High-resolution dynamic functional connectivity (DFC) can reveal rapidly evolving brain-network interactions, but short temporal windows yield noisy, of

How Language Models Differ in Redistributing Attention-Head Activity Under Serial Demand

arXiv:2609.36221v1 Announce Type: new Abstract: The way a model distributes activity over each layer's attention heads offers a coarse view of how it routes information through depth; how this changes

Human-inspired, Task-Dimension-Guided Exploration for Efficient Learning in High Dimensions

arXiv:2609.36672v2 Announce Type: new Abstract: Efficient exploration in high-dimensional decision spaces remains a central challenge for decision-making systems. Humans, in contrast, can navigate lar

Hybrid Ensemble Learning for EEG-Based Epileptic Seizure Forecasting

arXiv:2609.35876v1 Announce Type: new Abstract: Epileptic seizure forecasting aims to provide actionable warnings before seizure onset, yet patient-independent generalization and false-alarm control r

Hybrid Joint-Selective Optimization: Reduced-Space Levenberg-Marquardt Refinement of Low-Dimensional Parameters of Interest

arXiv:2609.37308v1 Announce Type: cross Abstract: This paper introduces a hybrid joint-selective optimization (HJSO) framework for large-scale numerical problems in which a small subset of trainable q

Hybrid Neural Simulation-Based Inference for Robust Applications and Limited-Budget Scenarios

arXiv:2609.36044v1 Announce Type: cross Abstract: We develop two hybrid techniques that approach the performance of neural simulation-based inference (NSBI) analyses while substantially reducing the c

HyDI: A hybrid Deep Learning-Inductive Logic Programming ensemble for multi-label classification

arXiv:2609.37740v1 Announce Type: new Abstract: While attaining remarkable results for many applications, Deep Learning models are notoriously difficult to explain. This work introduces HyDI, a hybrid

Identifiability Guarantees for Drivers and Dynamics of Delayed Physical Systems

arXiv:2609.37944v2 Announce Type: cross Abstract: A wide range of methods have been proposed, including physics-informed neural networks, which are powerful but do not guarantee identifiability of the

Improving Function Space Flow Matching with Kernel Optimal Transport

arXiv:2609.38049v1 Announce Type: new Abstract: Generative models for function-valued data, such as time series and solutions of partial differential equations, must learn distributions over infinite-

Information-theoretic receding-horizon active learning of nonlinear dynamical systems

arXiv:2609.36712v1 Announce Type: cross Abstract: Accurately learning nonlinear dynamics from a finite-duration experiment requires the efficient collection of informative data. We address this challe

Inter-patient ECG Arrhythmia Classification with LGNs and LUTNs

arXiv:2601.11433v2 Announce Type: replace Abstract: Deep Differentiable Logic Gate Networks (LGNs) and Lookup Table Networks (LUTNs) are demonstrated to be suitable for the automatic classification of

Interacting particle guidance for sampling reward-tilted generative priors

arXiv:2609.37227v1 Announce Type: new Abstract: Inference-time steering adapts pretrained diffusion and flow-based models to new tasks, e.g., to generate samples from a conditional distribution or sam

Interpretable intrinsic dimension estimation through componentwise calibration of distance and angle

arXiv:2609.37114v1 Announce Type: new Abstract: DANCo (Dimensionality from Angle and Norm Concentration) jointly calibrates nearest-neighbor distance and angular statistics and consistently reaches st

Into the danger zone: stable extrapolation in high-dimensional function and operator learning

arXiv:2609.36709v1 Announce Type: cross Abstract: Out-of-distribution (OOD) generalization is a central challenge in scientific machine learning. We study regression problems in which the test distrib

Introducing the CZAR Loss: A Tailored Objective Function for Financial Log-Return Predictions

arXiv:2609.36061v1 Announce Type: new Abstract: In quantitative finance, standard regression losses are misaligned with the economics of return prediction. As the conditional mean of financial log-ret

Iterative Exact Discrete Guidance for Energy-Based Sampling

arXiv:2609.37043v1 Announce Type: new Abstract: Sampling from unnormalized distributions over large discrete state spaces becomes difficult when a multimodal target is far from a tractable reference.

KernelOnet: An Interpretable Neural Operator Based on Kernel Functions

arXiv:2609.35938v1 Announce Type: new Abstract: This paper proposes an interpretable neural operator framework, the Kernel Operator Network (KernelOnet), which incorporates kernel functions explicitly

Know Thyself, Teach Thyself: Internal Information Flow for Selective Self-Distillation

arXiv:2609.36695v1 Announce Type: new Abstract: Self-distillation turns knowledge distillation into a closed learning loop and offers a path toward recursive self-improvement. Without an external teac

Koa-action: Fast and Consistent Structured Decision Making with Generative LLMs

arXiv:2609.36115v1 Announce Type: new Abstract: Industry applications often demand low-latency classification, yet current large language model (LLM) approaches remain poorly suited for latency-critic

Kolmogorov-Arnold Classifier Systems as Universal Approximators

arXiv:2609.37958v1 Announce Type: new Abstract: As the input dimension n grows, rule-based machine learning, such as Learning Classifier Systems (LCSs), faces a fundamental scalability bottleneck for

KT-EGO: A Knowledge Transfer Assisted Efficient Global Optimization Algorithm for Solving High-Dimensional Expensive Black-Box Problems

arXiv:2609.37473v1 Announce Type: cross Abstract: Many engineering problems involve optimizing a high-dimensional expensive black-box (HEB) design space. To solve such problems efficiently, we propose

Latent Inference-Time Guidance of Time Series Foundation Models

arXiv:2609.38058v1 Announce Type: cross Abstract: Time Series Foundation Models (TSFMs) currently provide state-of-the-art results in forecasting tasks. They are available out-of-the-box and rely on i

Local Ai

Learned Compression of SAR Phase-History Data: A Rate-Honest Feasibility Study on GOTCHA

arXiv:2609.35848v1 Announce Type: new Abstract: On-board compression of synthetic aperture radar (SAR) phase history is bandwidth-critical, and block-adaptive quantization (BAQ) remains the operationa

local-aiarxiv-cs-lg

Learned Queries and Keys Are All You Need: Replacing the Value Projection with Structured Transforms

arXiv:2609.36698v1 Announce Type: new Abstract: To reduce the number of parameters and cache memory requirements of transformers we introduce dual-headed transformers instead of three heads. We studie

Learned Reporting Preferences in RLVR Can Conflict with the Current Request

arXiv:2609.36587v1 Announce Type: new Abstract: Reinforcement learning with verifiable rewards (RLVR) has become a prominent approach for improving language-model performance on reasoning tasks using

Learning Causal Normalizing Flows from Incomplete Data via Observed-Data Likelihood

arXiv:2609.37664v1 Announce Type: new Abstract: Causal Normalizing Flows (CNFs) enable causal inference from observational data given the causal structure, but they assume fully observed training data

Applications

Learning Continuous Patient Trajectories from Electronic Health Records

arXiv:2609.36144v1 Announce Type: new Abstract: Electronic health records provide irregular observations of latent patient states that evolve continuously over time. Recent autoregressive models condi

applicationsarxiv-cs-lg

Learning Distributionally Robust First-Order Methods for Convex Optimization

arXiv:2605.06585v2 Announce Type: replace Abstract: We propose a distributionally robust approach to learning hyperparameters (e.g., step sizes and momentum coefficients) for first-order methods in co

Learning from the Gap Between Pass@K and Pass@1

arXiv:2609.35793v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly trained with reinforcement learning from verifiable rewards (RLVR). An exact verifier can also support tes

Learning in the Transverse Subspace: A Minimal Representation for Divergence-Free Operator Learning

arXiv:2609.35884v1 Announce Type: new Abstract: Divergence-free vector fields are fundamental state variables in incompressible flows and many PDE systems. Redundant parameterizations, including Neura

Learning Macroscopic Dynamics without Reconstructing Microscopic States

arXiv:2609.37392v1 Announce Type: new Abstract: Modeling the temporal evolution of macroscopic properties of complex systems is an important scientific task. To predict this evolution without full mic

Learning Nonlinear Finite Element Solution Operators using Multilayer Perceptrons and Energy Minimization

arXiv:2412.04596v3 Announce Type: replace Abstract: We develop and evaluate a method for learning solution operators to nonlinear problems governed by partial differential equations (PDEs). The approa

Learning Samples Importance: Parameterizing Dual Variables in Everywhere Learning

arXiv:2609.36310v1 Announce Type: new Abstract: Everywhere learning provides a principled framework for training AI models under constraints that must hold throughout the data distribution. In the dua

Learning the Structure of Triangular Transport Maps

arXiv:2609.37122v1 Announce Type: new Abstract: Triangular transport maps provide a flexible approach to sampling-based probabilistic modeling, including density estimation, generative modeling, and B