Image de couverture de livre

Propositional Logic for Probing Generalization in Neural Networks

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Langedijk, Anna, Jumelet, Jaap, Zuidema, Willem
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

DecoderLens: Layerwise Interpretation of Encoder-Decoder Transformers
par: Langedijk, Anna, et autres
Publié: (2023)

Vocabulary shapes cross-lingual variation of word-order learnability in language models
par: Martins, Jonas Mayer, et autres
Publié: (2026)

Towards a Mechanistic Understanding of Propositional Logical Reasoning in Large Language Models
par: Chen, Danchun, et autres
Publié: (2026)

A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning
par: Hong, Guan Zhe, et autres
Publié: (2024)

Logical Distillation of Graph Neural Networks
par: Pluska, Alexander, et autres
Publié: (2024)

Filtered Corpus Training (FiCT) Shows that Language Models can Generalize from Indirect Evidence
par: Patil, Abhinav, et autres
Publié: (2024)

Do Language Models Exhibit Human-like Structural Priming Effects?
par: Jumelet, Jaap, et autres
Publié: (2024)

Variable Assignment Invariant Neural Networks for Learning Logic Programs
par: Phua, Yin Jun, et autres
Publié: (2024)

APEX: Probing Neural Networks via Activation Perturbation
par: Ren, Tao, et autres
Publié: (2026)

From Arithmetic to Logic: The Resilience of Logic and Lookup-Based Neural Networks Under Parameter Bit-Flips
par: Bacellar, Alan T. L., et autres
Publié: (2026)

Understanding Domain-Size Generalization in Markov Logic Networks
par: Chen, Florian, et autres
Publié: (2024)

Probing Graph Neural Network Activation Patterns Through Graph Topology
par: Tori, Floriano, et autres
Publié: (2026)

eXpLogic: Explaining Logic Types and Patterns in DiffLogic Networks
par: Wormald, Stephen, et autres
Publié: (2025)

Poisoning the Inner Prediction Logic of Graph Neural Networks for Clean-Label Backdoor Attacks
par: Zhang, Yuxiang, et autres
Publié: (2026)

Neural Logic Networks for Interpretable Classification
par: Perreault, Vincent, et autres
Publié: (2025)

A Generalized Bisimulation Metric of State Similarity between Markov Decision Processes: From Theoretical Propositions to Applications
par: Tao, Zhenyu, et autres
Publié: (2025)

How Explanations Leak the Decision Logic: Stealing Graph Neural Networks via Explanation Alignment
par: Ma, Bin, et autres
Publié: (2025)

Explaining Neural Networks in Preference Learning: a Post-hoc Inductive Logic Programming Approach
par: Fossemò, Daniele, et autres
Publié: (2026)

Regional, Lattice and Logical Representations of Neural Networks
par: Preto, Sandro, et autres
Publié: (2025)

Probing Neural Combinatorial Optimization Models
par: Zhang, Zhiqin, et autres
Publié: (2025)

On the Spatiotemporal Dynamics of Generalization in Neural Networks
par: Wei, Zichao
Publié: (2026)

Standard Neural Computation Alone Is Insufficient for Logical Intelligence
par: Kim, Youngsung
Publié: (2025)

Neural Probabilistic Logic Learning for Knowledge Graph Reasoning
par: Sun, Fengsong, et autres
Publié: (2024)

Towards Explainable Indoor Localization: Interpreting Neural Network Learning on Wi-Fi Fingerprints Using Logic Gates
par: Gufran, Danish, et autres
Publié: (2025)

Comparing Neural Network Encodings for Logic-based Explainability
par: Carvalho, Levi Cordeiro, et autres
Publié: (2025)

Fitting Multilinear Polynomials for Logic Gate Networks
par: Kim, Youngsung
Publié: (2026)

Generative System Dynamics in Recurrent Neural Networks
par: Casoni, Michele, et autres
Publié: (2025)

Survey on Generalization Theory for Graph Neural Networks
par: Vasileiou, Antonis, et autres
Publié: (2025)

EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
par: Verreet, Victor, et autres
Publié: (2024)

Generalization in Neural Networks: A Broad Survey
par: Rohlfs, Chris
Publié: (2022)

Diffusion-Based Neural Network Weights Generation
par: Soro, Bedionita, et autres
Publié: (2024)

Editing Arbitrary Propositions in LLMs without Subject Labels
par: Feigenbaum, Itai, et autres
Publié: (2024)

Logic Tensor Network-Enhanced Generative Adversarial Network
par: Upreti, Nijesh, et autres
Publié: (2026)

InteractiveGNNExplainer: A Visual Analytics Framework for Multi-Faceted Understanding and Probing of Graph Neural Network Predictions
par: Singh, TC, et autres
Publié: (2025)

Digital Metabolism: Decoupling Logic from Facts via Regenerative Unlearning -- Towards a Pure Neural Logic Core
par: Peng, Mengmeng, et autres
Publié: (2026)

Decoding Generalization from Memorization in Deep Neural Networks
par: Ketha, Simran, et autres
Publié: (2025)

A Generalized Singular Value Theory for Neural Networks
par: Brown, Brian Charles, et autres
Publié: (2026)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
par: Shi, Zhouxing, et autres
Publié: (2024)

PAGE: Parametric Generative Explainer for Graph Neural Network
par: Qiu, Yang, et autres
Publié: (2024)

Graphs Unveiled: Graph Neural Networks and Graph Generation
par: Kovács, László, et autres
Publié: (2024)