Search: “research”

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs

arXiv:2508.15878v2 Announce Type: replace-cross Abstract: Formal theorem proving (FTP) has emerged as a critical foundation for evaluating the reasoning capabilities of large language models, enabling

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Research

Leveraging Unsupervised Learning for Cost-Effective Visual Anomaly Detection

DGX agent

arXiv:2409.15980v2 Announce Type: replace-cross Abstract: Traditional machine learning-based visual inspection systems require extensive data collection and repetitive model training to improve accura

researcharxiv-cs-ai

19 May 2026

Lost in the Folds: When Cross-Validation Is Not a Deep Ensemble for Uncertainty Estimation

arXiv:2605.18329v1 Announce Type: new Abstract: Ensemble disagreement is widely used as a proxy for epistemic uncertainty in medical image segmentation. In practice, many studies form ensembles via K-

MoleCode unlocks structural intelligence in large language models

arXiv:2605.16480v1 Announce Type: cross Abstract: Molecules are graphs, but large language models~(LLMs) are usually asked to reason about them through linear strings. The most popular molecular repre

Mutual Enhancement Between Global Tokens and Patch Tokens: From Theory to Practice

arXiv:2605.16384v1 Announce Type: cross Abstract: Accurate and effective discrete image tokenization is crucial for long image sequence processing. However, current methods rigidly compress all conten

Naturalistic Computational Cognitive Science: Towards generalizable models and theories that capture the full range of natural behavior

arXiv:2502.20349v3 Announce Type: replace-cross Abstract: How can cognitive science build generalizable theories that span the full scope of natural situations and behaviors? We argue that progress in

RadGenome-Anatomy: A Large-Scale Anatomy-Labeled Chest Radiograph Dataset via Physically Grounded Volumetric Projection

arXiv:2605.17368v1 Announce Type: new Abstract: Anatomical structure labels for chest radiographs are essential for medical image segmentation and a broad range of downstream diagnostic tasks. However

RAG-based EEG-to-Text Translation Using Deep Learning and LLMs

