Search: “models”

Deep Learning-Enabled Modality Transfer Between Independent Microscopes for High-Throughput Imaging

arXiv:2403.18026v2 Announce Type: replace-cross Abstract: High-throughput biological imaging is often constrained by a trade-off between acquisition speed and image quality. Fast imaging modalities, s

local-aiarxiv-cs-lg

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Agents

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4

DGX agent

arXiv:2604.15839v1 Announce Type: new Abstract: Most ATP benchmarks embed the final answer within the formal statement -- a convention we call 'Easy Mode' -- a design that simplifies the task relative

agentsarxiv-cs-ai

20 Apr 2026

Dual-Modal Lung Cancer AI: Interpretable Radiology and Microscopy with Clinical Risk Integration

arXiv:2604.16104v1 Announce Type: cross Abstract: Lung cancer remains one of the leading causes of cancer-related mortality worldwide. Conventional computed tomography (CT) imaging, while essential fo

local-aiarxiv-cs-ai

Eco-Bee: A Personalised Multi-Modal Agent for Advancing Student Climate Awareness and Sustainable Behaviour in Campus Ecosystems

arXiv:2604.15327v1 Announce Type: cross Abstract: Universities are microcosms of urban ecosystems, with concentrated consumption patterns in food, transport, energy, and product usage. These environme

agentsarxiv-cs-ai

ExoNet: Multimodal Deep Learning for TESS Exoplanet Candidate Identification via Phase-Folded Light Curves, Stellar Parameters, and Multi-Head Attention Fusion

arXiv:2604.15560v1 Announce Type: cross Abstract: NASA's Transiting Exoplanet Survey Satellite (TESS) has identified thousands of exoplanet candidates, yet many remain unconfirmed due to the limitatio

local-aiarxiv-cs-lg

Exploitation Over Exploration: Unmasking the Bias in Linear Bandit Recommender Offline Evaluation

arXiv:2507.18756v2 Announce Type: replace Abstract: Multi-Armed Bandit (MAB) algorithms are widely used in recommender systems that require continuous, incremental learning. A core aspect of MABs is t

Factor Graph-Based Shape Estimation for Continuum Robots via Magnus Expansion

arXiv:2604.15619v1 Announce Type: new Abstract: Reconstructing the shape of continuum manipulators from sparse, noisy sensor data is a challenging task, owing to the infinite-dimensional nature of suc

researcharxiv-cs-ro

FACTS: Table Summarization via Offline Template Generation with Agentic Workflows

arXiv:2510.13920v2 Announce Type: replace Abstract: Query-focused table summarization requires generating natural language summaries of tabular data conditioned on a user query, enabling users to acce

agentsarxiv-cs-cl

Flexible Empowerment at Reasoning with Extended Best-of-N Sampling

arXiv:2604.15614v1 Announce Type: new Abstract: This paper proposes a novel method that incorporates empowerment when reasoning actions in reinforcement learning (RL), thereby achieving the flexibilit

From Limited Labels to Open Domains:An Efficient Learning Method for Drone-view Geo-Localization

arXiv:2503.07520v5 Announce Type: replace Abstract: Traditional supervised drone-view geo-localization (DVGL) methods heavily depend on paired training data and encounter difficulties in learning cros

local-aiarxiv-cs-cv

From Seeing to Simulating: Generative High-Fidelity Simulation with Digital Cousins for Generalizable Robot Learning and Evaluation

arXiv:2604.15805v1 Announce Type: cross Abstract: Learning robust robot policies in real-world environments requires diverse data augmentation, yet scaling real-world data collection is costly due to

applicationsarxiv-cs-ai

Fusing Cellular Network Data and Tollbooth Counts for Urban Traffic Flow Estimation

arXiv:2604.15782v1 Announce Type: new Abstract: Traffic simulations, essential for planning urban transit infrastructure interventions, require vehicle-category-specific origin-destination (OD) data.

tutorialsarxiv-cs-lg

Fuzzy Logic Theory-based Adaptive Reward Shaping for Robust Reinforcement Learning (FARS)

arXiv:2604.15772v1 Announce Type: new Abstract: Reinforcement learning (RL) often struggles in real-world tasks with high-dimensional state spaces and long horizons, where sparse or fixed rewards seve

agentsarxiv-cs-ro

Hierarchical Codec Diffusion for Video-to-Speech Generation

arXiv:2604.15923v1 Announce Type: cross Abstract: Video-to-Speech (VTS) generation aims to synthesize speech from a silent video without auditory signals. However, existing VTS methods disregard the h

safetyarxiv-cs-cv

InfoChess: A Game of Adversarial Inference and a Laboratory for Quantifiable Information Control

arXiv:2604.15373v1 Announce Type: cross Abstract: We propose InfoChess, a symmetric adversarial game that elevates competitive information acquisition to the primary objective. There is no piece captu

agentsarxiv-cs-ai

