Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Duan, Hongyi, Liu, Haoyang, Zhang, Jian'an, Liu, Fengrui, Wang, Yiyi
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

Symbolic Snapshot Ensembles
por: Liu, Mingyue, et al.
Publicado: (2025)

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

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

From learnable objects to learnable random objects
por: Anderson, Aaron, et al.
Publicado: (2025)

Programs as Singularities
por: Murfet, Daniel, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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