Search: “papers”

Library Reachability in LSR-Synth: How Anti-Memorization Design Changes the Measurement of Symbolic Discovery

arXiv:2607.28684v1 Announce Type: new Abstract: Existing benchmarks for scientific equation discovery are largely composed of well-known equations available in the public domain, making it difficult t

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Applications

Lightweight Neural Networks for Affordance Segmentation: Enhancement of the Decoder Module

DGX agent

arXiv:2607.29473v1 Announce Type: new Abstract: The deployment of deep neural networks for visual affordance segmentation on wearable robots poses may prove critical, due to some conflicting aspects o

applicationsarxiv-cs-cv

3 Aug 2026

Linear Proposal Operators and Stochastic Search Geometry in SOMA and Differential Evolution

arXiv:2607.29228v1 Announce Type: cross Abstract: Swarm and evolutionary algorithms are usually analyzed as complete procedural systems in which nonlinear selection, replacement, and adaptation obscur

Metaphor-Induced Algorithmic Steering: Cross-Domain Procedural Transfer in LLM Code Generation

arXiv:2607.28683v1 Announce Type: cross Abstract: Large language models benefit from elements in natural language, such as metaphors and analogies in training data and inference input to achieve gener

MirrorCraft: Paired Evaluation under Hidden Rule Changes in Minecraft

arXiv:2607.29218v1 Announce Type: new Abstract: With the prosperity of the large language models (LLMs), it has become an interesting topic: how do LLM-based agents work in Minecraft? Unfortunately, m

Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO

arXiv:2607.28679v1 Announce Type: new Abstract: Multi-agent planning problems arise in a variety of engineering applications, such as multi-robot wildfire fighting and unmanned aerial inspection in fa

Multimodal Reinforcement Learning with Adaptive Verifier for AI Agents

arXiv:2512.03438v3 Announce Type: replace Abstract: Agentic reasoning models trained with multimodal reinforcement learning (MMRL) have become increasingly capable, yet they are almost universally opt

local-aiarxiv-cs-ai

On the Expressive Power of Sparse Geometric MPNNs

arXiv:2407.02025v5 Announce Type: replace-cross Abstract: Motivated by applications in chemistry and other sciences, we study the expressive power of message-passing neural networks for geometric grap

OnlineCache: Learning Dynamic Caching Policies with Error Correction for Efficient Diffusion Inference

arXiv:2607.29398v1 Announce Type: new Abstract: Diffusion models have revolutionized generative tasks but incur high latency due to iterative denoising. While cache-based strategies accelerate inferen

local-aiarxiv-cs-lg

Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair

model-releasesarxiv-cs-lg

arXiv:2607.28877v1 Announce Type: cross Abstract: Verification consumes the majority of modern chip design effort, yet the formal verification tools that provide mathematical guarantees of correctness

OpenClaw and Ollama in Agentic AI: Toward Fully Autonomous and Scalable AI Agent Systems

arXiv:2607.28629v1 Announce Type: new Abstract: The rapid transition from reactive large language models (LLMs) to persistent, action-capable systems has exposed critical gaps in the architectural und

Physics-Embedded Neural ODEs for Learning Antagonistic Pneumatic Artificial Muscle Dynamics

arXiv:2602.23670v2 Announce Type: replace Abstract: Pneumatic artificial muscles (PAMs) enable compliant actuation for soft wearable, assistive, and interactive robots. When arranged antagonistically,

researcharxiv-cs-ro

Progressive Decision-Making for Localizing Open-Ended AI-Generated Image Forgeries

arXiv:2607.29156v1 Announce Type: new Abstract: AI-generated image forgeries are becoming increasingly realistic and difficult to characterize with fixed manipulation patterns. As generative models co

local-aiarxiv-cs-cv

Pyramidal Width Can Increase Under Vertex Insertion

arXiv:2607.29555v1 Announce Type: new Abstract: Lacoste-Julien and Jaggi conjectured in 2015 that the pyramidal width of a polytope cannot increase when a vertex is added, provided that every old poin

researcharxiv-cs-lg

Representations from Pretrained Machine-Learning Interatomic Potentials as Coarse Coordinates for Material Generation and Evaluation

arXiv:2607.28776v1 Announce Type: new Abstract: Generative machine learning is increasingly used for inorganic crystal structure generation. Most models and the corresponding evaluation approaches rel

researcharxiv-cs-lg

SAM+D: Parameter-Efficient Dimensional Lifting of SAM-Family Models via Depth-Routed LoRA and Depth Shifting

model-releasesarxiv-cs-cv

arXiv:2607.29033v1 Announce Type: new Abstract: Existing methods for adapting 2D foundation models such as SAM to 3D volumes either process slices independently---ignoring inter-slice context---or req

