Image de couverture de livre

Just-In-Time Piecewise-Linear Semantics for ReLU-type Networks

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Duan, Hongyi, Liu, Haoyang, Zhang, Jian'an, Liu, Fengrui, Wang, Yiyi
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Branch and Bound for Piecewise Linear Neural Network Verification
par: Bunel, Rudy, et autres
Publié: (2019)

Relating Piecewise Linear Kolmogorov Arnold Networks to ReLU Networks
par: Schoots, Nandi, et autres
Publié: (2025)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
par: Li, Augustus Haoyang
Publié: (2026)

The Geometry of ReLU Networks through the ReLU Transition Graph
par: Dhayalkar, Sahil Rajesh
Publié: (2025)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
par: König, Matthias, et autres
Publié: (2024)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
par: Flinkow, Thomas, et autres
Publié: (2026)

A Hybrid Real-Time Framework for Efficient Fussell-Vesely Importance Evaluation Using Virtual Fault Trees and Graph Neural Networks
par: Xiao, Xingyu, et autres
Publié: (2024)

Rethinking Selectivity in State Space Models: A Minimal Predictive Sufficiency Approach
par: Wang, Yiyi, et autres
Publié: (2025)

A First-Order Logic-Based Alternative to Reward Models in RLHF
par: Jian, Chunjin, et autres
Publié: (2025)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
par: Chen, Michael K., et autres
Publié: (2025)

Symbolic Snapshot Ensembles
par: Liu, Mingyue, et autres
Publié: (2025)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
par: Mannucci, Mirco A.
Publié: (2025)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
par: Benedikt, Michael, et autres
Publié: (2026)

From learnable objects to learnable random objects
par: Anderson, Aaron, et autres
Publié: (2025)

Programs as Singularities
par: Murfet, Daniel, et autres
Publié: (2025)

Proof Minimization in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)

Space Explanations of Neural Network Classification
par: Labbaf, Faezeh, et autres
Publié: (2025)

Formalized Hopfield Networks and Boltzmann Machines
par: Cipollina, Matteo, et autres
Publié: (2025)

The Logical Expressiveness of Topological Neural Networks
par: Akbari, Amirreza, et autres
Publié: (2026)

Scalable Interconnect Learning in Boolean Networks
par: Kresse, Fabian, et autres
Publié: (2025)

Lecture Notes on Verifying Graph Neural Networks
par: Schwarzentruber, François
Publié: (2025)

Logic Gate Neural Networks are Good for Verification
par: Kresse, Fabian, et autres
Publié: (2025)

The Polynomial Counting Capabilities of Message Passing Neural Networks
par: Sälzer, Marco, et autres
Publié: (2026)

TLINet: Differentiable Neural Network Temporal Logic Inference
par: Li, Danyang, et autres
Publié: (2024)

Almost Surely Asymptotically Constant Graph Neural Networks
par: Adam-Day, Sam, et autres
Publié: (2024)

PICID: Proof-Driven Clause Learning in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)

Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4
par: Aniva, Leni, et autres
Publié: (2026)

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
par: Queiroz, Luiz Fernando Paulino, et autres
Publié: (2026)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
par: Sulc, Antonin
Publié: (2026)

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
par: Bassan, Shahaf, et autres
Publié: (2025)

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
par: Gomes, Ronaldo, et autres
Publié: (2026)

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
par: Işık, İlker, et autres
Publié: (2024)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
par: Zhang, Xiyue, et autres
Publié: (2024)

Provable Preimage Under-Approximation for Neural Networks (Full Version)
par: Zhang, Xiyue, et autres
Publié: (2023)

Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering
par: Zhang, Chongzhi, et autres
Publié: (2024)

Complexity of Linear Regions in Self-supervised Deep ReLU Networks
par: Muthivhi, Mufhumudzi, et autres
Publié: (2026)

On Space Folds of ReLU Neural Networks
par: Lewandowski, Michal, et autres
Publié: (2025)

A Semantic Search Engine for Mathlib4
par: Gao, Guoxiong, et autres
Publié: (2024)

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
par: Zhou, Xiaofeng, et autres
Publié: (2026)

Process-Driven Autoformalization in Lean 4
par: Lu, Jianqiao, et autres
Publié: (2024)