Search: “research”

The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification

arXiv:2604.18728v1 Announce Type: cross Abstract: Many neural network (NN) verification systems represent the network's input-output relation as a constraint program. Sound and complete, representatio

Human

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

Research

The Logical Expressiveness of Topological Neural Networks

DGX agent

arXiv:2604.19212v1 Announce Type: new Abstract: Graph neural networks (GNNs) are the standard for learning on graphs, yet they have limited expressive power, often expressed in terms of the Weisfeiler

researcharxiv-cs-lg

22 Apr 2026

The Trump administration files concocted charges against the civil rights Southern Poverty Law Center, claiming it defrauded donors by suppo…

The Trump administration files concocted charges against the civil rights Southern Poverty Law Center, claiming it defrauded donors by supposedly supporting extremist groups when it was paying informa

researchyann-lecun--x

There is no nature anymore

When people talk about “nature,” they’re generally talking about things that aren’t made by human beings. Rocks. Reefs. Red wolves. But while there is plenty of God’s creation to go around, it is hard

researchmit-tech-review

Thermal Anomaly Detection using Physics Aware Neuromorphic Networks: Comparison between Raw and L1C Sentinel-2 Data

arXiv:2604.18606v1 Announce Type: cross Abstract: Damage caused by bushfires and volcanic eruptions escalates rapidly when detection is delayed, making fast and reliable early warning capabilities ess

Think Before Writing: Feature-Level Multi-Objective Optimization for Generative Citation Visibility

arXiv:2604.19113v1 Announce Type: cross Abstract: Generative answer engines expose content through selective citation rather than ranked retrieval, fundamentally altering how visibility is determined.

Thrust Regulation Through Wing Linkage Modulation on the Aerobat Platform: Piezoelectric Slip-Stick Actuated Regulator Development

arXiv:2604.18900v1 Announce Type: new Abstract: Aerobat is a bat-inspired flapping-wing robot with a wing gait generate by the computational structure, a planar linkage of carbon fiber links driven by

researcharxiv-cs-ro

Towards a Linguistic Evaluation of Narratives: A Quantitative Stylistic Framework

arXiv:2604.19261v1 Announce Type: new Abstract: The evaluation of narrative quality remains a complex challenge, as it involves subjective factors such as plot, character development, and emotional im

Towards Generalization of Graph Neural Networks for AC Optimal Power Flow

arXiv:2510.06860v2 Announce Type: replace-cross Abstract: AC Optimal Power Flow (ACOPF) is computationally intensive for large-scale grids, often requiring prohibitive solution times with conventional

Towards Streaming Target Speaker Extraction via Chunk-wise Interleaved Splicing of Autoregressive Language Model

arXiv:2604.19635v1 Announce Type: cross Abstract: While generative models have set new benchmarks for Target Speaker Extraction (TSE), their inherent reliance on global context precludes deployment in

Trainability Beyond Linearity in Variational Quantum Objectives

arXiv:2604.18846v1 Announce Type: cross Abstract: Barren-plateau results have established exponential gradient suppression as a widely cited obstacle to the scalability of variational quantum algorith

TrEEStealer: Stealing Decision Trees via Enclave Side Channels

arXiv:2604.18716v1 Announce Type: cross Abstract: Today, machine learning is widely applied in sensitive, security-related, and financially lucrative applications. Model extraction attacks undermine c

TS-Attn: Temporal-wise Separable Attention for Multi-Event Video Generation

arXiv:2604.19473v1 Announce Type: new Abstract: Generating high-quality videos from complex temporal descriptions that contain multiple sequential actions is a key unsolved problem. Existing methods a

TurboEvolve: Towards Fast and Robust LLM-Driven Program Evolution

arXiv:2604.18607v1 Announce Type: cross Abstract: LLM-driven program evolution can discover high-quality programs, but its cost and run-to-run variance hinder reliable progress. We propose TurboEvolve

Ultrametric OGP - parametric RDT symmetric binary perceptron connection

