Imagen de Portada

Logic Gate Neural Networks are Good for Verification

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kresse, Fabian, Yu, Emily, Lampert, Christoph H., Henzinger, Thomas A.
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning 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

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

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

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

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

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

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

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

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)

Modal Logical Neural Networks
por: Sulc, Antonin
Publicado: (2025)

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)

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

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

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

Differentiable Weightless Controllers: Learning Logic Circuits for Continuous Control
por: Kresse, Fabian, et al.
Publicado: (2025)

Set-Based Training for Neural Network Verification
por: Koller, Lukas, et al.
Publicado: (2024)

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

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

Mini-Batch Robustness Verification of Deep Neural Networks
por: Tzour-Shaday, Saar, et al.
Publicado: (2025)

Neural Network Verification is a Programming Language Challenge
por: Cordeiro, Lucas C., et al.
Publicado: (2025)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
por: Zhou, Yuhao, et al.
Publicado: (2023)

Towards a Certified Proof Checker for Deep Neural Network Verification
por: Desmartin, Remi, et al.
Publicado: (2023)

Revisiting Differential Verification: Equivalence Verification with Confidence
por: Teuber, Samuel, et al.
Publicado: (2024)

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

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

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

Quantitative Monitoring of Signal First-Order Logic
por: Chalupa, Marek, et al.
Publicado: (2026)

Pseudo-Formalization for Automatic Proof Verification
por: Barkallah, Slim, et al.
Publicado: (2026)

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

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

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

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

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

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

Boolformer: Symbolic Regression of Logic Functions with Transformers
por: d'Ascoli, Stéphane, et al.
Publicado: (2023)

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
por: Tasse, Geraud Nangue, et al.
Publicado: (2022)

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

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

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
por: Henzinger, Thomas A., et al.
Publicado: (2025)