HONet: Data-Efficient Learning for Exact Cover Tasks via Hypergraph Optimization
Pengyang Huang, Zirui Zhuang, Haifeng Sun, Qi Qi, Jingyu Wang, Jianxin Liao
摘要
Deep learning approaches typically require prohibitive amounts of data to approximate known-constraint Exact Cover tasks, while existing neuro-symbolic methods often face training infeasibility and scalability bottlenecks. To bridge this divide, we propose the Hypergraph Optimization Network (HONet), an end-to-end framework integrating a structure-preserving Deep Residual Hypergraph Encoder with a differentiable fixed-constraint Quadratic Programming layer. By adopting a ``Fixed Polytope'' paradigm guided by the Geometric Consistency Loss, HONet explicitly shapes the objective landscape, encouraging the valid discrete solution to align with the global energy minimum. Empirical results show that HONet rapidly achieves 100% accuracy on Sudoku using limited samples, exhibiting superior data efficiency over baselines while maintaining exceptional robustness in highly sparse regimes and additional tasks.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
它引用的顶会 Paper10
- Faith and Fate: Limits of Transformers on CompositionalityNouha Dziri, Ximing Lu, Melanie Sclar, Xiang Lorraine Li 等NeurIPS 2023 · 被引用 728 次
- Reasoning with Language Model is Planning with World ModelShibo Hao, Yi Gu, Haodi Ma, Joshua Jiahua Hong 等EMNLP 2023 · 被引用 109 次
- Decision-Focused Learning without Decision-Making: Learning Locally Optimized Decision LossesSanket Shah, Kai Wang, Bryan Wilder, Andrew Perrault 等NeurIPS 2022 · 被引用 79 次
- Decision-Focused Learning: Through the Lens of Learning to RankJayanta Mandi, Víctor Bucarey, Maxime Mulamba Ke Tchomba, Tias GunsICML 2022 · 被引用 73 次
- Assessing SATNet's Ability to Solve the Symbol Grounding ProblemOscar Chang, Lampros Flokas, Hod Lipson, Michael SprangerNeurIPS 2020 · 被引用 25 次
相关 Paper
- DisjunctiveNet: Neural Symbolic Learning via Differentiable Convexified Optimization LayersShraman Pal, Can LiICML 2026
- Teaching Transformers to Solve Combinatorial Problems through Efficient Trial & ErrorPanagiotis Giannoulis, Yorgos Pantis, Christos TzamosNeurIPS 2025 · 被引用 3 次
- Slack-Free Spiking Neural Network Formulation for Hypergraph Minimum Vertex CoverTam Nguyen, Anh-Dzung Doan, Zhipeng Cai, Tat-Jun ChinNeurIPS 2024 · 被引用 2 次
- Are Graph Neural Networks Optimal Approximation Algorithms?Morris Yau, Nikolaos Karalias, Eric Lu, Jessica Xu 等NeurIPS 2024 · 被引用 23 次
- Learning Symmetric Rules with SATNetSangho Lim, Eun-Gyeol Oh, Hongseok YangNeurIPS 2022 · 被引用 5 次
