Neural Network

Follow this topic Ask about this topic

Recent momentum

-12%

49 papers in the last 28 days · 0.8% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this topic, kept on the site without email delivery.

Period ending 2026-09-21

15 new papers

A weekly snapshot of new work published in Neural Network.

Period ending 2026-09-14

2 new papers

A weekly snapshot of new work published in Neural Network.

Period ending 2026-09-07

16 new papers

A weekly snapshot of new work published in Neural Network.

658 papers

Latest in Neural Network

Browse all topics →

Quadratic Characterizations for Reachability Analysis of Neural Networks
May 19, 2026Elias Khalife, Mazen Farhood, Pierre-Loic GarocheNeural Network Verification Reachability
Symmetrization of Loss Functions for Robust Training of Neural Networks in the Presence of Noisy Labels
May 19, 2026Alexandre Lemire Paquin, Brahim Chaib-Draa, Philippe GiguèreNoisy Labels Loss Function
Representability-Aware Neural Networks for Reduced Density Matrices: Application to Fractional Chern Insulators
May 19, 2026Justin B. Hart, Awwab A. Azam, Thomas Li +4Quantum Topological Phases Many-Body Physics
Training Neural Networks with Optimal Double-Bayesian Learning
May 19, 2026Vy Bui, Hang Yu, Karthik Kantipudi +2Learning Rates Stochastic Gradient Descent
Learning Orthonormal Bases for Function Spaces
May 19, 2026Hamidreza Kamkari, Mohammad Sina Nabizadeh, Justin SolomonOrthogonality Fourier Neural Operators
Fast Tensorization of Neural Networks via Slice-wise Feature Distillation
May 19, 2026Safa Hamreras, Sukhbinder Singh, Román OrúsTensor Programs Context Compression
Replacement Learning: Training Neural Networks with Fewer Parameters
May 19, 2026Yuming Zhang, Peizhe Wang, Tianyang Han +5Backpropagation Neural Network
Updating the standard neuron model in artificial neural networks
May 19, 2026Raul Mohedano, Thomas Batard, Erik Velasco-Salido +4Neural Network Updates
From Simple to Complex: Curriculum-Guided Physics-Informed Neural Networks via Gaussian Mixture Models
May 19, 2026Jianan Yang, Yiran Wang, Shuai Li +3Conventional Physics-Informed Neural Networks Partial Differential Equation Benchmarks
Physics-informed convolutional neural networks for fluid flow through porous media
May 18, 2026Rafał Topolnicki, Paweł Dłotko, Maciej MatykaFluid Dynamics Conventional Physics-Informed Neural Networks
Spiker-LL: An Energy-Efficient FPGA Accelerator Enabling Adaptive Local Learning in Spiking Neural Networks
May 18, 2026Alessio Caviglia, Filippo Marostica, Alessandro Savino +1Spiking Neural Networks Sparse Deep Neural Network Accelerators
Exact Convex Reformulations of Linear Neural Networks via Completely Positive Lifting
May 17, 2026Karthik Prakhya, Alp YurtseverSemidefinite Programming Neural Network
The Neural Tangent Kernel for Classification
May 17, 2026Jonathan Plenk, Sergio Calvo-Ordonez, Alvaro Cartea +3Neural Tangent Kernel Neural Network
Von Economo neurons enable reliable social skill acquisition in recurrent spiking neural networks: a computational account with clinical predictions
May 17, 2026Esila KeskinNeural Network Alzheimer
A Fourier perspective on the learning dynamics of neural networks: from sample complexities to mechanistic insights
May 16, 2026Fabiola Ricci, Claudia Merger, Sebastian GoldtNeural Network Feature Learning
Tensor Channel Equivariant Graph Neural Networks for Molecular Polarizability Prediction
May 16, 2026Jean Philip Filling, Daniel Franzen, Michael WandMolecular Property Prediction Tensor Networks
NeuroMAS: Multi-Agent Systems as Neural Networks with Joint Reinforcement Learning
May 16, 2026Haoran Lu, Luyang Fang, Wenxuan Zhong +1Multi-Agent Systems Multi-Agent Large Language Model
A numerical study into neural network surrogate model performance for uncertainty propagation
May 15, 2026Noah Wade, Kirubel TeferraSurrogate Models Accurate Surrogate Models
Shapley Neuron Values for Continual Learning: Which Neurons Matter Most?
May 15, 2026Mohammad Ali Vahedifar, Abhisek Ray, Qi ZhangEfficient Continual Learning Continual Learning Methods
XOResNet: Exclusive-OR Meta-Residuals Facilitate Deep Spiking Neural Networks Learning
May 15, 2026Jianfang Wu, Junsong WangSpiking Neural Networks Neuromorphic Hardware
TVRN: Invertible Neural Networks for Compression-Aware Temporal Video Rescaling
May 15, 2026Xinmin Feng, Li Li, Dong Liu +1Neural Video Codecs Ultra-Low Bitrates
Njord: A Probabilistic Graph Neural Network for Ensemble Ocean Forecasting
May 14, 2026Daniel Holmberg, Joel Oskarsson, Erik Wikingsson +2Shallow Water Equations Neural Network
Diagonal Adaptive Non-local Observables on Quantum Neural Networks
May 14, 2026Huan-Hsin Tseng, Yan Li, Hsin-Yi Lin +1Variational Quantum Circuits Quantum Neural Networks
From Weight Perturbation to Feature Attribution for Explaining Fully Connected Neural Networks
May 14, 2026Thodoris Lymperopoulos, Denia KanellopoulouFeature Learning Neural Network
NeuroTrain: Surveying Local Learning Rules for Spiking Neural Networks with an Open Benchmarking Framework
May 14, 2026Alessio Caviglia, Filippo Marostica, Roberta Bardini +2Spiking Neural Networks Neural Network
Learning with Shallow Neural Networks on Cluster-Structured Features
May 14, 2026Elisabetta Cornacchia, Laurent MassouliéLow-Dimensional Structure Two-Layer Neural Networks
Exploitation of Hidden Context in Dynamic Movement Forecasting: A Neural Network Journey from Recurrent to Graph Neural Networks and General Purpose Transformers
May 14, 2026Lukas Schelenz, Shobha Rajanna, Denis Gosalci +6Trajectory Prediction Temporal Convolutional Networks
Advancing Direct Training for Spiking Neural Networks with Circulate-Firing Neurons and Learnable Gradients
May 14, 2026Feifan Zhou, Xiang Wei, Yang Liu +1Spiking Neural Networks Time-Step-Wise Learnable Surrogate Gradient Function
Spectral structural distortion reveals redundant neurons in neural networks
May 14, 2026Yongyu WangNeural Network
Scalable Solution of the Stochastic Multi-path Traveling Salesman Problem via Neural Networks
May 14, 2026Xiaochen Chou, Ludovica Di Marco, Enza MessinaSalesman Problem Shortest Paths
All-atomistic Transferable Neural Potentials for Protein Solvation
May 14, 2026Rishabh Dey, Salvina Sharipova, Konstantin PopovPrevious Machine-Learning-Based Implicit Solvent Neural Solvers
Polar probe linearly decodes semantic structures from LLMs
May 13, 2026Pablo J. Diego-Simón, Pierre Orhan, Emmanuel Chemla +2Semantic Representations Polarization
Winning Lottery Tickets in Neural Networks via a Quantum-Inspired Classical Algorithm
May 13, 2026Natsuto Isogai, Hayata Yamasaki, Sho Sonoda +1Quantum Machine Learning Quantum Approximate Optimization Algorithm
The WidthWall: A Strict Expressivity Hierarchy for Hypergraph Neural Networks
May 13, 2026Fengqing Jiang, Yuetai Li, Yichen Feng +6Hypergraphs Neural Network
Dual-axis attribution of zebrafish tectal microcircuits for energy-efficient and robust neurocomputing
May 13, 2026Ningping Li, Hao Zhang, Yi ZhouNeuromorphic Hardware Bio-Inspired Framework
Rethinking Generalization in Graph Neural Networks: A Structural Complexity Perspective
May 13, 2026Peiyao Wang, Liang Bai, Xian Yang +2Graph Neural Networks Model Complexity
Uncertainty-Aware Prediction of Lung Tumor Growth from Sparse Longitudinal CT Data via Bayesian Physics-Informed Neural Networks
May 13, 2026Lingfei Kong, Haoran MaPrognostics Non-Small Cell Lung Cancer
Embodied Neurocomputation: A Framework for Interfacing Biological Neural Cultures with Scaled Task-Driven Validation
May 13, 2026Johnson Zhou, Daniel Tanneberg, Forough Habibollahi +12Neuromorphic Hardware Neural Network
Unified generalization analysis for physics informed neural networks
May 13, 2026Yuka Hashimoto, Tomoharu IwataConventional Physics-Informed Neural Networks Generalization Bounds
Backdoor Channels Hidden in Latent Space: Cryptographic Undetectability in Modern Neural Networks
May 13, 2026Marte Eggen, Eirik Reiestad, Kristian Gjøsteen +1Backdoor Attacks Neural Network
GraphIP-Bench: How Hard Is It to Steal a Graph Neural Network, and Can We Stop It?
May 12, 2026Kaixiang Zhao, Bolin Shen, Yuyang Dai +2Graph Neural Networks Graph Representations
Identifying the nonlinear string dynamics with port-Hamiltonian neural networks
May 12, 2026Maximino Linares, Guillaume Doras, Thomas HélieHamiltonian Physics Conventional Physics-Informed Neural Networks
Detecting overfitting in Neural Networks during long-horizon grokking using Random Matrix Theory
May 12, 2026Hari K. Prakash, Charles H MartinOverfitting Neural Network
CAWI: Copula-Aligned Weight Initialization for Randomized Neural Networks
May 12, 2026Mushir Akhtar, M. Tanveer, Mohd. ArshadModel Weights Gaussian Copula
Random-Set Graph Neural Networks
May 12, 2026Tommy Woodley, Shireen Kudukkil Manchingal, Matteo Tolloso +2Graph Neural Networks Epistemic Uncertainty
Crash Assessment via Mesh-Based Graph Neural Networks and Physics-Aware Attention
May 12, 2026Gabriel Curtosi, Carlos Manuel Ruiz Ruiz, Fabiola Cavaliere +1Crashes Accidents
OUI as a Structural Observable: Towards an Activation-Centric View of Neural Network Training
May 12, 2026Alberto Fernández-Hernández, Jose I. Mestre, Cristian Pérez-Corral +3Deep Network Neural Network
A Composite Activation Function for Learning Stable Binary Representations
May 12, 2026Seokhun Park, Choeun Kim, Kwanho Lee +3Activation Functions Neural Network
A Random-Matrix Criterion for Initializing Gated Recurrent Neural Networks
May 11, 2026Tommaso Fioratti, Riccardo Marcaccioli, Francesco CasolaGated Recurrent Unit Infinite-Width Gaussian Limit
Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification
May 11, 2026Taha Entesari, Mahyar FazlyabNeural Network Verification Reachability
Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
May 11, 2026Yasmine Abu-Haeyeh, Tobias Ladner, Matthias Althoff +1Neural Network Verification Analog
Causal Explanations from the Geometric Properties of ReLU Neural Networks
May 11, 2026Hector Woods, Philippa Ryan, Rob AlexanderRectified Linear Unit Networks Causal Reasoning
The Polynomial Counting Capabilities of Message Passing Neural Networks
May 11, 2026Marco Sälzer, Pascal Bergsträßer, Anthony W. LinMessage Passing Neural Networks Modal Logic
Per-Loss Adapters for Gradient Conflict in Physics-Informed Neural Networks
May 11, 2026Bum Jun Kim, Gnankan Landry Regis N'guessanConventional Physics-Informed Neural Networks Balanced Learning
Explainability of Recurrent Neural Networks for Enhancing P300-based Brain-Computer Interfaces
May 11, 2026Christian Oliva, Vinicio Changoluisa, Francisco B Rodríguez +1Brain-Computer Interface Explainability
Chebyshev Center-Based Direction Selection for Multi-Objective Optimization and Training PINNs
May 11, 2026Hoyeol Yoon, Seoungbin Bae, Nam Ho-Nguyen +1Conventional Physics-Informed Neural Networks Partial Differential Equation Benchmarks
ChaosNetBench: Benchmarking Spatio-Temporal Graph Neural Networks on Chaotic Lattice Dynamics
May 10, 2026Henok Tenaw Moges, Charalampos Skokos, Deshendran MoodleyTemporal Graph Neural Networks Chaos
SURGE: Surrogate Gradient Adaptation in Binary Neural Networks
May 9, 2026Haoyu Huang, Boyu Liu, Linlin Yang +6Time-Step-Wise Learnable Surrogate Gradient Function Boundary-Aware
A Reconfigurable Multiplier Architecture for Error-Resilient Applications in RISC-V Core
May 9, 2026Pragun Jaswal, L. Hemanth Krishna, B. SrinivasuRisc-V Sparse Deep Neural Network Accelerators
Supersampling Stable Diffusion and Beyond: A Seamless, Training-Free Approach for Scaling Neural Networks Using Common Interpolation Methods
May 9, 2026Md Abu Obaida Zishan, Jannatun Noor, Annajiat Alim RaselLarge-Scale Image Generation Denoising Diffusion Probabilistic Model

