Buchumschlag

The Logical Expressiveness of Topological Neural Networks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Akbari, Amirreza, Souza, Amauri H., Garg, Vikas
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Machine Learning Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Logic Gate Neural Networks are Good for Verification
von: Kresse, Fabian, et al.
Veröffentlicht: (2025)

TLINet: Differentiable Neural Network Temporal Logic Inference
von: Li, Danyang, et al.
Veröffentlicht: (2024)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
von: Sälzer, Marco, et al.
Veröffentlicht: (2025)

Modal Logical Neural Networks
von: Sulc, Antonin
Veröffentlicht: (2025)

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

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
von: Sulc, Antonin
Veröffentlicht: (2026)

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
von: Gomes, Ronaldo, et al.
Veröffentlicht: (2026)

Neural Logic Networks for Interpretable Classification
von: Perreault, Vincent, et al.
Veröffentlicht: (2025)

Regional, Lattice and Logical Representations of Neural Networks
von: Preto, Sandro, et al.
Veröffentlicht: (2025)

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
von: Soeteman, Arie, et al.
Veröffentlicht: (2025)

Comparing Neural Network Encodings for Logic-based Explainability
von: Carvalho, Levi Cordeiro, et al.
Veröffentlicht: (2025)

Topological Neural Networks go Persistent, Equivariant, and Continuous
von: Verma, Yogesh, et al.
Veröffentlicht: (2024)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
von: Mannucci, Mirco A.
Veröffentlicht: (2025)

On the Expressiveness of State Space Models via Temporal Logics
von: Alsmann, Eric, et al.
Veröffentlicht: (2026)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
von: Zhang, Yani, et al.
Veröffentlicht: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
von: Nunn, Pierre, et al.
Veröffentlicht: (2024)

Branch and Bound for Piecewise Linear Neural Network Verification
von: Bunel, Rudy, et al.
Veröffentlicht: (2019)

Proof Minimization in Neural Network Verification
von: Isac, Omri, et al.
Veröffentlicht: (2025)

Space Explanations of Neural Network Classification
von: Labbaf, Faezeh, et al.
Veröffentlicht: (2025)

Lecture Notes on Verifying Graph Neural Networks
von: Schwarzentruber, François
Veröffentlicht: (2025)

Logic Tensor Network-Enhanced Generative Adversarial Network
von: Upreti, Nijesh, et al.
Veröffentlicht: (2026)

Expressive Power of Deep Homomorphism Networks over Relational Databases
von: Schönherr, Moritz, et al.
Veröffentlicht: (2026)

Expressive Temporal Specifications for Reward Monitoring
von: Adalat, Omar, et al.
Veröffentlicht: (2025)

The Polynomial Counting Capabilities of Message Passing Neural Networks
von: Sälzer, Marco, et al.
Veröffentlicht: (2026)

Almost Surely Asymptotically Constant Graph Neural Networks
von: Adam-Day, Sam, et al.
Veröffentlicht: (2024)

Boolformer: Symbolic Regression of Logic Functions with Transformers
von: d'Ascoli, Stéphane, et al.
Veröffentlicht: (2023)

How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?
von: Soeteman, Arie, et al.
Veröffentlicht: (2026)

PICID: Proof-Driven Clause Learning in Neural Network Verification
von: Isac, Omri, et al.
Veröffentlicht: (2025)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
von: Flinkow, Thomas, et al.
Veröffentlicht: (2026)

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
von: Tasse, Geraud Nangue, et al.
Veröffentlicht: (2022)

Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4
von: Aniva, Leni, et al.
Veröffentlicht: (2026)

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
von: Bassan, Shahaf, et al.
Veröffentlicht: (2025)

Towards Understanding the Expressive Power of GNNs with Global Readout
von: Funk, Maurice, et al.
Veröffentlicht: (2026)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
von: Filho, Francisco Mateus Rocha, et al.
Veröffentlicht: (2026)

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
von: Murphy, William, et al.
Veröffentlicht: (2024)

Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering
von: Zhang, Chongzhi, et al.
Veröffentlicht: (2024)

A First-Order Logic-Based Alternative to Reward Models in RLHF
von: Jian, Chunjin, et al.
Veröffentlicht: (2025)

A Logical View of GNN-Style Computation and the Role of Activation Functions
von: Barceló, Pablo, et al.
Veröffentlicht: (2025)

The Expressive Power of Transformers with Chain of Thought
von: Merrill, William, et al.
Veröffentlicht: (2023)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
von: Teuber, Samuel, et al.
Veröffentlicht: (2024)