arXiv:2604.19712v1 Announce Type: new Abstract: In [97,99,100], an fl-RDT framework is introduced to characterize statistical computational gaps (SCGs). Studying symmetric binary perceptrons (SBPs), [

Unifying Controller Design for Stabilizing Nonlinear Systems with Norm-Bounded Control Inputs

arXiv:2403.03030v2 Announce Type: replace-cross Abstract: This paper revisits a classical challenge in the design of stabilizing controllers for nonlinear systems with a norm-bounded input constraint.

Unsupervised Confidence Calibration for Reasoning LLMs from a Single Generation

arXiv:2604.19444v1 Announce Type: new Abstract: Reasoning language models can solve increasingly complex tasks, but struggle to produce the calibrated confidence estimates necessary for reliable deplo

Virtual boundary integral neural network for three-dimensional exterior acoustic problems

arXiv:2604.18636v1 Announce Type: cross Abstract: This paper presents a virtual boundary integral neural network (VBINN) for exterior acoustic problems in three dimensions. The method introduces a vir

VISTA: Verification In Sequential Turn-based Assessment

arXiv:2510.27052v5 Announce Type: replace Abstract: Hallucination--defined here as generating statements unsupported or contradicted by available evidence or conversational context--remains a major ob

Volume Transformer: Revisiting Vanilla Transformers for 3D Scene Understanding

arXiv:2604.19609v1 Announce Type: new Abstract: Transformers have become a common foundation across deep learning, yet 3D scene understanding still relies on specialized backbones with strong domain p

When Active Learning Falls Short: An Empirical Study on Chemical Reaction Extraction

arXiv:2604.19335v1 Announce Type: new Abstract: The rapid growth of chemical literature has generated vast amounts of unstructured data, where reaction information is particularly valuable for applica

When Does Verification Pay Off? A Closer Look at LLMs as Solution Verifiers

arXiv:2512.02304v2 Announce Type: replace Abstract: Large language models (LLMs) can act as both problem solvers and solution verifiers, where the latter select high-quality answers from a pool of sol

When Graph Structure Becomes a Liability: A Critical Re-Evaluation of Graph Neural Networks for Bitcoin Fraud Detection under Temporal Distribution Shift

arXiv:2604.19514v1 Announce Type: cross Abstract: The consensus that GCN, GraphSAGE, GAT, and EvolveGCN outperform feature-only baselines on the Elliptic Bitcoin Dataset is widely cited but has not be

When Langevin Monte Carlo Meets Randomization: Non-asymptotic Error Bounds beyond Log-Concavity and Gradient Lipschitzness

arXiv:2509.25630v2 Announce Type: replace-cross Abstract: Efficient sampling from complex and high dimensional target distributions turns out to be a fundamental task in diverse disciplines such as sc

Where Fake Citations Are Made: Tracing Field-Level Hallucination to Specific Neurons in LLMs

arXiv:2604.18880v1 Announce Type: cross Abstract: LLMs frequently generate fictitious yet convincing citations, often expressing high confidence even when the underlying reference is wrong. We study t

Who Shapes Brazil's Vaccine Debate? Semi-Supervised Modeling of Stance and Polarization in YouTube's Media Ecosystem

arXiv:2604.18586v1 Announce Type: cross Abstract: Vaccination remains a cornerstone of global public health, yet the COVID-19 pandemic exposed how online misinformation, political polarization, and de

Wrench-Aware Admittance Control for Unknown-Payload Manipulation

arXiv:2604.19469v1 Announce Type: new Abstract: Unknown payloads can strongly affect compliant robotic manipulation, especially when the payload center of mass is not aligned with the tool center poin

researcharxiv-cs-ro

A B-Spline Function Based 3D Point Cloud Unwrapping Scheme for 3D Fingerprint Recognition and Identification

arXiv:2604.16546v1 Announce Type: new Abstract: Three-dimensional (3D) fingerprint recognition and identification offer several advantages over traditional two-dimensional (2D) recognition systems. Th

A Community-Based Approach for Stance Distribution and Argument Organization

arXiv:2604.16852v1 Announce Type: new Abstract: The proliferation of online debate platforms and social media has led to an unprecedented volume of argumentative content on controversial topics from m

A deep learning pipeline for PAM50 subtype classification using histopathology images and multi-objective patch selection

arXiv:2604.01798v2 Announce Type: replace Abstract: Breast cancer is a highly heterogeneous disease with diverse molecular profiles. The PAM50 gene signature is widely recognized as a standard for cla

A Machine Learning Approach to Two-Stage Adaptive Robust Optimization

arXiv:2307.12409v3 Announce Type: replace Abstract: We propose an approach based on machine learning to solve two-stage linear adaptive robust optimization (ARO) problems with binary here-and-now vari

A Mechanism Study of Delayed Loss Spikes in Batch-Normalized Linear Models

arXiv:2604.16809v1 Announce Type: cross Abstract: Delayed loss spikes have been reported in neural-network training, but existing theory mainly explains earlier non-monotone behavior caused by overly

A Model and Estimation of the Bitcoin Transaction Fee

arXiv:2604.17183v1 Announce Type: cross Abstract: Bitcoin transaction fees will become more important as the block subsidy declines, but fee formation is hard to study with blockchain data alone becau

A natural protein may protect the GI tract from infection

Embedded in the body’s mucosal surfaces, proteins called lectins bind to sugars found on cell surfaces. A team led by MIT chemistry professor Laura Kiessling has found that one such protein, intelecti

researchmit-tech-review

A novel LSTM music generator based on the fractional time-frequency feature extraction

arXiv:2604.17823v1 Announce Type: cross Abstract: In this paper, we propose a novel approach for generating music based on an artificial intelligence (AI) system. We analyze the features of music and

A proposal for PU classification under Non-SCAR using clustering and logistic model

arXiv:2604.17130v1 Announce Type: cross Abstract: The present study aims to investigate a cluster cleaning algorithm that is both computationally simple and capable of solving the PU classification wh

A Ridge Too Far: Correcting Over-Shrinkage via Negative Regularization

arXiv:2508.17412v4 Announce Type: replace Abstract: Conventional regularization is designed to control variance, but in small-data regression it can also aggravate underfitting when predictive signal

A Scalable Nystrom-Based Kernel Two-Sample Test with Permutations

arXiv:2502.13570v4 Announce Type: replace-cross Abstract: Two-sample hypothesis testing-determining whether two sets of data are drawn from the same distribution-is a fundamental problem in statistics

A Sugeno Integral View of Binarized Neural Network Inference

arXiv:2604.17967v1 Announce Type: cross Abstract: In this article, we establish a precise connection between binarized neural networks (BNNs) and Sugeno integrals. The advantage of the Sugeno integral

A Two-Phase Deep Learning Framework for Adaptive Time-Stepping in High-Speed Flow Modeling

arXiv:2506.07969v2 Announce Type: replace Abstract: We consider the problem of modeling high-speed flows using machine learning methods. While most prior studies focus on low-speed fluid flows in whic

A Two-Stage Deep Learning Framework for Segmentation of Ten Gastrointestinal Organs from Coronal MR Enterography

arXiv:2604.17118v1 Announce Type: cross Abstract: Accurate segmentation of gastrointestinal (GI) organs in magnetic resonance enterography (MRE) is critical for diagnosing inflammatory bowel disease (

A Two-Stage Multi-Modal MRI Framework for Lifespan Brain Age Prediction

arXiv:2604.16655v1 Announce Type: cross Abstract: The accurate quantification of brain age from MRI has emerged as an important biomarker of brain health. However, existing approaches are often restri

A Unification of Discrete, Gaussian, and Simplicial Diffusion

arXiv:2512.15923v2 Announce Type: replace Abstract: To model discrete sequences such as DNA, proteins, and language using diffusion, practitioners must choose between three major methods: diffusion in

A Unified Compliance Aggregator Framework for Automated Multi-Tool Security Assessment of Linux Systems

arXiv:2604.17256v1 Announce Type: cross Abstract: Assessing the security posture of modern computing systems typically requires the use of multiple specialized tools. These tools focus on different as

A unified convergence theory for adaptive first-order methods in the nonconvex case, including AdaNorm, full and diagonal AdaGrad, Shampoo and Muo

arXiv:2604.17423v1 Announce Type: new Abstract: A unified framework for first-order optimization algorithms fornonconvex unconstrained optimization is proposed that uses adaptivelypreconditioned gradi

A Universal Avoidance Method for Diverse Multi-branch Generation

arXiv:2604.17323v1 Announce Type: new Abstract: Modern generative models still lack human-level creativity, particularly in multi-branch diversity. Prior approaches to address this problem often incur

Advancing Vision Transformer with Enhanced Spatial Priors

arXiv:2604.18549v1 Announce Type: new Abstract: In recent years, the Vision Transformer (ViT) has garnered significant attention within the computer vision community. However, the core component of Vi

AI Approach for MRI-only Full-Spine Vertebral Segmentation and 3D Reconstruction in Paediatric Scoliosis

arXiv:2604.17846v1 Announce Type: new Abstract: MRI is preferred over CT in paediatric imaging because it avoids ionising radiation, but its use in spine deformity assessment is largely limited by the