Search: “arxiv-cs-lg”

Exponential Sample Complexity Separation between Flat and Hierarchical Agentic Theorem Provers

arXiv:2602.10512v2 Announce Type: replace Abstract: Agentic theorem provers often introduce intermediate lemmas, proof sketches, or subgoal decompositions before returning to tactic-level search. This

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Model Releases

FAME: Forecasting Academic Impact via Continuous-Time Manifold Evolution

DGX agent

arXiv:2605.07208v1 Announce Type: new Abstract: Large Language Models (LLMs) are increasingly used to brainstorm and evaluate research ideas, yet assessing such judgments is fundamentally difficult be

model-releasesarxiv-cs-lg

11 May 2026

FANoS-v2: Feedback-Controlled Momentum with Thermostat Damping for Lightweight Neural Optimization

arXiv:2601.00889v2 Announce Type: replace Abstract: FANOS{} is a PyTorch optimizer that augments RMS-preconditioned momentum with a scalar feedback controller over update energy. The public reference

Faster Verified Explanations for Neural Networks

arXiv:2512.00164v2 Announce Type: replace Abstract: Verified explanations are a principled way to explain the decisions taken by neural networks, which are otherwise black-box in nature. However, thes

FastOmniTMAE: Parallel Clause Learning for Scalable and Hardware-Efficient Tsetlin Embeddings

arXiv:2605.06982v1 Announce Type: new Abstract: Embedding models in natural language processing (NLP) increasingly rely on deep architectures such as BERT, while simpler models such as Word2Vec provid

Fidel-TS: A High-Fidelity Multimodal Benchmark for Time Series Forecasting

arXiv:2509.24789v4 Announce Type: replace Abstract: The evaluation of time series forecasting models is hindered by a lack of high-quality benchmarks, leading to overestimated assessments of progress.

FLAM: Evaluating Model Performance with Aggregatable Measures in Federated Learning

