Buchumschlag

Propositional Logic for Probing Generalization in Neural Networks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Langedijk, Anna, Jumelet, Jaap, Zuidema, Willem
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

DecoderLens: Layerwise Interpretation of Encoder-Decoder Transformers
von: Langedijk, Anna, et al.
Veröffentlicht: (2023)

Vocabulary shapes cross-lingual variation of word-order learnability in language models
von: Martins, Jonas Mayer, et al.
Veröffentlicht: (2026)

Towards a Mechanistic Understanding of Propositional Logical Reasoning in Large Language Models
von: Chen, Danchun, et al.
Veröffentlicht: (2026)

A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning
von: Hong, Guan Zhe, et al.
Veröffentlicht: (2024)

Logical Distillation of Graph Neural Networks
von: Pluska, Alexander, et al.
Veröffentlicht: (2024)

Filtered Corpus Training (FiCT) Shows that Language Models can Generalize from Indirect Evidence
von: Patil, Abhinav, et al.
Veröffentlicht: (2024)

Do Language Models Exhibit Human-like Structural Priming Effects?
von: Jumelet, Jaap, et al.
Veröffentlicht: (2024)

Variable Assignment Invariant Neural Networks for Learning Logic Programs
von: Phua, Yin Jun, et al.
Veröffentlicht: (2024)

APEX: Probing Neural Networks via Activation Perturbation
von: Ren, Tao, et al.
Veröffentlicht: (2026)

From Arithmetic to Logic: The Resilience of Logic and Lookup-Based Neural Networks Under Parameter Bit-Flips
von: Bacellar, Alan T. L., et al.
Veröffentlicht: (2026)

Understanding Domain-Size Generalization in Markov Logic Networks
von: Chen, Florian, et al.
Veröffentlicht: (2024)

Probing Graph Neural Network Activation Patterns Through Graph Topology
von: Tori, Floriano, et al.
Veröffentlicht: (2026)

eXpLogic: Explaining Logic Types and Patterns in DiffLogic Networks
von: Wormald, Stephen, et al.
Veröffentlicht: (2025)

Poisoning the Inner Prediction Logic of Graph Neural Networks for Clean-Label Backdoor Attacks
von: Zhang, Yuxiang, et al.
Veröffentlicht: (2026)

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

A Generalized Bisimulation Metric of State Similarity between Markov Decision Processes: From Theoretical Propositions to Applications
von: Tao, Zhenyu, et al.
Veröffentlicht: (2025)

How Explanations Leak the Decision Logic: Stealing Graph Neural Networks via Explanation Alignment
von: Ma, Bin, et al.
Veröffentlicht: (2025)

Explaining Neural Networks in Preference Learning: a Post-hoc Inductive Logic Programming Approach
von: Fossemò, Daniele, et al.
Veröffentlicht: (2026)

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

Probing Neural Combinatorial Optimization Models
von: Zhang, Zhiqin, et al.
Veröffentlicht: (2025)

On the Spatiotemporal Dynamics of Generalization in Neural Networks
von: Wei, Zichao
Veröffentlicht: (2026)

Standard Neural Computation Alone Is Insufficient for Logical Intelligence
von: Kim, Youngsung
Veröffentlicht: (2025)

Neural Probabilistic Logic Learning for Knowledge Graph Reasoning
von: Sun, Fengsong, et al.
Veröffentlicht: (2024)

Towards Explainable Indoor Localization: Interpreting Neural Network Learning on Wi-Fi Fingerprints Using Logic Gates
von: Gufran, Danish, et al.
Veröffentlicht: (2025)

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

Fitting Multilinear Polynomials for Logic Gate Networks
von: Kim, Youngsung
Veröffentlicht: (2026)

Generative System Dynamics in Recurrent Neural Networks
von: Casoni, Michele, et al.
Veröffentlicht: (2025)

Survey on Generalization Theory for Graph Neural Networks
von: Vasileiou, Antonis, et al.
Veröffentlicht: (2025)

EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
von: Verreet, Victor, et al.
Veröffentlicht: (2024)

Generalization in Neural Networks: A Broad Survey
von: Rohlfs, Chris
Veröffentlicht: (2022)

Diffusion-Based Neural Network Weights Generation
von: Soro, Bedionita, et al.
Veröffentlicht: (2024)

Editing Arbitrary Propositions in LLMs without Subject Labels
von: Feigenbaum, Itai, et al.
Veröffentlicht: (2024)

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

InteractiveGNNExplainer: A Visual Analytics Framework for Multi-Faceted Understanding and Probing of Graph Neural Network Predictions
von: Singh, TC, et al.
Veröffentlicht: (2025)

Digital Metabolism: Decoupling Logic from Facts via Regenerative Unlearning -- Towards a Pure Neural Logic Core
von: Peng, Mengmeng, et al.
Veröffentlicht: (2026)

Decoding Generalization from Memorization in Deep Neural Networks
von: Ketha, Simran, et al.
Veröffentlicht: (2025)

A Generalized Singular Value Theory for Neural Networks
von: Brown, Brian Charles, et al.
Veröffentlicht: (2026)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
von: Shi, Zhouxing, et al.
Veröffentlicht: (2024)

PAGE: Parametric Generative Explainer for Graph Neural Network
von: Qiu, Yang, et al.
Veröffentlicht: (2024)

Graphs Unveiled: Graph Neural Networks and Graph Generation
von: Kovács, László, et al.
Veröffentlicht: (2024)