Imagen de Portada

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhang, Xiyue, Wang, Benjie, Kwiatkowska, Marta, Zhang, Huan
Formato:	Preprint
Publicado:	2024
Materias:	Machine Learning Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

A Compositional Atlas for Algebraic Circuits
por: Wang, Benjie, et al.
Publicado: (2024)

Unifying approach to uniform expressivity of graph neural networks
por: Luo, Huan, et al.
Publicado: (2026)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
por: Zhang, Yani, et al.
Publicado: (2024)

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

Neural Logic Networks for Interpretable Classification
por: Perreault, Vincent, et al.
Publicado: (2025)

Hypergraph Neural Networks Accelerate MUS Enumeration
por: Ijima, Hiroya, et al.
Publicado: (2026)

Regional, Lattice and Logical Representations of Neural Networks
por: Preto, Sandro, et al.
Publicado: (2025)

Efficient Certified Reasoning for Binarized Neural Networks
por: Yang, Jiong, et al.
Publicado: (2025)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
por: Nunn, Pierre, et al.
Publicado: (2024)

Comparing Neural Network Encodings for Logic-based Explainability
por: Carvalho, Levi Cordeiro, et al.
Publicado: (2025)

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
por: Zhang, Yaofang, et al.
Publicado: (2026)

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
por: Daggitt, Matthew L., et al.
Publicado: (2024)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
por: Boetius, David, et al.
Publicado: (2026)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
por: Orvalho, Pedro, et al.
Publicado: (2025)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
por: Orvalho, Pedro, et al.
Publicado: (2026)

Inference of Abstraction for a Unified Account of Reasoning and Learning
por: Kido, Hiroyuki
Publicado: (2024)

VeriFlow: Modeling Distributions for Neural Network Verification
por: Zaid, Faried Abu, et al.
Publicado: (2024)

Neural logic programs and neural nets
por: Antić, Christian
Publicado: (2024)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
por: Baugh, Kexin Gu, et al.
Publicado: (2025)

Logic Tensor Network-Enhanced Generative Adversarial Network
por: Upreti, Nijesh, et al.
Publicado: (2026)

Solving Formal Math Problems by Decomposition and Iterative Reflection
por: Zhou, Yichi, et al.
Publicado: (2025)

Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
por: Vishwakarma, Rahul, et al.
Publicado: (2023)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
por: Abdulla, Parosh Aziz, et al.
Publicado: (2024)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
por: De Angelis, Emanuele, et al.
Publicado: (2024)

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

Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors
por: Yin, Hang, et al.
Publicado: (2023)

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
por: Xie, Zixuan, et al.
Publicado: (2026)

SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization
por: Su, Xiaole, et al.
Publicado: (2026)

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks
por: Damera, Sai Sandeep, et al.
Publicado: (2026)

On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks
por: Damera, Sai Sandeep, et al.
Publicado: (2026)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
por: Liu, Xinyu, et al.
Publicado: (2026)

Conditional Logical Message Passing Transformer for Complex Query Answering
por: Zhang, Chongzhi, et al.
Publicado: (2024)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
por: Qasim, Kaleem Ullah, et al.
Publicado: (2025)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
por: Teuber, Samuel, et al.
Publicado: (2024)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
por: Wooding, Ben, et al.
Publicado: (2026)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
por: Cornelio, Cristina, et al.
Publicado: (2024)

TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
por: Taylor, Alexander K, et al.
Publicado: (2026)

Meta Operator for Complex Query Answering on Knowledge Graphs
por: Yin, Hang, et al.
Publicado: (2024)