arXiv:2605.07962v1 Announce Type: new Abstract: Performance evaluation is essential for assessing the quality of machine learning (ML) models and guiding deployment decisions. In federated learning (F

Applications

Flexible Routing via Uncertainty Decomposition

arXiv:2605.07805v1 Announce Type: new Abstract: A key strategy for balancing performance and cost in modern machine learning systems is to dynamically route queries to either a low-cost model or a mor

applicationsarxiv-cs-lg

FlightSense: An End-to-End MLOps Platform for Real-Time Flight Delay Prediction via Rotation-Chain Propagation Features and Agentic Conversational AI

arXiv:2605.07364v1 Announce Type: new Abstract: Flight delays impose cascading operational and financial burdens across the aviation network, costing the U.S. economy billions of dollars annually by d

Tutorials

Flock: A Knowledge Graph Foundation Model via Learning on Random Walks

arXiv:2510.01510v3 Announce Type: replace Abstract: We study the problem of zero-shot link prediction on knowledge graphs (KGs), which requires models to generalize to novel entities and novel relatio

tutorialsarxiv-cs-lg

Flow Matching for Count Data

arXiv:2605.07746v1 Announce Type: cross Abstract: High-dimensional count data arise in applications such as single-cell RNA sequencing and neural spike trains, where mapping between distributions acro

Fortifying Time Series: DTW-Certified Robust Anomaly Detection

arXiv:2605.07690v1 Announce Type: new Abstract: Time-series anomaly detection is critical for ensuring safety in high-stakes applications, where robustness is a fundamental requirement rather than a m

From Average Sensitivity to Small-Loss Regret Bounds under Random-Order Model

arXiv:2602.09457v2 Announce Type: replace-cross Abstract: We study online learning in the random-order model, where the multiset of loss functions is chosen adversarially but revealed in a uniformly r

From Canopy to Collision: A Hybrid Predictive Framework for Identifying Risk Factors in Tree-Involved Traffic Crashes

arXiv:2605.06684v1 Announce Type: new Abstract: Tree-involved crashes represent a critical subset of run-off-road (ROR) collisions, often resulting in fatal or severe injuries due to high-energy impac

From Model to Data (M2D): Shifting Complexity from GNNs to Graphs for Transparent Graph Learning

arXiv:2605.06814v1 Announce Type: new Abstract: Graph Neural Networks (GNNs) achieve high performance but can be opaque to humans, making it difficult to understand and compare the many proposed archi

Functional-prior-based Bayesian PDE-constrained inversion using PINNs

arXiv:2605.07060v1 Announce Type: cross Abstract: Physics-informed neural networks (PINNs) provide a mesh-free framework for solving PDE-constrained inverse problems, but their extension to Bayesian i

Future Validity is the Missing Statistic: From Impossibility to Phi-Estimation for Grammar-Faithful Speculative Decoding

arXiv:2605.07698v1 Announce Type: new Abstract: Grammar-constrained generation is often combined with local vocabulary masking and speculative decoding, but the resulting sampling law is not the gramm

GameGen-Verifier: Parallel Keypoint-Based Verification for LLM-Generated Games via Runtime State Injection

arXiv:2605.07442v1 Announce Type: new Abstract: LLM-based game generation promises to turn natural-language specifications into executable games, but progress is limited by the lack of reliable automa

Generalising Travel Time Prediction To Varying Route Choices In Urban Networks

arXiv:2605.06918v1 Announce Type: cross Abstract: Previous methods that predict system-wide travel time, predominantly grounded in graph neural networks, remain limited to typical and recurring demand

Applications

Geometric Analysis of Neural Regression Collapse via Intrinsic Dimension

arXiv:2510.01105v2 Announce Type: replace Abstract: Neural multivariate regression underpins a wide range of domains, including control, robotics, and finance, yet the geometry of its learned represen

applicationsarxiv-cs-lg

GESR: Graph-Based Edge Semantic Reconstruction for Stealthy Communication Detection with Benign-Only Training

arXiv:2605.07536v1 Announce Type: cross Abstract: Detecting stealthy malicious communications from flow logs under benign-only training remains a critical challenge in network security. Malicious comm

Gradient Starvation in Binary-Reward GRPO: Why Group-Mean Centering Fails and Why the Simplest Fix Works

arXiv:2605.07689v1 Announce Type: new Abstract: Group Relative Policy Optimization (GRPO) is a standard algorithm for reinforcement learning from verifiable rewards, but its group-mean-centered advant

Graph Representation Learning Augmented Model Manipulation on Federated Fine-Tuning of LLMs

arXiv:2605.07961v1 Announce Type: new Abstract: Federated fine-tuning (FFT) has emerged as a privacy-preserving paradigm for collaboratively adapting large language models (LLMs). Built upon federated

GRAPHLCP: Structure-Aware Localized Conformal Prediction on Graphs

arXiv:2605.08074v1 Announce Type: new Abstract: Conformal prediction (CP) provides a distribution-free approach to uncertainty quantification with finite-sample guarantees. However, applying CP to gra

GRASP -- Graph-Based Anomaly Detection Through Self-Supervised Classification

arXiv:2605.07812v1 Announce Type: cross Abstract: Advanced persistent threat (APT) attacks remain difficult to detect due to their stealth, adaptability, and use of legitimate system components. Prove

Hammer and Anvil: Toward a Theory of Backdoors in Federated Learning

arXiv:2509.08089v2 Announce Type: replace Abstract: Federated Learning (FL) enables distributed model training but is vulnerable to backdoor attacks, where malicious clients embed attacker-controlled

Have Graph -- Will Lift? The Case for Higher-Order Benchmarks

arXiv:2605.07397v1 Announce Type: new Abstract: After a somewhat rocky start, geometry and topology have established a foothold in machine learning. Message passing, either on graphs or higher-order c

How Big Should a Wireless Foundation Model Be?

arXiv:2605.07266v1 Announce Type: cross Abstract: Wireless foundation models are rapidly emerging as a key enabler of AI-native communication systems, yet a fundamental question remains unanswered: ho

Identifiability Challenges in Sparse Linear Ordinary Differential Equations

arXiv:2506.09816v3 Announce Type: replace Abstract: Dynamical systems modeling is a core pillar of scientific inquiry across natural and life sciences. Increasingly, dynamical system models are learne

Improved Model-based Reinforcement Learning with Smooth Kernels

arXiv:2605.07218v1 Announce Type: new Abstract: For continuous state-action space scenarios, classical reinforcement learning (RL) theory predominantly focuses on low-rank Markov decision processes (M

Tutorials

Inductive Power Grid Cascading Failure Analysis with GRU-Gated Graph Attention

arXiv:2605.07010v1 Announce Type: new Abstract: Identifying vulnerable transmission lines in power grids before a cascading failure occurs is challenging: existing methods can learn inter-line failure

tutorialsarxiv-cs-lg

Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT

arXiv:2605.07433v1 Announce Type: cross Abstract: Qualitative models provide crucial instruments for modelling complex biological systems. While advances in automated reasoning and symbolic encodings

Inference-Time Attribute Distribution Alignment for Unconditional Diffusion

arXiv:2605.07456v1 Announce Type: new Abstract: Inference-time controllable generation is essential for real-world applications of unconditional diffusion models. However, most existing techniques foc

Information-theoretic Limits of Learning and Estimation

arXiv:2605.06710v1 Announce Type: cross Abstract: Information theory plays a central role in establishing fundamental limits on what any learning or estimation algorithm can -- and cannot -- achieve,

Instruction Tuning Changes How Upstream State Conditions Late Readout: A Cross-Patching Diagnostic

arXiv:2605.07284v1 Announce Type: new Abstract: Recent interpretability work has identified model-internal handles on post-trained behavior, including refusal directions, assistant/persona axes, and s

Applications

Integrating Causal DAGs in Deep RL: Activating Minimal Markovian States with Multi-Order Exposure

arXiv:2605.07057v1 Announce Type: new Abstract: Online reinforcement learning (RL) relies on the Markov property for guaranteed performance, but real-world applications often lack well-defined states

applicationsarxiv-cs-lg

Interactive Trajectory Planning with Learning-based Distributionally Robust Model Predictive Control and Markov Systems

arXiv:2605.07768v1 Announce Type: cross Abstract: We investigate interactive trajectory planning subject to uncertainty in the decisions of surrounding agents. To control the ego-agent, we aim to firs

Interpreting Reinforcement Learning Agents with Susceptibilities

arXiv:2605.08007v1 Announce Type: new Abstract: Susceptibilities are a technique for neural network interpretability that studies the response of posterior expectation values of observables to perturb

Inverse Reinforcement Learning with Just Classification and a Few Regressions

arXiv:2509.21172v2 Announce Type: replace Abstract: Inverse reinforcement learning (IRL) aims to infer rewards from observed behavior, but rewards are not identified from the policy alone: many reward

Kernel Selection is Model Selection: A Unified Complexity-Penalized Approach for MMD Two-Sample Tests

arXiv:2605.06883v1 Announce Type: cross Abstract: The Maximum Mean Discrepancy (MMD) is a cornerstone statistic for nonparametric two-sample testing, but its test power is dictated entirely by the cho

Knowing but Not Correcting: Routine Task Requests Suppress Factual Correction in LLMs

arXiv:2605.05957v2 Announce Type: replace Abstract: LLMs reliably correct false claims when presented in isolation, yet when the same claims are embedded in task-oriented requests, they often comply r

Koopman Autoencoders with Continuous-Time Latent Dynamics for Fluid Dynamics Forecasting

arXiv:2602.02832v3 Announce Type: replace Abstract: Forecasting physical systems over long horizons from irregularly sampled observations demands models that are stable, computationally efficient, and

Latent Order Bandits

arXiv:2605.07304v1 Announce Type: new Abstract: Bandit algorithms solve diverse sequential decision-making problems, but are often too sample-inefficient for from-scratch personalization. To substanti

Learned Lagrangian Models of PDEs via Euler-Lagrange Residual Minimization

arXiv:2605.07157v1 Announce Type: new Abstract: We present the first method to directly use a learned continuous Lagrangian to forecast the dynamics of systems governed by partial differential equatio

Learned Lyapunov Shielding for Adaptive Control

arXiv:2605.06934v1 Announce Type: new Abstract: We augment the Slotine--Li adaptive controller for Euler--Lagrange systems with three learned components: a structured-quadratic Lyapunov function (V_ps

Tutorials

Learning Large-Scale Modular Addition with an Auxiliary Modulus

arXiv:2605.07648v1 Announce Type: new Abstract: Learning parity functions, more general modular addition, is a challenging machine learning task due to its input sensitivity. A recent study substantia

tutorialsarxiv-cs-lg

Learning Material-Aware Hamiltonian Risk Fields for Safe Navigation

arXiv:2605.07038v1 Announce Type: new Abstract: Risk-aware navigation should be selective: a policy should expose evasive degrees of freedom only when the local scene admits a lower-risk feasible mane

Learning Minimal-Deviation Corrections for Multi-Dimensional Mismodelling in HEP Simulations

arXiv:2605.07460v1 Announce Type: new Abstract: Accurate Monte Carlo (MC) modelling in high-energy physics is challenging, particularly in complex scenarios where simulations fail to reproduce observe