Iterated Invariant EKF for Quadruped Robot Odometry

arXiv:2604.15449v1 Announce Type: new Abstract: Kalman filter-based algorithms are fundamental for mobile robots, as they provide a computationally efficient solution to the challenging problem of sta

applicationsarxiv-cs-ro

KRONE: Scalable LLM-Augmented Log Anomaly Detection via Hierarchical Abstraction

arXiv:2602.07303v3 Announce Type: replace-cross Abstract: Log anomaly detection is crucial for uncovering system failures and security risks. Although logs originate from nested component executions w

local-aiarxiv-cs-ai

Learning Affine-Equivariant Proximal Operators

arXiv:2604.15556v1 Announce Type: cross Abstract: Proximal operators are fundamental across many applications in signal processing and machine learning, including solving ill-posed inverse problems. R

tutorialsarxiv-cs-cv

Losses that Cook: Topological Optimal Transport for Structured Recipe Generation

arXiv:2601.02531v2 Announce Type: replace-cross Abstract: Cooking recipes are complex procedures that require not only a fluent and factual text, but also accurate timing, temperature, and procedural

MFC-RFNet: A Multi-scale Guided Rectified Flow Network for Radar Sequence Prediction

arXiv:2601.03633v2 Announce Type: replace-cross Abstract: Accurate and high-resolution precipitation nowcasting from radar echo sequences is crucial for disaster mitigation and economic planning, yet

MRGEN: A Conceptual Framework for LLM-Powered Mixed Reality Authoring Tools for Education

arXiv:2604.15341v1 Announce Type: cross Abstract: Mixed Reality (MR) offers immersive and multimodal opportunities for education but remains difficult for teachers to author without technical expertis

applicationsarxiv-cs-ai

Neural Gabor Splatting: Enhanced Gaussian Splatting with Neural Gabor for High-frequency Surface Reconstruction

arXiv:2604.15941v1 Announce Type: new Abstract: Recent years have witnessed the rapid emergence of 3D Gaussian splatting (3DGS) as a powerful approach for 3D reconstruction and novel view synthesis. I

Puppets or partners? Governing cyborg propaganda in the digital public square

arXiv:2602.13088v2 Announce Type: replace-cross Abstract: The distinction between genuine grassroots activism and automated influence operations is collapsing. While contemporary policy debates priori

Python library supporting Discrete Variational Formulations and training solutions with Collocation-based Robust Variational Physics Informed Neural Networks (DVF-CRVPINN)

arXiv:2604.15398v1 Announce Type: new Abstract: We explore the possibility of solving Partial Differential Equations (PDEs) using discrete weak formulations. We propose a programming environment for d

researcharxiv-cs-lg

RelativeFlow: Taming Medical Image Denoising Learning with Noisy Reference

arXiv:2604.15459v1 Announce Type: cross Abstract: Medical image denoising (MID) lacks absolutely clean images for supervision, leading to a noisy reference problem that fundamentally limits denoising

Safe Deep Reinforcement Learning for Building Heating Control and Demand-side Flexibility

arXiv:2604.16033v1 Announce Type: cross Abstract: Buildings account for approximately 40% of global energy consumption, and with the growing share of intermittent renewable energy sources, enabling de

Saturation-Aware Space-Variant Blind Image Deblurring

arXiv:2604.16200v1 Announce Type: new Abstract: This paper presents a novel saturation aware space variant blind image deblurring framework designed to address challenges posed by saturated pixels in

applicationsarxiv-cs-cv

Seeing the Intangible: Survey of Image Classification into High-Level and Abstract Categories

arXiv:2308.10562v2 Announce Type: cross Abstract: The field of Computer Vision (CV) is increasingly shifting towards ``high-level'' visual sensemaking tasks, yet the exact nature of these tasks remain

Semantic Area Graph Reasoning for Multi-Robot Language-Guided Search

arXiv:2604.16263v1 Announce Type: new Abstract: Coordinating multi-robot systems (MRS) to search in unknown environments is particularly challenging for tasks that require semantic reasoning beyond ge

local-aiarxiv-cs-ro

Spectral Tempering for Embedding Compression in Dense Passage Retrieval

arXiv:2603.19339v2 Announce Type: replace-cross Abstract: Dimensionality reduction is critical for deploying dense retrieval systems at scale, yet mainstream post-hoc methods face a fundamental trade-

local-aiarxiv-cs-ai

Spira: Exploiting Voxel Data Structural Properties for Efficient Sparse Convolution in Point Cloud Networks

arXiv:2511.20834v2 Announce Type: replace-cross Abstract: Sparse Convolution (SpC) powers 3D point cloud networks widely used in autonomous driving and augmented/virtual reality. SpC builds a kernel m

local-aiarxiv-cs-lg

The Informational Cost of Agency: A Bounded Measure of Interaction Efficiency for Deployed Reinforcement Learning

