Search: “papers”

HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation

arXiv:2606.30966v1 Announce Type: new Abstract: Formal specification is a powerful tool to guide the learning process and provides significant advantages over reward shaping: (1) mathematical rigor; (

Human

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Safety

InfiniVerse: Occupancy Guided Unbounded Scene Generation for Autonomous Driving

DGX agent

arXiv:2606.31109v1 Announce Type: new Abstract: Generating realistic, controllable, and temporally coherent urban environments is a critical yet unresolved challenge in the autonomous driving communit

safetyarxiv-cs-cv

1 Jul 2026

InstanceControl: Controllable Complex Image Generation without Instance Labeling

arXiv:2606.31924v1 Announce Type: new Abstract: Controllable image generation methods, such as ControlNet, have demonstrated a remarkable capacity to introduce visual conditions(e.g., depth maps) to g

tutorialsarxiv-cs-cv

Introduction to Stochastic Differential Equations for Generative Machine Learning: A Variational Perspective

arXiv:2606.31576v1 Announce Type: new Abstract: The use of ordinary and stochastic differential equations has led to substantial progress in generative machine learning with applications to, for examp

researcharxiv-cs-lg

Investigating Multi-Agent Deliberation in Law

arXiv:2606.30906v1 Announce Type: new Abstract: Artificial Intelligence is increasingly applied to the field of law, and has the potential to increase access to justice. One particular movement that i

agentsarxiv-cs-ai

IterCAD: An Iterative Multimodal Agent for Visually-Grounded CAD Generation and Editing

arXiv:2606.13368v2 Announce Type: replace Abstract: Computer-Aided Design is pivotal in modern manufacturing, yet existing automated methods predominantly rely on open-loop, one-shot generation, creat

Knowledge-Driven Dimension Estimation from a Single Image -3D Asset Generation Technology for Digital Twin Construction

arXiv:2606.30896v1 Announce Type: new Abstract: In the verification of in-vehicle cameras, simulation technology using virtual spaces has advanced, enabling pre-evaluation of false detections and miss

agentsarxiv-cs-cv

Local Ai

Large Databases Need Small, Open-Weight Language Models

arXiv:2606.31808v1 Announce Type: new Abstract: Language model systems built around proprietary APIs often operate on a token-based cost model. This becomes prohibitively expensive in the context of l

local-aiarxiv-cs-ai

Learning by Surprise: Adaptive Mitigation of Model Collapse in Large Language Models

arXiv:2410.12341v4 Announce Type: replace-cross Abstract: As AI-generated content increasingly populates the web, generative AI models are at growing risk of being trained on their own outputs, a proc

LeWorld model becomes ADAPTIVE and meets MODEL-PREDICTIVE CONTROL AdaJEPA by Yann LeCun and colleagues performs actions, then checks the pre…

LeWorld model becomes ADAPTIVE and meets MODEL-PREDICTIVE CONTROL AdaJEPA by Yann LeCun and colleagues performs actions, then checks the predicted latent state versus the observed and adapts at TEST T

researchyann-lecun--x

LLM-Powered Interactive Robotic Action Synthesis from Multimodal Speech, Gestures, and Music

arXiv:2606.31158v1 Announce Type: cross Abstract: The quest for intuitive and natural human-robot interaction (HRI) remains a significant challenge in robotics. Traditional methods often rely on rigid

Local Pheromone Network: Sparse Local Learning with Multi-Scale Synaptic Trails, Consolidation, and Replay

arXiv:2606.30669v1 Announce Type: cross Abstract: Backpropagation-trained dense neural networks are powerful function approximators, but they couple learning across many parameters and can overwrite p

Locker-based Truck-Drone Routing with Integrated Considerations of Pickups, Deliveries, and No-Fly Zones

arXiv:2606.30680v1 Announce Type: cross Abstract: Truck-drone delivery is an emerging last-mile logistics mode combining the long-haul capacity of trucks with the flexible service capability of drones

LOPA: Enhancing Spoken Language Assessment via Latent Ordinal Prototype Alignment

arXiv:2606.31310v1 Announce Type: new Abstract: Fueled by increasing model scale and multimodal inputs, Multimodal Large Language Models (MLLMs) have emerged as a promising paradigm for Spoken Languag

LUMOS: A Semantic Operating-System Layer for Accessibility-Grounded AI Agents

arXiv:2606.30697v1 Announce Type: cross Abstract: Current operating systems expose interfaces optimized for human users but not for AI agents. Humans benefit from pixels, icons, windows, visual groupi

Local Ai

Mapping the Artificial Intelligence Divide in Africa: Infrastructure, Accessibility and Capacity

arXiv:2606.30656v1 Announce Type: cross Abstract: Artificial Intelligence (AI) has the potential to be transformative for development, but Africa is currently facing a fragmented and challenging 'AI d

local-aiarxiv-cs-ai

MNAR-k-means: A k-means Clustering for Data Missing Not at Random with Magnitude-Decaying Probability

arXiv:2606.31253v1 Announce Type: cross Abstract: The classical k-means clustering, based on distances computed from all data features, cannot be directly applied to incomplete data with missing value

safetyarxiv-cs-lg

Multiple Testing of Linear Forms for Noisy Matrix Completion

arXiv:2312.00305v3 Announce Type: replace-cross Abstract: Many important tasks of large-scale recommender systems can be naturally cast as testing multiple linear forms for noisy matrix completion. Th

safetyarxiv-cs-lg

MVP-Nav: Multi-layer Value Map Planner Navigator

arXiv:2606.31919v1 Announce Type: cross Abstract: Zero-shot Object Goal Navigation (ZSON) with RGB-only perception poses a fundamental challenge for embodied agents, as the absence of explicit depth i

tutorialsarxiv-cs-ai

Applications

On Optimal Data Splitting for Split Conformal Prediction

arXiv:2606.31600v1 Announce Type: cross Abstract: Conformal prediction and its variants, including the split conformal prediction, provide a distribution-free framework for uncertainty quantification

applicationsarxiv-cs-lg

Optimal Self-Consistency for Efficient Reasoning with Large Language Models

arXiv:2511.12309v2 Announce Type: replace-cross Abstract: Self-consistency (SC) is a widely used test-time inference technique for improving performance in chain-of-thought reasoning. It consists of g

Optimization Algorithms for Joint OFDM Waveform Design and RIS Configuration in 6G Networks: From Convex Relaxation to Foundation Models

arXiv:2606.31334v1 Announce Type: new Abstract: Joint OFDM-RIS optimization for 6G is a mixed-integer nonlinear programming (MINLP) problem covering sum-rate maximization, energy efficiency, max-min f

PGUDA: Pressure-Guided Unsupervised Domain Adaptation with Cross-Modal Knowledge Distillation for sEMG-Based Gesture Recognition

arXiv:2606.31349v1 Announce Type: cross Abstract: Surface electromyography (sEMG)-based gesture recognition has emerged as a promising technology for natural human-computer interaction. However, its p

Phantom: A Unified Face-Swap Deepfake Protection Framework with Latent and Spatial Constraints

arXiv:2606.31703v1 Announce Type: new Abstract: Face-swapping deepfakes pose an escalating threat to personal privacy by enabling unauthorized identity manipulation. While adversarial approaches have

tutorialsarxiv-cs-cv

Position: Collaborative Agentic AI Needs Interoperability Across Ecosystems

arXiv:2505.21550v2 Announce Type: replace-cross Abstract: Collaborative agentic AI is projected to transform entire industries by enabling AI-powered agents to autonomously perceive, plan, and act wit

agentsarxiv-cs-ai

Position: Vision-Language-Action Models Cannot Be Verified to Perform Physical Reasoning

arXiv:2606.30686v1 Announce Type: cross Abstract: Vision-Language-Action (VLA) systems, built on pretrained vision-language models (VLMs), have shown rapidly improving performance on robot manipulatio

Local Ai

PSHuman: Photorealistic Single-image 3D Human Reconstruction using Cross-Scale Multiview Diffusion and Explicit Remeshing

arXiv:2409.10141v3 Announce Type: replace Abstract: Detailed and photorealistic 3D human modeling is essential for various applications and has seen tremendous progress. However, full-body reconstruct

local-aiarxiv-cs-cv

Quality-Aware Modulation for Diffusion Transformers

arXiv:2606.30934v1 Announce Type: new Abstract: Modern text-to-image diffusion models, such as diffusion transformers (DiT), rely on timestep or prompt embeddings to modulate the strength of the denoi

researcharxiv-cs-lg

Applications

RCL-Mamba: A Dual-domain State Space Model for Measurement-oriented Image Restoration in Rotational Sparse-View Scanning Computed Laminography

arXiv:2606.31353v1 Announce Type: new Abstract: Rotational Scanning Computed Laminography (RCL) is widely utilized for the Non-Destructive Testing(NDT) of large planar components. However, to facilita

applicationsarxiv-cs-cv

Reinforcement Learning-Based Control for an Inline Skating Humanoid Robot

arXiv:2606.31807v1 Announce Type: new Abstract: As humanoid robots become increasingly dynamic, coupling them with reinforcement learning offers a promising approach to solving the complex, underactua

safetyarxiv-cs-ro

Revising RVL-CDIP: Quantifying Errors and Test-Train Overlap

arXiv:2606.31446v1 Announce Type: new Abstract: RVL-CDIP is a popular dataset for benchmarking document classifiers. However, the dataset contains ample amounts of label errors as well as non-trivial

Robust Autonomous UAV Landing on Maritime Platforms via Multimodal Agentic AI and Active Wave Compensation

arXiv:2606.31613v1 Announce Type: new Abstract: Autonomous aerial inspection of marine infrastructure is frequently compromised by stochastic sea states, introducing risks of high-kinetic impacts, pos

agentsarxiv-cs-cv

Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming

arXiv:2606.30820v1 Announce Type: new Abstract: Time Window Temporal Logic (TWTL) is a rich specification language for cyber-physical systems that can compactly express sequential tasks with explicit

researcharxiv-cs-ro

Robustness of Robotic Manipulation: Foundations and Frontiers

arXiv:2606.31494v1 Announce Type: cross Abstract: Humans and animals exhibit remarkable robustness in physical manipulation, yet robots remain far behind. Progress toward human-level manipulation robu

Semantic-Aware Multiple Access via Spatial Redundancy Exploitation for Uplink-Dominant 6G Use Cases

arXiv:2606.31715v1 Announce Type: cross Abstract: Emerging uplink-dominant 6G use cases, such as cooperative vehicular streaming, require efficient transmission of high-volume visual data over limited

researcharxiv-cs-cv

Semantic Leakage and Privacy Preservation in Relay-Assisted Semantic Communications

arXiv:2606.31973v1 Announce Type: cross Abstract: Semantic communication (SemCom) has emerged as a promising paradigm in which the transmission of task-relevant information is prioritized over raw dat

researcharxiv-cs-lg

Sequential RC-TGAN: Generating Relational Time Series with Spectral Envelope Loss

model-releasesarxiv-cs-lg

arXiv:2606.31904v1 Announce Type: new Abstract: The generation of synthetic relational databases often involves modeling complex temporal dynamics, such as transaction logs or event sequences. A signi

SHMoAReg: Spark Deformable Image Registration via Spatial Heterogeneous Mixture of Experts and Attention Heads

arXiv:2509.20073v2 Announce Type: replace Abstract: Encoder-Decoder architectures are widely used in deep learning-based Deformable Image Registration (DIR), where the encoder extracts multi-scale fea

researcharxiv-cs-cv

Sparsity-Inducing Divergence Losses for Biometric Verification

arXiv:2606.31664v1 Announce Type: cross Abstract: Performance in face and speaker verification is largely driven by margin-penalty softmax losses such as CosFace and ArcFace. Recently introduced alpha

SpikeLogBERT: Energy-Efficient Log Parsing Using Spiking Transformer Networks

arXiv:2606.31781v1 Announce Type: cross Abstract: Log parsing is a fundamental step in automated log analysis, transforming raw system logs into structured event templates for downstream tasks such as

Structural Preservation and the Logical Expressiveness of Graph Neural Networks

arXiv:2606.17882v2 Announce Type: replace Abstract: Bridges between graph neural networks (GNNs) and logical formalisms have been established by fixing architectural choices, such as the types of aggr

SyncCache: Exploiting Asymmetric Dynamics for Fast Audio-Driven Portrait Animation

arXiv:2606.30849v1 Announce Type: new Abstract: Diffusion Transformers (DiTs) have significantly advanced audio-driven portrait animation, but their high computational cost leads to substantial infere

safetyarxiv-cs-cv

T-QPM: Enabling Temporal Out-Of-Distribution Detection and Domain Generalization for Vision-Language Models in Open-World

arXiv:2603.18481v2 Announce Type: replace Abstract: Out-of-distribution (OOD) detection remains a critical challenge in open-world learning, where models must adapt to evolving data distributions. Whi

researcharxiv-cs-cv

Temperature Field Reconstruction of Tungsten Monoblock Divertor on EAST using Physics-aware Neural Operator Transformer

arXiv:2606.31574v1 Announce Type: cross Abstract: Accurate modeling of the divertor temperature field is essential for preventing material melting and damage and for extending the service life of fusi

Theory of Mind and Persuasion Beyond Conversation: Assessing the Capacity of LLMs to Induce Belief States via Planning and Action

arXiv:2606.31916v1 Announce Type: new Abstract: Theory of Mind (ToM) benchmarks for Large Language Models (LLMs) typically rely on passive question-answering formats, but the deployment of LLMs in inc

Toward AI-Resilient Assessment in Computer Science Courses in an AI-Native World

arXiv:2606.30655v1 Announce Type: cross Abstract: AI-native course assessments in senior computer science courses and related fields should grade students by AI-resilient skill: the ability to achieve

tutorialsarxiv-cs-ai

Verification-Gated Agentic Mission-State Governance for Intelligent Industrial Multi-Robot Systems

arXiv:2606.31339v1 Announce Type: new Abstract: Agentic artificial intelligence is increasingly used to decompose industrial tasks, propose robot actions, and adapt execution plans in dynamic cyber-ph

safetyarxiv-cs-ro

Vision-Language Procedural Reasoning for Context-Aware Reward Modeling of Robotic Endovascular Guidewire Navigation

arXiv:2606.30698v1 Announce Type: new Abstract: Robotic-assisted endovascular interventions demand accurate, stable, and context-aware guidewire navigation in complex and patient-specific vascular ana

safetyarxiv-cs-ro