arXiv:2605.17503v1 Announce Type: new Abstract: The decoding of linguistic information from electroencephalography (EEG) signals remains an extremely challenging problem in brain-computer interface (B

StructLens: A Structural Lens for Language Models via Maximum Spanning Trees

arXiv:2603.03328v2 Announce Type: replace-cross Abstract: Language exhibits inherent structures, a property that explains both language acquisition and language change. Given this characteristic, we e

Testable and Actionable Calibration for Full Swap Regret

arXiv:2605.17749v1 Announce Type: new Abstract: AI generated predictions increasingly inform decision making in critical tasks, and therefore must be trustworthy. One widely used measure of trustworth

Watermarks Attack Watermarks: Re-Watermarking as a Generic Removal Strategy

arXiv:2605.16796v1 Announce Type: cross Abstract: Watermarking combines an imperceptible change to an input image that will trigger a detector, to assert provenance and protect intellectual property.

Beyond Collision Avoidance: Multi-Robot Yielding and Spatial Affordance in Emergency Evacuations

arXiv:2605.16115v1 Announce Type: new Abstract: As mobile service robots increasingly coexist with pedestrians, ensuring passively safe behaviour during confined emergency evacuations is critical. Exi

Centralized vs Decentralized Federated Learning: A trade-off performance analysis

arXiv:2605.16089v1 Announce Type: cross Abstract: Federated Learning (FL) has emerged as a promising paradigm for collaborative model training across distributed edge devices while preserving data pri

Designing for Robot Wranglers: A Synthesis of Literature and Practice

arXiv:2605.15892v1 Announce Type: new Abstract: Robots are increasingly present in human spaces, such as for conducting deliveries in hospitals, interacting with visitors at museums, and stocking item

Optimizing Line Segment Inspection with Limited-Range Drones

arXiv:2605.15765v1 Announce Type: cross Abstract: Optimization problems with drones are widely studied in a variety of civilian tasks, mainly due to their ability to traverse rough terrains and to car

Overfitting has a limitation: a model-independent generalization gap bound based on Renyi entropy

arXiv:2506.00182v3 Announce Type: replace-cross Abstract: Will further scaling up of machine learning models continue to bring success? A significant challenge in answering this question lies in under

Sampling-Free Privacy Accounting for Matrix Mechanisms under Random Allocation

arXiv:2601.21636v3 Announce Type: replace Abstract: We study privacy amplification for differentially private model training with matrix factorization under random allocation (also known as the balls-

Seeing is Understanding: Unlocking Causal Attention into Modality-Mutual Attention for Multimodal LLMs

arXiv:2503.02597v3 Announce Type: replace-cross Abstract: Recent Multimodal Large Language Models (MLLMs) have demonstrated significant progress in perceiving and reasoning over multimodal inquiries,

SFHand: Learning Embodied Manipulation by Streaming Egocentric 3D Hand Forecasting

arXiv:2511.18127v2 Announce Type: replace Abstract: Real-time 3D hand forecasting is a critical component for fluid human-computer interaction in applications like AR and assistive robotics. However,

CoralLite: {mu}CT Reconstruction of Coral Colonies from Individual Corallites

arXiv:2605.15093v1 Announce Type: new Abstract: The life history of an individual coral is archived within the accreting skeleton of the colony. While reef-forming coral colonies (e.g. massive Porites

Explainable Detection of Depression Status Shifts from User Digital Traces

arXiv:2605.14995v1 Announce Type: new Abstract: Every day, users generate digital traces (e.g., social media posts, chats, and online interactions) that are inherently timestamped and may reflect aspe

LLM-Based Robustness Testing of Microservice Applications: An Empirical Study

arXiv:2605.14202v1 Announce Type: cross Abstract: Malformed, missing, or boundary-value inputs in microservice APIs can cascade across dependent services, threatening reliability. Robustness testing s

MHSA: A Lightweight Framework for Mitigating Hallucinations via Steered Attention in LVLMs

arXiv:2605.14966v1 Announce Type: cross Abstract: Large vision-language models (LVLMs) have achieved remarkable performance across diverse multimodal tasks, yet they continue to suffer from hallucinat

NeuroTrain: Surveying Local Learning Rules for Spiking Neural Networks with an Open Benchmarking Framework

arXiv:2605.15058v1 Announce Type: cross Abstract: The rapid expansion of spiking neural networks (SNNs) has led to a proliferation of training algorithms that differ widely in biological inspiration,

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

Towards Gaze-Informed AI Disclosure Interfaces: Eye-Tracking Attentional and Cognitive Load While Reading AI-Assisted News

arXiv:2605.14999v1 Announce Type: cross Abstract: As generative AI becomes increasingly integrated into journalism, designing effective AI-use disclosures that inform readers without imposing unnecess

Agents

AI co-mathematician: Accelerating mathematicians with agentic AI

arXiv:2605.06651v2 Announce Type: replace Abstract: We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research. The AI co-ma

agentsarxiv-cs-ai

Amplification to Synthesis: A Comparative Analysis of Cognitive Operations Before and After Generative AI

arXiv:2605.13785v1 Announce Type: cross Abstract: Cognitive operations are a rising concern in the geopolitical sphere, a quiet yet rigorous fight for public perception and decision making. While such

AuraMask: An Extensible Pipeline for Developing Aesthetic Anti-Facial Recognition Image Filters

arXiv:2605.12937v1 Announce Type: cross Abstract: Anti-facial recognition (AFR) image filters alter images in ways that are subtle to people but blinding to computer vision. Yet, despite widespread in

Dynamics Computation of Soft-Rigid Hybrid-Link System and Its Application to Motion Analysis of an Athlete Wearing Sport Prosthesis

arXiv:2605.13192v1 Announce Type: new Abstract: This paper presents a motion analysis framework for an athlete wearing sport-specific flexible prosthesis based on the soft-rigid hybrid-link system. Su

'It became a self-fulfilling prophecy': How Lived Experiences are Entangled with AI Predictions in Menstrual Cycle Tracking Apps

arXiv:2605.13261v1 Announce Type: cross Abstract: In menstrual cycle tracking apps (MCTAs), AI-based predictions and insights have become increasingly popular. These features enable users to receive p

Skill-Aligned Annotation for Reliable Evaluation in Text-to-Image Generation

arXiv:2605.13223v1 Announce Type: new Abstract: Text-to-image (T2I) generation has advanced rapidly, making reliable evaluation critical as performance differences between models narrow. Existing eval

The Readability Spectrum: Patterns, Issues, and Prompt Effects in LLM-Generated Code

arXiv:2605.13280v1 Announce Type: cross Abstract: As Large Language Models (LLMs) are transforming software development, the functional quality of generated code has become a central focus, leaving re

Yield Curves Dynamics Using Variational Autoencoders Under No-arbitrage

arXiv:2605.12764v1 Announce Type: cross Abstract: This paper introduces a physics-informed generative framework that resolves the fundamental conflict between the statistical flexibility of deep learn

Adversarial Causal Tuning for Realistic Time-series Generation

arXiv:2506.02084v2 Announce Type: replace Abstract: We address the problem of generating simulated, yet realistic, time-series data from a causal model with the same observational and interventional d

BronchoLumen: Analysis of recent YOLO-based architectures for real-time bronchial orifice detection in video bronchoscopy

arXiv:2605.11748v1 Announce Type: new Abstract: Bronchoscopy is routinely conducted in pulmonary clinics and intensive care units, but navigating the complex branching of the respiratory tract remains

Information theoretic underpinning of self-supervised learning by clustering

arXiv:2605.11870v1 Announce Type: new Abstract: Self-supervised learning (SSL) is recognized as an essential tool for building foundation models for Artificial Intelligence applications. The advances

MobileEgo Anywhere: Open Infrastructure for long horizon egocentric data on commodity hardware

arXiv:2605.05945v2 Announce Type: replace-cross Abstract: The recent advancement of Vision Language Action (VLA) models has driven a critical demand for large scale egocentric datasets. However, exist

OUI as a Structural Observable: Towards an Activation-Centric View of Neural Network Training

arXiv:2605.11570v1 Announce Type: new Abstract: Activation functions are what make deep networks expressive: without them, the model collapses to a linear map. Yet we still evaluate training mostly fr

Model Releases

PresentAgent-2: Towards Generalist Multimodal Presentation Agents

model-releasesarxiv-cs-cl

arXiv:2605.11363v1 Announce Type: cross Abstract: Presentation generation is moving beyond static slide creation toward end-to-end presentation video generation with research grounding, multimodal med

Video-Language Understanding: A Survey from Model Architecture, Model Training, and Data Perspectives

arXiv:2406.05615v4 Announce Type: replace Abstract: Humans use multiple senses to comprehend the environment. Vision and language are two of the most vital senses since they allow us to easily communi

Applications

A Simulated Federated Analysis of MS-Induced Brain Lesions

arXiv:2605.08223v1 Announce Type: new Abstract: Federated techniques such as federated learning and federated analysis have emerged as a powerful paradigm for enabling multi-center research on sensiti

applicationsarxiv-cs-lg

Adaptive 3D Convolution for Remote Sensing Image Fusion

arXiv:2605.09455v1 Announce Type: new Abstract: Remote sensing image fusion aims to create a high-resolution multi/hyper-spectral image from a high-resolution image with limited spectral information a

Discovery of Nonlinear Dynamics with Automated Basis Function Generation

arXiv:2605.09696v1 Announce Type: new Abstract: Discovering governing equations from observational data remains a fundamental challenge in scientific modeling, particularly when the underlying mathema

Fast-MIA: Efficient and Scalable Membership Inference for LLMs

arXiv:2510.23074v2 Announce Type: replace-cross Abstract: We propose Fast-MIA (https://github.com/Nikkei/fast-mia), a Python library for efficiently evaluating membership inference attacks (MIA) again

FinMoji: A Framework for Emoji-driven Sentiment Analysis in Financial Social Media

arXiv:2605.09469v1 Announce Type: new Abstract: This paper explores the use of emojis in financial sentiment analysis, focusing on the social media platform StockTwits. Emojis, increasingly prevalent

From pre-training to downstream performance: Does domain-specific pre-training make sense?

arXiv:2605.08819v1 Announce Type: new Abstract: Deep learning techniques have revolutionised medical imaging, improving diagnostic accuracy and enabling both more accurate and earlier disease detectio

Grounded Satirical Generation with RAG

arXiv:2605.10853v1 Announce Type: new Abstract: Humor generation remains challenging task for Large Language Models (LLMs), due to their subjective nature. We focus on satire, a form of humor strongly