Search: “papers”

On Strong Equivalence Notions in Logic Programming and Abstract Argumentation

arXiv:2605.14721v1 Announce Type: new Abstract: Strong equivalence between knowledge bases ensures the possibility of replacing one with the other without affecting reasoning outcomes, in any given co

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Industry

Open-ended coding training data may no longer be the bottleneck: AI can scale open-ended tasks—and even outperform human-expert curation. Fr…

DGX agent

Open-ended coding training data may no longer be the bottleneck: AI can scale open-ended tasks—and even outperform human-expert curation. FrontierCS team is releasing FrontierSmith: a system for synth

industryclem-delangue--x

15 May 2026

Applications

Optimal Pattern Detection Tree for Symbolic Rule-Based Classification

arXiv:2605.14374v1 Announce Type: cross Abstract: Pattern discovery in data plays a crucial role across diverse domains, including healthcare, risk assessment, and machinery maintenance. In contrast t

applicationsarxiv-cs-ai

PALMS: A Computational Implementation for Pavlovian Associative Learning Models' Simulation

arXiv:2602.07519v3 Announce Type: replace Abstract: In contrast to static formalisms, computational definitions describe the operational mechanisms of a model. Simulations are an essential part of the

Hardware

Parallelizing Counterfactual Regret Minimization

arXiv:2605.14277v1 Announce Type: new Abstract: Parallelization has played an instrumental role in the field of artificial intelligence (AI), drastically reducing the time taken to train and evaluate

hardwarearxiv-cs-ai

Paraphrasing Attack Resilience of Various AI-Generated Text Detection Methods

arXiv:2605.14240v1 Announce Type: new Abstract: The recent large-scale emergence of LLMs has left an open space for dealing with their consequences, such as plagiarism or the spread of false informati

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement

arXiv:2605.14294v1 Announce Type: new Abstract: Formal verification of transformers has become increasingly important due to their widespread deployment in safety-critical applications. Compared to cl

Agents

PREPING: Building Agent Memory without Tasks

arXiv:2605.13880v1 Announce Type: new Abstract: Agent memory is typically constructed either offline from curated demonstrations or online from post-deployment interactions. However, regardless of how

agentsarxiv-cs-ai

Probing into Camera Control of Video Models

model-releasesarxiv-cs-cv

arXiv:2605.14815v1 Announce Type: new Abstract: Video is a rich and scalable source of 3D/4D visual observations, and camera control is a key capability for video generation models to produce geometri

R2PS: Worst-Case Robust Real-Time Pursuit Strategies under Partial Observability

arXiv:2511.17367v2 Announce Type: replace Abstract: Computing worst-case robust strategies in pursuit-evasion games (PEGs) is time-consuming, especially when real-world factors like partial observabil

safetyarxiv-cs-lg

Real-time virtual circuits for plasma shape control via neural network emulators

model-releasesarxiv-cs-lg

arXiv:2605.14939v1 Announce Type: cross Abstract: Reliable position and shape control in tokamak plasmas requires accurate real-time regulation of several strongly coupled shape parameters. The contro

Regret Equals Covariance: A Closed-Form Characterization for Stochastic Optimization

arXiv:2605.14019v1 Announce Type: cross Abstract: Regret is the cost of uncertainty in algorithmic decision-making. Quantifying regret typically requires computationally expensive simulation via Sampl

RePack then Refine: Efficient Diffusion Transformer with Vision Foundation Model

arXiv:2512.12083v3 Announce Type: replace Abstract: Semantic-rich features from Vision Foundation Models (VFMs) have been leveraged to enhance Latent Diffusion Models (LDMs). However, raw VFM features

Resolving Action Bottleneck: Agentic Reinforcement Learning Informed by Token-Level Energy

arXiv:2605.14558v1 Announce Type: cross Abstract: Agentic reinforcement learning trains large language models using multi-turn trajectories that interleave long reasoning traces with short environment

Rethinking Output Alignment For 1-bit Post-Training Quantization of Large Language Models

arXiv:2512.21651v2 Announce Type: replace Abstract: Large Language Models (LLMs) deliver strong performance across a wide range of NLP tasks, but their massive sizes hinder deployment on resource-cons

safetyarxiv-cs-lg

Rethinking the Good Enough Embedding for Easy Few-Shot Learning

arXiv:2605.14145v1 Announce Type: new Abstract: The field of deep visual recognition is undergoing a paradigm shift toward universal representations. The Platonic Representation Hypothesis suggests th

RoSHAP: A Distributional Framework and Robust Metric for Stable Feature Attribution

