Copertina

On the Expressive Power of GNNs for Boolean Satisfiability

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Peltonen, Saku, Wattenhofer, Roger
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Machine Learning Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Benchmarking Positional Encodings for GNNs and Graph Transformers
di: Grötschla, Florian, et al.
Pubblicazione: (2024)

From Message-Passing to Linearized Graph Sequence Models
di: Mathys, Joël, et al.
Pubblicazione: (2026)

Boolean Satisfiability via Imitation Learning
di: Zhang, Zewei, et al.
Pubblicazione: (2025)

GraphARC: A Comprehensive Benchmark for Graph-Based Abstract Reasoning
di: Peltonen, Saku, et al.
Pubblicazione: (2026)

Towards Understanding the Expressive Power of GNNs with Global Readout
di: Funk, Maurice, et al.
Pubblicazione: (2026)

Message Passing on the Edge: Towards Scalable and Expressive GNNs
di: Barceló, Pablo, et al.
Pubblicazione: (2025)

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
di: Hůla, Jan, et al.
Pubblicazione: (2024)

Connectivity-Guided Sparsification of 2-FWL GNNs: Preserving Full Expressivity with Improved Efficiency
di: Chen, Rongqin, et al.
Pubblicazione: (2025)

Next Level Message-Passing with Hierarchical Support Graphs
di: Vonessen, Carlos, et al.
Pubblicazione: (2024)

Provably Powerful Graph Neural Networks for Directed Multigraphs
di: Egressy, Béni, et al.
Pubblicazione: (2023)

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

On the Expressive Power of Graph Neural Networks
di: Nalwade, Ashwin, et al.
Pubblicazione: (2024)

On the Expressive Power of Sparse Geometric MPNNs
di: Sverdlov, Yonatan, et al.
Pubblicazione: (2024)

N-vium: Mixture-of-Exits Transformer for Accelerated Exact Generation
di: Lorenc, Aleksander, et al.
Pubblicazione: (2026)

On the Expressive Power of Tree-Structured Probabilistic Circuits
di: Yin, Lang, et al.
Pubblicazione: (2024)

Parametric Neural Amp Modeling with Active Learning
di: Grötschla, Florian, et al.
Pubblicazione: (2025)

PUZZLES: A Benchmark for Neural Algorithmic Reasoning
di: Estermann, Benjamin, et al.
Pubblicazione: (2024)

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

Position Paper: Rethinking Privacy in RL for Sequential Decision-making in the Age of LLMs
di: Fan, Flint Xiaofeng, et al.
Pubblicazione: (2025)

Scalable Evaluation and Neural Models for Compositional Generalization
di: Camposampiero, Giacomo, et al.
Pubblicazione: (2025)

I-RAVEN-X: Benchmarking Generalization and Robustness of Analogical and Mathematical Reasoning in Large Language and Reasoning Models
di: Camposampiero, Giacomo, et al.
Pubblicazione: (2025)

Can Large Reasoning Models do Analogical Reasoning under Perceptual Uncertainty?
di: Camposampiero, Giacomo, et al.
Pubblicazione: (2025)

The Expressive Power of Low-Rank Adaptation
di: Zeng, Yuchen, et al.
Pubblicazione: (2023)

SafePowerGraph-HIL: Real-Time HIL Validation of Heterogeneous GNNs for Bridging Sim-to-Real Gap in Power Grids
di: Ma, Aoxiang, et al.
Pubblicazione: (2025)

On the Expressive Power of Transformers for Maxout Networks and Continuous Piecewise Linear Functions
di: Gu, Linyan, et al.
Pubblicazione: (2026)

FLIP Reasoning Challenge
di: Plesner, Andreas, et al.
Pubblicazione: (2025)

Beyond Interpolation: Extrapolative Reasoning with Reinforcement Learning and Graph Neural Networks
di: Grillo, Niccolò, et al.
Pubblicazione: (2025)

EEG-Bench: A Benchmark for EEG Foundation Models in Clinical Applications
di: Kastrati, Ard, et al.
Pubblicazione: (2025)

On the Expressive Power and Limitations of Multi-Layer SSMs
di: Zubić, Nikola, et al.
Pubblicazione: (2026)

Expressive Power of ReLU and Step Networks under Floating-Point Operations
di: Park, Yeachan, et al.
Pubblicazione: (2024)

Unsupervised Optimisation of GNNs for Node Clustering
di: Leeney, William, et al.
Pubblicazione: (2024)

Acceleration Algorithms in GNNs: A Survey
di: Ma, Lu, et al.
Pubblicazione: (2024)

WorldSpeech: A Multilingual Speech Corpus from Around the World
di: Asonitis, Antonis, et al.
Pubblicazione: (2026)

The AI Definition and a Program Which Satisfies this Definition
di: Dobrev, Dimiter
Pubblicazione: (2022)

k-Maximum Inner Product Attention for Graph Transformers and the Expressive Power of GraphGPS
di: De Schouwer, Jonas, et al.
Pubblicazione: (2026)

Practical Boolean Backpropagation
di: Golbert, Simon
Pubblicazione: (2025)

Binarizing Physics-Inspired GNNs for Combinatorial Optimization
di: Krutský, Martin, et al.
Pubblicazione: (2025)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
di: Hersche, Michael, et al.
Pubblicazione: (2024)

Graph Dimension Attention Networks for Enterprise Credit Assessment
di: Wei, Shaopeng, et al.
Pubblicazione: (2024)

Learning Compact Boolean Networks
di: Wang, Shengpu, et al.
Pubblicazione: (2026)