Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Duan, Hongyi, Liu, Haoyang, Zhang, Jian'an, Liu, Fengrui, Wang, Yiyi
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Branch and Bound for Piecewise Linear Neural Network Verification
di: Bunel, Rudy, et al.
Pubblicazione: (2019)

Relating Piecewise Linear Kolmogorov Arnold Networks to ReLU Networks
di: Schoots, Nandi, et al.
Pubblicazione: (2025)

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

The Geometry of ReLU Networks through the ReLU Transition Graph
di: Dhayalkar, Sahil Rajesh
Pubblicazione: (2025)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
di: König, Matthias, et al.
Pubblicazione: (2024)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
di: Flinkow, Thomas, et al.
Pubblicazione: (2026)

A Hybrid Real-Time Framework for Efficient Fussell-Vesely Importance Evaluation Using Virtual Fault Trees and Graph Neural Networks
di: Xiao, Xingyu, et al.
Pubblicazione: (2024)

Rethinking Selectivity in State Space Models: A Minimal Predictive Sufficiency Approach
di: Wang, Yiyi, et al.
Pubblicazione: (2025)

A First-Order Logic-Based Alternative to Reward Models in RLHF
di: Jian, Chunjin, et al.
Pubblicazione: (2025)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
di: Chen, Michael K., et al.
Pubblicazione: (2025)

Symbolic Snapshot Ensembles
di: Liu, Mingyue, et al.
Pubblicazione: (2025)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
di: Mannucci, Mirco A.
Pubblicazione: (2025)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

From learnable objects to learnable random objects
di: Anderson, Aaron, et al.
Pubblicazione: (2025)

Programs as Singularities
di: Murfet, Daniel, et al.
Pubblicazione: (2025)

Proof Minimization in Neural Network Verification
di: Isac, Omri, et al.
Pubblicazione: (2025)

Space Explanations of Neural Network Classification
di: Labbaf, Faezeh, et al.
Pubblicazione: (2025)

Formalized Hopfield Networks and Boltzmann Machines
di: Cipollina, Matteo, et al.
Pubblicazione: (2025)

The Logical Expressiveness of Topological Neural Networks
di: Akbari, Amirreza, et al.
Pubblicazione: (2026)

Scalable Interconnect Learning in Boolean Networks
di: Kresse, Fabian, et al.
Pubblicazione: (2025)

Lecture Notes on Verifying Graph Neural Networks
di: Schwarzentruber, François
Pubblicazione: (2025)

Logic Gate Neural Networks are Good for Verification
di: Kresse, Fabian, et al.
Pubblicazione: (2025)

The Polynomial Counting Capabilities of Message Passing Neural Networks
di: Sälzer, Marco, et al.
Pubblicazione: (2026)

TLINet: Differentiable Neural Network Temporal Logic Inference
di: Li, Danyang, et al.
Pubblicazione: (2024)

Almost Surely Asymptotically Constant Graph Neural Networks
di: Adam-Day, Sam, et al.
Pubblicazione: (2024)

PICID: Proof-Driven Clause Learning in Neural Network Verification
di: Isac, Omri, et al.
Pubblicazione: (2025)

Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4
di: Aniva, Leni, et al.
Pubblicazione: (2026)

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
di: Queiroz, Luiz Fernando Paulino, et al.
Pubblicazione: (2026)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
di: Sulc, Antonin
Pubblicazione: (2026)

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
di: Bassan, Shahaf, et al.
Pubblicazione: (2025)

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
di: Gomes, Ronaldo, et al.
Pubblicazione: (2026)

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
di: Işık, İlker, et al.
Pubblicazione: (2024)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
di: Zhang, Xiyue, et al.
Pubblicazione: (2024)

Provable Preimage Under-Approximation for Neural Networks (Full Version)
di: Zhang, Xiyue, et al.
Pubblicazione: (2023)

Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering
di: Zhang, Chongzhi, et al.
Pubblicazione: (2024)

Complexity of Linear Regions in Self-supervised Deep ReLU Networks
di: Muthivhi, Mufhumudzi, et al.
Pubblicazione: (2026)

On Space Folds of ReLU Neural Networks
di: Lewandowski, Michal, et al.
Pubblicazione: (2025)

A Semantic Search Engine for Mathlib4
di: Gao, Guoxiong, et al.
Pubblicazione: (2024)

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
di: Zhou, Xiaofeng, et al.
Pubblicazione: (2026)

Process-Driven Autoformalization in Lean 4
di: Lu, Jianqiao, et al.
Pubblicazione: (2024)