SATViz: Real-Time Visualization of Clausal Proofs

arXiv:2209.05838v2 Announce Type: replace Abstract: Visual layouts of graphs representing SAT instances can highlight the community structure of SAT instances. The community structure of SAT instances

Agents

Scaling Scientific Discovery Environments for Turn-Level Agentic RL

arXiv:2607.28990v1 Announce Type: new Abstract: Large language model agents have shown promising capabilities in data-driven scientific discovery tasks, where an agent interacts with an execution envi

agentsarxiv-cs-ai

Seeing Differently: Modeling Interpretive Perspectives in Computational Creativity using a Four-World Framework

arXiv:2607.28644v1 Announce Type: cross Abstract: Creativity in computational systems is often evaluated as an objective property of artifacts, with existing Computational Creativity (CC) frameworks a

SeekBrain: An Autonomous Multi-Agent System for Accelerating Neuroscience Discovery

arXiv:2607.29347v1 Announce Type: cross Abstract: Modern neuroscience relies on integrating multi-scale, multimodal datasets to uncover the neural principles underlying intelligence. However, analytic

Sensitivity Analysis of GRU, LSTM and Transformer Encoder in Classification of Automated Driving Systems

arXiv:2607.28665v1 Announce Type: cross Abstract: Automated driving systems (ADSs) are becoming ubiquitous. Future Software Defined Vehicles (SDVs) may be able to run multiple ADSs, both native and af

Shall We Play a Game? Language Models for Open-ended Wargames

arXiv:2509.17192v3 Announce Type: replace Abstract: LLM-based social simulations can make a generated transcript look like a single behavioral signal, but the model behind that transcript may be doing

Small Is Enough: Per-User Style Rewriting of AI-Edited Text via LoRA Adapters

arXiv:2607.29238v1 Announce Type: cross Abstract: InMyStyle is a privacy first, single user system that adapts small language models to rewrite AI-edited text towards an individual user's writing styl

local-aiarxiv-cs-ai

StaQ: a Finite Memory Approach to Discrete Action Policy Mirror Descent

arXiv:2506.13862v2 Announce Type: replace-cross Abstract: In Reinforcement Learning (RL), regularization with a Kullback-Leibler divergence that penalizes large deviations between successive policies

Stem: Rethinking Causal Information Flow in Sparse Attention

arXiv:2603.06274v2 Announce Type: replace-cross Abstract: The quadratic computational complexity of self-attention remains a fundamental bottleneck for scaling Large Language Models (LLMs) to long con

Temporal Policy: History-Initialized Action Generation for Robotic Learning from Demonstration

arXiv:2607.29482v1 Announce Type: new Abstract: By relying on independent couplings from uninformative Gaussian priors, standard diffusion and flow matching models are forced to learn complex, high-co

The Morphological Core of Dungan: A Two-Dialect Finite-State Model and a Multi-Genre Evaluation

model-releasesarxiv-cs-cl

arXiv:2607.28766v1 Announce Type: new Abstract: Dungan, a Sinitic language of Central Asia written in a Cyrillic-based script, is described in detail in the grammatical literature, yet the quantitativ

The Parts Are Greater Than the Sum: Automated Task Sequencing for Efficient Training of Multi-Policy LLMs

model-releasesarxiv-cs-lg

arXiv:2607.29601v1 Announce Type: new Abstract: Parameter-Efficient Fine-Tuning (PEFT) commonly adapts large language models using a single shared Low-Rank Adapter (LoRA). This shared optimization spa

Tutorials

Tipping Point Forecasting in Non-Stationary Dynamics on Function Spaces

arXiv:2308.08794v4 Announce Type: replace Abstract: Tipping points are abrupt, drastic, and often irreversible changes in the evolution of non-stationary and chaotic dynamical systems. For instance, i

tutorialsarxiv-cs-lg

Tutorials

TOOD: Task-Aware Out-of-Distribution Score Calibration for Continual Learners

arXiv:2607.29592v1 Announce Type: new Abstract: The primary challenge of continual learning (CL) systems is to learn new tasks while remaining performant on previously learned tasks. A similarly impor

tutorialsarxiv-cs-cv

Tool Specifications Matter: Uncovering and Mitigating Safety Risks in AI Agents

arXiv:2607.29254v1 Announce Type: new Abstract: AI agents extend large language models (LLMs) with external tools, enabling them to perform complex tasks and translate model outputs into consequential

Toward Robust and 3D-Aware RGB-NIR Imaging in the Dark

arXiv:2607.29684v1 Announce Type: new Abstract: Robust low-light imaging remains challenging for the community. Recent studies have explored fusing Near-Infrared (NIR) with noisy RGB to achieve improv

researcharxiv-cs-cv

Towards the Holographic Characteristic of LLMs for Efficient Short-text Generation