arXiv:2605.15154v1 Announce Type: cross Abstract: Feature attribution analysis is critical for interpreting machine learning models and supporting reliable data-driven decisions. However, feature attr

Safe Bayesian Optimization for Complex Control Systems via Additive Gaussian Processes

arXiv:2408.16307v3 Announce Type: replace-cross Abstract: Automatic controller tuning is attractive for robotics and mechatronic systems whose dynamics are difficult to model accurately, but direct bl

Scalable Subset Selection in Linear Mixed Models

arXiv:2506.20425v3 Announce Type: replace-cross Abstract: Linear mixed models (LMMs), which incorporate fixed and random effects, are key tools for analyzing heterogeneous data, such as in personalize

SEDiT: Mask-Free Video Subtitle Erasure via One-step Diffusion Transformer

arXiv:2605.14894v1 Announce Type: new Abstract: Recent breakthroughs in video diffusion models have significantly accelerated the development of video editing techniques. However, existing methods oft

local-aiarxiv-cs-cv

Agents

Sharing the Load: Autonomous Multi-Rover Cargo Transport

arXiv:2510.18766v2 Announce Type: replace Abstract: A future lunar habitat, as part of the Artemis program, will require a significant amount of logistics infrastructure. Cargo that is transported to

agentsarxiv-cs-ro

Sheaf-Theoretic Transport and Obstruction for Detecting Scientific Theory Shift in AI Agents

arXiv:2605.14033v1 Announce Type: new Abstract: Scientific theory shift in AI agents requires more than fitting equations to data. An artificial scientific agent must detect whether an existing repres

Small Language Models (SLMs) Can Still Pack a Punch: A survey (updated 2026)

model-releasesarxiv-cs-cl

arXiv:2501.05465v2 Announce Type: replace Abstract: As foundation AI models continue to increase in size, an important question arises - is massive scale the only path forward? This survey of about 16

SparseOIT: Improving Order-Independent Transparency 3DGS via Active Set Method

arXiv:2605.13855v1 Announce Type: cross Abstract: 3D Gaussian Splatting (3DGS) has received tremendous popularity over the past few years due to its photorealistic visual appearance. However, 3DGS use

Temporal Fair Division in Multi-Agent Systems: From Precise Alternation Metrics to Scalable Coordination Proxies

arXiv:2605.14879v1 Announce Type: cross Abstract: A plethora real-world environments require agents to compete repeatedly for the same limited resource, calling for a temporal notion of fairness judge

safetyarxiv-cs-lg

TERMINATOR: Learning Optimal Exit Points for Early Stopping in Chain-of-Thought Reasoning

arXiv:2603.12529v2 Announce Type: replace-cross Abstract: Large Reasoning Models (LRMs) achieve impressive performance on complex reasoning tasks via Chain-of-Thought (CoT) reasoning, which enables th

The Pitfalls of KV Cache Compression

arXiv:2510.00231v2 Announce Type: replace-cross Abstract: KV cache compression promises increased throughput and efficiency with negligible loss in performance. While the gains in throughput are indis

The Rate-Distortion-Polysemanticity Tradeoff in SAEs

model-releasesarxiv-cs-lg