May 19, 2026 · cs.LGJ/K move · Enter open · S save

Quadratic Characterizations for Reachability Analysis of Neural Networks

Elias Khalife, Mazen Farhood, Pierre-Loic Garoche

Quadratic constraints (QCs) are widely used to characterize nonlinearities and uncertainties, but generic analytical characterizations can be conservative on bounded domains. This paper develops a framework for constructing verified quadratic characterizations of scalar relations in the two-dimensional real plane. Candidate quadratic inequalities are locally generated by solving convex quadratic programs using samples from the relation and exterior sample points. They are then verified globally using sum-of-squares certificates over an exact semialgebraic description or, in the case of nonpolynomial relations, over relaxed polynomial descriptions. The resulting verified constraints define a sound overapproximation of the scalar relations over the considered domains. These constraints are directly compatible with existing analysis frameworks based on QCs and pointwise integral quadratic constraints (IQCs) for static nonlinearities and uncertainties, and they can also be embedded in QC-based semidefinite programs for reachability and safety analysis of feedforward neural networks. For smooth activations such as

\tanh

, the method yields domain-dependent quadratic characterizations that constitute an alternative to generic sector- or slope-based descriptions. For ReLU networks, we give methods to reduce conservatism in QC-based reachability analysis of feedforward networks by exploiting dependencies between neurons and tighter local bounds. Numerical examples demonstrate improved reachability results for smooth activations, reduced conservatism for ReLU networks, and applicability beyond neural networks through an example involving saturation.

Neural Network Verification Reachability Inequality Constraints Neural Network Finite-Sample Certificates Relational Empirical Study

Open paper Ask about it PDF

Recent momentum

Neighbouring directions

Recent digests

15 new papers

2 new papers

16 new papers

Latest in Neural Network