Image de couverture de livre

Unsat Core Prediction through Polarity-Aware Representation Learning over Clause-Literal Hypergraphs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sun, Zhenchao, Ma, Shuai, Lu, Ping, Tao, Chongyang
Format:	Preprint
Publié:	2026
Sujets:	Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Dynamic Stratified Contrastive Learning with Upstream Augmentation for MILP Branching
par: Lu, Tongkai, et autres
Publié: (2025)

Empowering Targeted Neighborhood Search via Hyper Tour for Large-Scale TSP
par: Lu, Tongkai, et autres
Publié: (2025)

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression
par: Li, Jingyang, et autres
Publié: (2025)

SetAD: Semi-Supervised Anomaly Learning in Contextual Sets
par: Gao, Jianling, et autres
Publié: (2025)

Inference over Unseen Entities, Relations and Literals on Knowledge Graphs
par: Demir, Caglar, et autres
Publié: (2024)

BHyGNN+: Unsupervised Representation Learning for Heterophilic Hypergraphs
par: Ma, Tianyi, et autres
Publié: (2026)

Federated Hypergraph Learning with Local Differential Privacy: Toward Privacy-Aware Hypergraph Structure Completion
par: Luo, Linfeng, et autres
Publié: (2024)

On Token's Dilemma: Dynamic MoE with Drift-Aware Token Assignment for Continual Learning of Large Vision Language Models
par: Zhao, Chongyang, et autres
Publié: (2026)

HypeBoy: Generative Self-Supervised Representation Learning on Hypergraphs
par: Kim, Sunwoo, et autres
Publié: (2024)

Expressive Higher-Order Link Prediction through Hypergraph Symmetry Breaking
par: Zhang, Simon, et autres
Publié: (2024)

Numerical Literals in Link Prediction: A Critical Examination of Models and Datasets
par: Blum, Moritz, et autres
Publié: (2024)

The Sparse Tsetlin Machine: Sparse Representation with Active Literals
par: Østby, Sebastian, et autres
Publié: (2024)

A Dynamic Bayesian and Machine Learning Framework for Quantitative Evaluation and Prediction of Operator Situation Awareness in Nuclear Power Plants
par: Chen, Shuai, et autres
Publié: (2026)

D$^2$Evo: Dual Difficulty-Aware Self-Evolution for Data-Efficient Reinforcement Learning
par: Zhang, Ru, et autres
Publié: (2026)

Hyperbolic Hypergraph Neural Networks for Multi-Relational Knowledge Hypergraph Representation
par: Li, Mengfan, et autres
Publié: (2024)

From Representation to Clusters: A Contrastive Learning Approach for Attributed Hypergraph Clustering
par: Ni, Li, et autres
Publié: (2026)

Learning Mamba as a Continual Learner: Meta-learning Selective State Space Models for Efficient Continual Learning
par: Zhao, Chongyang, et autres
Publié: (2024)

SMA-Hyper: Spatiotemporal Multi-View Fusion Hypergraph Learning for Traffic Accident Prediction
par: Gao, Xiaowei, et autres
Publié: (2024)

HyperKAN: Hypergraph Representation Learning with Kolmogorov-Arnold Networks
par: Fang, Xiangfei, et autres
Publié: (2025)

HYVINT: Intensity-Driven Hypergraph Generation with Variational Representations
par: Hong, Xinyi, et autres
Publié: (2026)

Modeling Edge-Specific Node Features through Co-Representation Neural Hypergraph Diffusion
par: Zheng, Yijia, et autres
Publié: (2024)

CopyBench: Measuring Literal and Non-Literal Reproduction of Copyright-Protected Text in Language Model Generation
par: Chen, Tong, et autres
Publié: (2024)

Learning from Heterogeneity: A Dynamic Learning Framework for Hypergraphs
par: Zhang, Tiehua, et autres
Publié: (2023)

Link Prediction with Relational Hypergraphs
par: Huang, Xingyue, et autres
Publié: (2024)

Directional Sheaf Hypergraph Networks: Unifying Learning on Directed and Undirected Hypergraphs
par: Mule, Emanuele, et autres
Publié: (2025)

Dynamic Graph Representation Learning for Passenger Behavior Prediction
par: Xie, Mingxuan, et autres
Publié: (2024)

Hypergraph-MLP: Learning on Hypergraphs without Message Passing
par: Tang, Bohan, et autres
Publié: (2023)

Stochastic Forward-Forward Learning through Representational Dimensionality Compression
par: Zhu, Zhichao, et autres
Publié: (2025)

Hyperedge Representations with Hypergraph Wavelets: Applications to Spatial Transcriptomics
par: Sun, Xingzhi, et autres
Publié: (2024)

FastOmniTMAE: Parallel Clause Learning for Scalable and Hardware-Efficient Tsetlin Embeddings
par: Kadhim, Ahmed K., et autres
Publié: (2026)

SPHINX: Structural Prediction using Hypergraph Inference Network
par: Duta, Iulia, et autres
Publié: (2024)

PICID: Proof-Driven Clause Learning in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)

Dynamic Topic Modeling with a Higher-Order Hypergraphical Representation
par: Gao, Hanjia, et autres
Publié: (2026)

From Basic to Extra Features: Hypergraph Transformer Pretrain-then-Finetuning for Balanced Clinical Predictions on EHR
par: Xu, Ran, et autres
Publié: (2024)

MARIOH: Multiplicity-Aware Hypergraph Reconstruction
par: Lee, Kyuhan, et autres
Publié: (2025)

Federated Learning over a Wireless Network: Distributed User Selection through Random Access
par: Sun, Chen, et autres
Publié: (2023)

HyperBERT: Mixing Hypergraph-Aware Layers with Language Models for Node Classification on Text-Attributed Hypergraphs
par: Bazaga, Adrián, et autres
Publié: (2024)

Hypergraph Contrastive Learning for both Homophilic and Heterophilic Hypergraphs
par: Guan, Renchu, et autres
Publié: (2025)

Learning ECG Image Representations via Dual Physiological-Aware Alignments
par: Pham, Hung Manh, et autres
Publié: (2026)

Topology-guided Hypergraph Transformer Network: Unveiling Structural Insights for Improved Representation
par: Saifuddin, Khaled Mohammed, et autres
Publié: (2023)