Copertina

Scalable Interconnect Learning in Boolean Networks

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kresse, Fabian, Yu, Emily, Lampert, Christoph H.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Machine Learning Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Boolean Variation and Boolean Logic BackPropagation
di: Nguyen, Van Minh
Pubblicazione: (2023)

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

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

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

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

Boolean basis, formula size, and number of modal operators
di: Berkholz, Christoph, et al.
Pubblicazione: (2024)

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

Deep Learning with Parametric Lenses
di: Cruttwell, Geoffrey S. H., et al.
Pubblicazione: (2024)

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
di: Dai, Steve, et al.
Pubblicazione: (2025)

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

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

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

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)

Lecture Notes on Verifying Graph Neural Networks
di: Schwarzentruber, François
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)

Learning Quantized Continuous Controllers for Integer Hardware
di: Kresse, Fabian, et al.
Pubblicazione: (2025)

Bisimulation Learning
di: Abate, Alessandro, et al.
Pubblicazione: (2024)

Just-In-Time Piecewise-Linear Semantics for ReLU-type Networks
di: Duan, Hongyi, et al.
Pubblicazione: (2025)

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
di: Bassan, Shahaf, 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)

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

Output-decomposed Learning of Mealy Machines
di: Koenders, Rick, et al.
Pubblicazione: (2024)

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

Null Measurability at the Symmetrization Interface in VC Learning
di: Gupta, Dhruv
Pubblicazione: (2026)

Error-awareness Accelerates Active Automata Learning
di: Kruger, Loes, et al.
Pubblicazione: (2026)

A General Framework for Property-Driven Machine Learning
di: Flinkow, Thomas, et al.
Pubblicazione: (2025)

Learning Representations Through Contrastive Neural Model Checking
di: Krsmanovic, Vladimir, et al.
Pubblicazione: (2025)

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
di: Amir, Guy, et al.
Pubblicazione: (2024)

Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning
di: Omi, Nabil, et al.
Pubblicazione: (2024)

Learning logic programs by finding minimal unsatisfiable subprograms
di: Cropper, Andrew, et al.
Pubblicazione: (2024)

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

Learning Better Representations From Less Data For Propositional Satisfiability
di: Ghanem, Mohamed, et al.
Pubblicazione: (2024)