arXiv:2603.01283v2 Announce Type: replace Abstract: Deployed RL agents operate in closed-loop systems where reliable performance depends on maintaining coherent coupling between observations, actions,

The World Leaks the Future: Harness Evolution for Future Prediction Agents

arXiv:2604.15719v1 Announce Type: new Abstract: Many consequential decisions must be made before the relevant outcome is known. Such problems are commonly framed as future prediction, where an LLM age

agentsarxiv-cs-ai

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations

arXiv:2604.15448v1 Announce Type: cross Abstract: Foundational optimization embeddings have recently emerged as powerful pre-trained representations for mixed-integer programming (MIP) problems. These

Zero-Shot Scalable Resilience in UAV Swarms: A Decentralized Imitation Learning Framework with Physics-Informed Graph Interactions

arXiv:2604.15762v1 Announce Type: new Abstract: Large-scale Unmanned Aerial Vehicle (UAV) failures can split an unmanned aerial vehicle swarm network into disconnected sub-networks, making decentraliz

3AM: 3egment Anything with Geometric Consistency in Videos

arXiv:2601.08831v5 Announce Type: replace Abstract: Video object segmentation methods like SAM2 achieve strong performance through memory-based architectures but struggle under large viewpoint changes

A Pythonic Functional Approach for Semantic Data Harmonisation in the ILIAD Project

arXiv:2604.13042v1 Announce Type: cross Abstract: Semantic data harmonisation is a central requirement in the ILIAD project, where heterogeneous environmental data must be harmonised according to the

tutorialsarxiv-cs-ai

Hardware

AdaSplash-2: Faster Differentiable Sparse Attention

arXiv:2604.15180v1 Announce Type: cross Abstract: Sparse attention has been proposed as a way to alleviate the quadratic cost of transformers, a central bottleneck in long-context training. A promisin

hardwarearxiv-cs-cl

All Changes May Have Invariant Principles: Improving Ever-Shifting Harmful Meme Detection via Design Concept Reproduction

arXiv:2601.04567v2 Announce Type: replace Abstract: Harmful memes are ever-shifting in the Internet communities, which are difficult to analyze due to their type-shifting and temporal-evolving nature.

tutorialsarxiv-cs-cv

An Intelligent Robotic and Bio-Digestor Framework for Smart Waste Management

arXiv:2604.14882v1 Announce Type: cross Abstract: Rapid urbanization and continuous population growth have made municipal solid waste management increasingly challenging. These challenges highlight th

agentsarxiv-cs-lg

Asynchronous Probability Ensembling for Federated Disaster Detection

arXiv:2604.14450v1 Announce Type: new Abstract: Quick and accurate emergency handling in Disaster Decision Support Systems (DDSS) is often hampered by network latency and suboptimal application accura

researcharxiv-cs-lg

Beyond the Laplacian: Doubly Stochastic Matrices for Graph Neural Networks

arXiv:2604.15069v1 Announce Type: new Abstract: Graph Neural Networks (GNNs) conventionally rely on standard Laplacian or adjacency matrices for structural message passing. In this work, we substitute

researcharxiv-cs-lg

BIEVR-LIO: Robust LiDAR-Inertial Odometry through Bump-Image-Enhanced Voxel Maps

arXiv:2604.14421v1 Announce Type: new Abstract: Reliable odometry is essential for mobile robots as they increasingly enter more challenging environments, which often contain little information to con

researcharxiv-cs-ro

C2W-Tune: Cavity-to -Wall Transfer Learning for Thin Atrial Wall Segmentation in 3D Late Gadolinium-enhanced Magnetic Resonance

arXiv:2603.24992v2 Announce Type: replace Abstract: Accurate segmentation of the left atrial (LA) wall in 3D late gadolinium-enhanced MRI (LGE-MRI) is essential for wall thickness mapping and fibrosis

Calibration-Gated LLM Pseudo-Observations for Online Contextual Bandits

arXiv:2604.14961v1 Announce Type: new Abstract: Contextual bandit algorithms suffer from high regret during cold-start, when the learner has insufficient data to distinguish good arms from bad. We pro

Chaotic CNN for Limited Data Image Classification

arXiv:2604.14645v1 Announce Type: new Abstract: Convolutional neural networks (CNNs) often exhibit poor generalisation in limited training data scenarios due to overfitting and insufficient feature di

Chronological Knowledge Retrieval: A Retrieval-Augmented Generation Approach to Construction Project Documentation

arXiv:2604.14169v1 Announce Type: new Abstract: In large-scale construction projects, the continuous evolution of decisions generates extensive records, most often captured in meeting minutes. Since d

researcharxiv-cs-cl

Conformal Policy Control

arXiv:2603.02196v2 Announce Type: replace-cross Abstract: An agent must try new behaviors to explore and improve. In high-stakes environments, an agent that violates safety constraints may cause harm