Cover Image

Formal Local Implication Between Two Neural Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Baninajjar, Anahita, Rezine, Ahmed, Aminifar, Amir
Format:	Preprint
Published:	2024
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
by: Baninajjar, Anahita, et al.
Published: (2023)

Breaking the Illusion: Consensus-Based Generative Mitigation of Adversarial Illusions in Multi-Modal Embeddings
by: Akbarian, Fatemeh, et al.
Published: (2025)

Privacy-Preserving Edge Federated Learning for Intelligent Mobile-Health Systems
by: Aminifar, Amin, et al.
Published: (2024)

LightFF: Lightweight Inference for Forward-Forward Algorithm
by: Aminifar, Amin, et al.
Published: (2024)

BEFT: Bias-Efficient Fine-Tuning of Language Models in Low-Data Regimes
by: Huang, Baichuan, et al.
Published: (2025)

RF-Informed Graph Neural Networks for Accurate and Data-Efficient Circuit Performance Prediction
by: Asadi, Anahita, et al.
Published: (2025)

Fully Automatic Neural Network Reduction for Formal Verification
by: Ladner, Tobias, et al.
Published: (2023)

Training Neural Networks as Recognizers of Formal Languages
by: Butoi, Alexandra, et al.
Published: (2024)

Hidden Conflicts in Neural Networks and Their Implications for Explainability
by: Dejl, Adam, et al.
Published: (2023)

FAME: Formal Abstract Minimal Explanation for Neural Networks
by: Boumazouza, Ryma, et al.
Published: (2026)

Geometry and Local Recovery of Global Minima of Two-layer Neural Networks at Overparameterization
by: Zhang, Leyang, et al.
Published: (2023)

GPEX, A Framework For Interpreting Artificial Neural Networks
by: Akbarnejad, Amir, et al.
Published: (2021)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
by: Wu, Haoze, et al.
Published: (2024)

Evaluating Text Classification Robustness to Part-of-Speech Adversarial Examples
by: Samadi, Anahita, et al.
Published: (2024)

How Does Gradient Descent Learn Features -- A Local Analysis for Regularized Two-Layer Neural Networks
by: Zhou, Mo, et al.
Published: (2024)

On the Relationship Between Robustness and Expressivity of Graph Neural Networks
by: Kummer, Lorenz, et al.
Published: (2025)

On the Two Sides of Redundancy in Graph Neural Networks
by: Bause, Franka, et al.
Published: (2023)

Complete Neural Networks for Complete Euclidean Graphs
by: Hordan, Snir, et al.
Published: (2023)

A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
by: Tobler, James, et al.
Published: (2025)

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

Local Vertex Colouring Graph Neural Networks
by: Li, Shouheng, et al.
Published: (2024)

On Local Overfitting and Forgetting in Deep Neural Networks
by: Stern, Uri, et al.
Published: (2024)

Protecting the Neural Networks against FGSM Attack Using Machine Unlearning
by: Khorasani, Amir Hossein, et al.
Published: (2025)

MetaWearS: A Shortcut in Wearable Systems Lifecycle with Only a Few Shots
by: Amirshahi, Alireza, et al.
Published: (2024)

On the Relationship Between Representation Geometry and Generalization in Deep Neural Networks
by: Yadav, Sumit
Published: (2026)

Pretraining a Neural Operator in Lower Dimensions
by: Hemmasian, AmirPouya, et al.
Published: (2024)

Stochastic Gradient Descent for Two-layer Neural Networks
by: Cao, Dinghao, et al.
Published: (2024)

Rethinking Benign Overfitting in Two-Layer Neural Networks
by: Xu, Ruichen, et al.
Published: (2025)

On Improving Deep Active Learning with Formal Verification
by: Spiegelman, Jonathan, et al.
Published: (2025)

The Contextual Lasso: Sparse Linear Models via Deep Neural Networks
by: Thompson, Ryan, et al.
Published: (2023)

Global-Local Graph Neural Networks for Node-Classification
by: Eliasof, Moshe, et al.
Published: (2024)

Unifying O(3) Equivariant Neural Networks Design with Tensor-Network Formalism
by: Li, Zimu, et al.
Published: (2022)

Emergence of Globally Attracting Fixed Points in Deep Neural Networks With Nonlinear Activations
by: Joudaki, Amir, et al.
Published: (2024)

On the Disconnect Between Theory and Practice of Neural Networks: Limits of the NTK Perspective
by: Wenger, Jonathan, et al.
Published: (2023)

On the Relationship Between Adversarial Robustness and Decision Region in Deep Neural Networks
by: Park, Seongjin, et al.
Published: (2022)

New Evidence of the Two-Phase Learning Dynamics of Neural Networks
by: Zhou, Zhanpeng, et al.
Published: (2025)

The Interpretable and Effective Graph Neural Additive Networks
by: Bechler-Speicher, Maya, et al.
Published: (2024)

Enforcing convex constraints in Graph Neural Networks
by: Rashwan, Ahmed, et al.
Published: (2025)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
by: Wei, Tianhao, et al.
Published: (2024)

Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
by: Abu-Haeyeh, Yasmine, et al.
Published: (2026)