HONet: Data-Efficient Learning for Exact Cover Tasks via Hypergraph Optimization
Pengyang Huang, Zirui Zhuang, Haifeng Sun, Qi Qi, Jingyu Wang, Jianxin Liao
Abstract
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.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 46b715d9-8089-4fd0-9432-78d60fce4f88Builds on10
- Faith and Fate: Limits of Transformers on CompositionalityNouha Dziri, Ximing Lu, Melanie Sclar, Xiang Lorraine Li et al.NeurIPS 2023 · 728 citations
- Reasoning with Language Model is Planning with World ModelShibo Hao, Yi Gu, Haodi Ma, Joshua Jiahua Hong et al.EMNLP 2023 · 109 citations
- Decision-Focused Learning without Decision-Making: Learning Locally Optimized Decision LossesSanket Shah, Kai Wang, Bryan Wilder, Andrew Perrault et al.NeurIPS 2022 · 79 citations
- Decision-Focused Learning: Through the Lens of Learning to RankJayanta Mandi, Víctor Bucarey, Maxime Mulamba Ke Tchomba, Tias GunsICML 2022 · 73 citations
- Assessing SATNet's Ability to Solve the Symbol Grounding ProblemOscar Chang, Lampros Flokas, Hod Lipson, Michael SprangerNeurIPS 2020 · 25 citations
Related papers
- 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 citations
- Slack-Free Spiking Neural Network Formulation for Hypergraph Minimum Vertex CoverTam Nguyen, Anh-Dzung Doan, Zhipeng Cai, Tat-Jun ChinNeurIPS 2024 · 2 citations
- Are Graph Neural Networks Optimal Approximation Algorithms?Morris Yau, Nikolaos Karalias, Eric Lu, Jessica Xu et al.NeurIPS 2024 · 23 citations
- Learning Symmetric Rules with SATNetSangho Lim, Eun-Gyeol Oh, Hongseok YangNeurIPS 2022 · 5 citations