arXiv:2605.14694v1 Announce Type: new Abstract: Sparse Autoencoders (SAEs) that can accurately reconstruct their input (minimizing distortion) by making efficient use of few features (minimizing the r

The Scientific Contribution Graph: Automated Literature-based Technological Roadmapping at Scale

arXiv:2605.15011v1 Announce Type: new Abstract: Scientific contributions rarely develop in isolation, but instead build upon prior discoveries. We formulate the task of automated technological roadmap

researcharxiv-cs-cl

TiTok: Transfer Token-level Knowledge via Contrastive Excess to Transplant LoRA

arXiv:2510.04682v3 Announce Type: replace-cross Abstract: Large Language Models (LLMs) are widely applied in real world scenarios, yet fine-tuning them comes with significant computational and storage

Applications

TOPOS: High-Fidelity and Efficient Industry-Grade 3D Head Generation

arXiv:2605.14594v1 Announce Type: new Abstract: High-fidelity 3D head generation plays a crucial role in the film, animation and video game industries. In industrial pipelines, studios typically enfor

applicationsarxiv-cs-cv

Towards Accurate Single Panoramic 3D Detection: A Semantic Gaussian Centric Approach

arXiv:2605.14601v1 Announce Type: new Abstract: Three-dimensional object detection in panoramic imagery is crucial for comprehensive scene understanding, yet accurately mapping 2D features to 3D remai

Towards In-Depth Root Cause Localization for Microservices with Multi-Agent Recursion-of-Thought

arXiv:2605.14866v1 Announce Type: cross Abstract: As modern microservice systems grow increasingly complex due to dynamic interactions and evolving runtime environments, they experience failures with

local-aiarxiv-cs-ai

Towards Real-Time Autonomous Navigation: Transformer-Based Catheter Tip Tracking in Fluoroscopy

arXiv:2605.14253v1 Announce Type: new Abstract: Purpose: Mechanical thrombectomy (MT) improves stroke outcomes, but is limited by a lack of local treatment access. Widespread distribution of reinforce

local-aiarxiv-cs-cv

Towards the Next Frontier of LLMs, Training on Private Data: A Cross-Domain Benchmark for Federated Fine-Tuning

arXiv:2605.13936v1 Announce Type: cross Abstract: The recent success of large language models (LLMs) has been largely driven by vast public datasets. However, the next frontier for LLM development lie

Very thoughtful post on the role and success of open source, including potential applications for AVs and AI. Long, but worth the read. -- '…

Very thoughtful post on the role and success of open source, including potential applications for AVs and AI. Long, but worth the read. -- 'Open source is no longer just how good software gets built.

safetyclem-delangue--x

Vision-Core Guided Contrastive Learning for Balanced Multi-modal Prognosis Prediction of Stroke

arXiv:2605.14710v1 Announce Type: cross Abstract: Deep learning and multi-modal fusion have demonstrated transformative potential in medical diagnosis by integrating diverse data sources. However, acc

VMU-Diff: A Coarse-to-fine Multi-source Data Fusion Framework for Precipitation Nowcasting

arXiv:2605.14597v1 Announce Type: new Abstract: Precipitation nowcasting is a vital spatio-temporal prediction task for meteorological applications but faces challenges due to the chaotic property of

Watermarking Game-Playing Agents in Perfect-Information Extensive-Form Games

arXiv:2605.14283v1 Announce Type: cross Abstract: Watermarking techniques for large language models (LLMs), which encode hidden information in the output so its source can be verified, have gained sig

Agents

Why Goal-Conditioned Reinforcement Learning Works: Relation to Dual Control

arXiv:2512.06471v2 Announce Type: replace-cross Abstract: Goal-conditioned reinforcement learning (RL) concerns the problem of training an agent to maximize the probability of reaching target goal sta

agentsarxiv-cs-ai

XAI and Statistical Analysis for Reliable Intrusion Detection in the UAVIDS-2025 Dataset: From Tree to Hybrid and Tabular DNN Ensembles

arXiv:2605.13922v1 Announce Type: cross Abstract: During the last few years, the term Mechanistic Interpretability, a specific area, under the umbrella of explainable artificial intelligence (XAI), ha

A Constraint Programming Approach for n-Day Lookahead Playoff Clinching

arXiv:2605.13142v1 Announce Type: new Abstract: In professional sports, a team has clinched the playoffs if they are guaranteed a postseason spot, regardless of the outcomes of any remaining games. As

A Data Efficiency Study of Synthetic Fog for Object Detection Using the Clear2Fog Pipeline

arXiv:2605.12608v1 Announce Type: new Abstract: Object detection in adverse weather is critical for the safety of autonomous vehicles; however, the scarcity of labelled, real-world foggy data remains

safetyarxiv-cs-cv

A Faster Generalized Two-Stage Approximate Top-K

arXiv:2506.04165v3 Announce Type: replace Abstract: We consider the Top-K selection problem, which aims to identify the largest K elements in an array. Top-K selection arises in many machine learning

Achieving Gold-Medal-Level Olympiad Reasoning via Simple and Unified Scaling

arXiv:2605.13301v1 Announce Type: new Abstract: Recent progress in reasoning models has substantially advanced long-horizon mathematical and scientific problem solving, with several systems now reachi

Active Sensing with Meta-Reinforcement Learning for Emitter Localization from RF Observations

arXiv:2605.12569v1 Announce Type: cross Abstract: Global navigation satellite system (GNSS) interference poses a serious threat to reliable positioning, especially in indoor and multipath-rich environ

Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis

arXiv:2605.12694v1 Announce Type: cross Abstract: Large language models can consult information that fixed static analyzers cannot, such as documentation, current security advisories, version-specific

local-aiarxiv-cs-ai

AgenticAITA: A Proof-Of-Concept About Deliberative Multi-Agent Reasoning for Autonomous Trading Systems

arXiv:2605.12532v1 Announce Type: cross Abstract: Conventional algorithmic trading systems are grounded in deterministic heuristics or offline-trained statistical models that cannot adapt to the seman