Structure based SAT dataset for analysing GNN generalisation
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Fu, Yi, Tompkins, Anthony, Song, Yang, Pagnucco, Maurice |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Temporal Alignment of Time Sensitive Facts with Activation Engineering
von: Govindan, Sanjay, et al.
Veröffentlicht: (2025)
von: Govindan, Sanjay, et al.
Veröffentlicht: (2025)
Fully Distributed, Flexible Compositional Visual Representations via Soft Tensor Products
von: Sun, Bethia, et al.
Veröffentlicht: (2024)
von: Sun, Bethia, et al.
Veröffentlicht: (2024)
Vision-based Multi-future Trajectory Prediction: A Survey
von: Huang, Renhao, et al.
Veröffentlicht: (2023)
von: Huang, Renhao, et al.
Veröffentlicht: (2023)
MILP-SAT-GNN: Yet Another Neural SAT Solver
von: Cardillo, Franco Alberto, et al.
Veröffentlicht: (2025)
von: Cardillo, Franco Alberto, et al.
Veröffentlicht: (2025)
A Geometric Perspective on the Difficulties of Learning GNN-based SAT Solvers
von: Skenderi, Geri
Veröffentlicht: (2025)
von: Skenderi, Geri
Veröffentlicht: (2025)
GNN for Structural Displacement Prediction
von: Chang, Hung-Fu, et al.
Veröffentlicht: (2026)
von: Chang, Hung-Fu, et al.
Veröffentlicht: (2026)
GNN-based Unified Deep Learning
von: Pala, Furkan, et al.
Veröffentlicht: (2025)
von: Pala, Furkan, et al.
Veröffentlicht: (2025)
Interpreting GNN-based IDS Detections Using Provenance Graph Structural Features
von: Mukherjee, Kunal, et al.
Veröffentlicht: (2023)
von: Mukherjee, Kunal, et al.
Veröffentlicht: (2023)
HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
von: Chen, Qiyue, et al.
Veröffentlicht: (2025)
von: Chen, Qiyue, et al.
Veröffentlicht: (2025)
ADMP-GNN: Adaptive Depth Message Passing GNN
von: Abbahaddou, Yassine, et al.
Veröffentlicht: (2025)
von: Abbahaddou, Yassine, et al.
Veröffentlicht: (2025)
GNN-based Probabilistic Supply and Inventory Predictions in Supply Chain Networks
von: Ahn, Hyung-il, et al.
Veröffentlicht: (2024)
von: Ahn, Hyung-il, et al.
Veröffentlicht: (2024)
MASP: Scalable GNN-based Planning for Multi-Agent Navigation
von: Yang, Xinyi, et al.
Veröffentlicht: (2023)
von: Yang, Xinyi, et al.
Veröffentlicht: (2023)
Principles2Plan: LLM-Guided System for Operationalising Ethical Principles into Plans
von: Zhong, Tammy, et al.
Veröffentlicht: (2025)
von: Zhong, Tammy, et al.
Veröffentlicht: (2025)
GNN-based Passenger Request Prediction
von: Makhdomi, Aqsa Ashraf, et al.
Veröffentlicht: (2023)
von: Makhdomi, Aqsa Ashraf, et al.
Veröffentlicht: (2023)
MissionGNN: Hierarchical Multimodal GNN-based Weakly Supervised Video Anomaly Recognition with Mission-Specific Knowledge Graph Generation
von: Yun, Sanggeon, et al.
Veröffentlicht: (2024)
von: Yun, Sanggeon, et al.
Veröffentlicht: (2024)
SmoothGNN: Smoothing-aware GNN for Unsupervised Node Anomaly Detection
von: Dong, Xiangyu, et al.
Veröffentlicht: (2024)
von: Dong, Xiangyu, et al.
Veröffentlicht: (2024)
$P^2$GNN: Two Prototype Sets to boost GNN Performance
von: Jain, Arihant, et al.
Veröffentlicht: (2026)
von: Jain, Arihant, et al.
Veröffentlicht: (2026)
SAT: Sequential Agent Tuning for Coordinator Free Plug and Play Multi-LLM Training with Monotonic Improvement Guarantees
von: Xie, Yi, et al.
Veröffentlicht: (2026)
von: Xie, Yi, et al.
Veröffentlicht: (2026)
SwinGNN: Rethinking Permutation Invariance in Diffusion Models for Graph Generation
von: Yan, Qi, et al.
Veröffentlicht: (2023)
von: Yan, Qi, et al.
Veröffentlicht: (2023)
Online GNN Evaluation Under Test-time Graph Distribution Shifts
von: Zheng, Xin, et al.
Veröffentlicht: (2024)
von: Zheng, Xin, et al.
Veröffentlicht: (2024)
SATURN: SAT-based Reinforcement Learning to Unleash LLMs Reasoning
von: Liu, Huanyu, et al.
Veröffentlicht: (2025)
von: Liu, Huanyu, et al.
Veröffentlicht: (2025)
AdvSynGNN: Structure-Adaptive Graph Neural Nets via Adversarial Synthesis and Self-Corrective Propagation
von: Fu, Rong, et al.
Veröffentlicht: (2026)
von: Fu, Rong, et al.
Veröffentlicht: (2026)
ES-GNN: Generalizing Graph Neural Networks Beyond Homophily with Edge Splitting
von: Guo, Jingwei, et al.
Veröffentlicht: (2022)
von: Guo, Jingwei, et al.
Veröffentlicht: (2022)
GLISP: A Scalable GNN Learning System by Exploiting Inherent Structural Properties of Graphs
von: Zhu, Zhongshu, et al.
Veröffentlicht: (2024)
von: Zhu, Zhongshu, et al.
Veröffentlicht: (2024)
Generative Discrete Event Process Simulation for Hidden Markov Models to Predict Competitor Time-to-Market
von: Santhi, Nandakishore, et al.
Veröffentlicht: (2024)
von: Santhi, Nandakishore, et al.
Veröffentlicht: (2024)
On The Expressive Power of GNN Derivatives
von: Eitan, Yam, et al.
Veröffentlicht: (2025)
von: Eitan, Yam, et al.
Veröffentlicht: (2025)
On GNN explanability with activation rules
von: Veyrin-Forrer, Luca, et al.
Veröffentlicht: (2024)
von: Veyrin-Forrer, Luca, et al.
Veröffentlicht: (2024)
MDAS-GNN: Multi-Dimensional Spatiotemporal GNN with Spatial Diffusion for Urban Traffic Risk Forecasting
von: Gao, Ziyuan
Veröffentlicht: (2025)
von: Gao, Ziyuan
Veröffentlicht: (2025)
DiskGNN: Bridging I/O Efficiency and Model Accuracy for Out-of-Core GNN Training
von: Liu, Renjie, et al.
Veröffentlicht: (2024)
von: Liu, Renjie, et al.
Veröffentlicht: (2024)
MuseGNN: Forming Scalable, Convergent GNN Layers that Minimize a Sampling-Based Energy
von: Jiang, Haitian, et al.
Veröffentlicht: (2023)
von: Jiang, Haitian, et al.
Veröffentlicht: (2023)
V-SAT: Video Subtitle Annotation Tool
von: Kundu, Arpita, et al.
Veröffentlicht: (2025)
von: Kundu, Arpita, et al.
Veröffentlicht: (2025)
Target-Aware Data Augmentation for SAT Prediction
von: Gal, Eshed, et al.
Veröffentlicht: (2026)
von: Gal, Eshed, et al.
Veröffentlicht: (2026)
Not All Neighbors Matter: Understanding the Impact of Graph Sparsification on GNN Pipelines
von: Song, Yuhang, et al.
Veröffentlicht: (2026)
von: Song, Yuhang, et al.
Veröffentlicht: (2026)
CUQ-GNN: Committee-based Graph Uncertainty Quantification using Posterior Networks
von: Damke, Clemens, et al.
Veröffentlicht: (2024)
von: Damke, Clemens, et al.
Veröffentlicht: (2024)
Efficient GNN Training Through Structure-Aware Randomized Mini-Batching
von: Balaji, Vignesh, et al.
Veröffentlicht: (2025)
von: Balaji, Vignesh, et al.
Veröffentlicht: (2025)
High-Throughput SAT Sampling
von: Ardakani, Arash, et al.
Veröffentlicht: (2025)
von: Ardakani, Arash, et al.
Veröffentlicht: (2025)
SFR-GNN: Simple and Fast Robust GNNs against Structural Attacks
von: Ai, Xing, et al.
Veröffentlicht: (2024)
von: Ai, Xing, et al.
Veröffentlicht: (2024)
How good is PAC-Bayes at explaining generalisation?
von: Picard-Weibel, Antoine, et al.
Veröffentlicht: (2025)
von: Picard-Weibel, Antoine, et al.
Veröffentlicht: (2025)
W2SAT: Learning to generate SAT instances from Weighted Literal Incidence Graphs
von: Wen, Weihuang, et al.
Veröffentlicht: (2023)
von: Wen, Weihuang, et al.
Veröffentlicht: (2023)
Enabling Structure-Only Initialization and Out-of-Distribution Generalization in GNN-based Molecular Dynamics Simulators
von: Shteingolts, S. A., et al.
Veröffentlicht: (2026)
von: Shteingolts, S. A., et al.
Veröffentlicht: (2026)
Ähnliche Einträge
-
Temporal Alignment of Time Sensitive Facts with Activation Engineering
von: Govindan, Sanjay, et al.
Veröffentlicht: (2025) -
Fully Distributed, Flexible Compositional Visual Representations via Soft Tensor Products
von: Sun, Bethia, et al.
Veröffentlicht: (2024) -
Vision-based Multi-future Trajectory Prediction: A Survey
von: Huang, Renhao, et al.
Veröffentlicht: (2023) -
MILP-SAT-GNN: Yet Another Neural SAT Solver
von: Cardillo, Franco Alberto, et al.
Veröffentlicht: (2025) -
A Geometric Perspective on the Difficulties of Learning GNN-based SAT Solvers
von: Skenderi, Geri
Veröffentlicht: (2025)