arXiv:2601.22546v2 Announce Type: replace-cross Abstract: The recent advancements in Large Language Models (LLMs) have attracted interest in exploring their in-context learning abilities and chain-of-

TransGraspNet: Physically and Geometrically Consistent Manipulation of Transparent Labware

arXiv:2607.29567v1 Announce Type: new Abstract: Manipulating transparent laboratory glassware that contains liquid is inherently safety-critical: even small geometric errors can cause unstable grasps

Tri-Space Operational Control of Redundant Multilink and Hybrid Cable-Driven Parallel Robots Using an Iterative-Learning based Reactive Approach

model-releasesarxiv-cs-ro

arXiv:2607.29500v1 Announce Type: new Abstract: Cable-Driven Parallel Robots (CDPRs) are a type of parallel mechanism in which cables are used as actuators. Due to the two levels of redundancy and num

Unanticipated Effects of Generative AI on Expertise Pathways and Performance Perception in System Administration

arXiv:2607.28650v1 Announce Type: cross Abstract: While industry discourse often emphasizes immediate productivity gains and frames GenAI primarily as a tool for automation, the integration of GenAI i

Vision-based Goal-Reaching Control for Mobile Robots Using a Hierarchical Learning Framework

arXiv:2601.00610v2 Announce Type: replace Abstract: Reinforcement learning (RL) has strong potential in robotics, but exploration-based training complicates safe deployment on large-scale robots. For

VSTaI: Design and Characterization of Variable-Stiffness Tactile Interfaces Based on 3D-Printed Structured Fabrics

arXiv:2607.29102v1 Announce Type: new Abstract: Realistic palpation training requires reliable rendering of soft tissue stiffness changes in real time, which is difficult to achieve with conventional

researcharxiv-cs-ro

A novel k-means clustering approach using two distance measures for Gaussian data

model-releasesarxiv-cs-lg

arXiv:2511.17823v2 Announce Type: replace Abstract: Clustering algorithms have long been the topic of research, representing the more popular side of unsupervised learning. Since clustering analysis i

A Reference-Free Score for Detecting Silent Reasoning Failures in Large Language Models

arXiv:2607.26102v1 Announce Type: cross Abstract: Mathematical chain of thought (CoT) evaluation is commonly reduced to whether the final answer matches a reference. This conflates producing a correct

Active Lubrication of Transluminal Medical Instruments

arXiv:2506.07225v2 Announce Type: replace-cross Abstract: Transluminal minimally invasive surgery uses natural orifices and small incisions to access internal anatomical structures, promoting quicker

Hardware

AgenticCANN: Automated Ascend C Operator Generation via Knowledge-Augmented Agentic Evolution

arXiv:2607.26661v1 Announce Type: new Abstract: Ascend C operator optimization is critical for NPU (Neural Processing Unit) inference performance but requires deep hardware expertise.While large langu

hardwarearxiv-cs-ai

AgentMap: Joint Equivalence and Subsumption Discovery for Ontology Matching

arXiv:2607.27130v1 Announce Type: new Abstract: Ontology matching (OM) has traditionally been formulated as either equivalence discovery or subsumption matching. The existing OM systems identify only

AHA-Memes: A Fine-Grained Multimodal Benchmark for Understanding Hate in Arabic Memes

model-releasesarxiv-cs-cl

arXiv:2607.27393v1 Announce Type: new Abstract: Hateful memes are a growing form of multimodal online harm, where hostile intent is often conveyed through the joint interpretation of images, text, cul

AISPA: User-Centric System Prompt Auditing for Large Language Model Applications

arXiv:2607.28617v1 Announce Type: cross Abstract: System prompts are instructions configured by developers to govern the behaviors of foundation models in AI applications. They are used throughout com

researcharxiv-cs-cl

ARCSnake V2: Mechanical Adaptations For An Amphibious Multi-Domain Screw-Propelled Snake-Like Robot

arXiv:2511.11970v2 Announce Type: replace Abstract: Robotic exploration in extreme environments, such as caves, oceans, and extraplanetary surfaces, poses significant challenges, specifically locomoti

researcharxiv-cs-ro

Tutorials

Backbone-Agnostic Stochastic Perturbation Learning for End-to-End Real-World Image Dehazing

arXiv:2607.11623v3 Announce Type: replace Abstract: Real-world paired image dehazing remains challenging because haze degradation is spatially non-uniform, illumination-dependent, and physically ambig

tutorialsarxiv-cs-cv

Belief-Guided Decision Making with Uncertainty Gating in the Game of Go

arXiv:2607.26946v1 Announce Type: new Abstract: Recent advancements in Computer Go, driven by AlphaZero and MuZero, rely heavily on Monte Carlo Tree Search (MCTS) to correct the errors of the neural n