Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generative Modeling
Published in NeurIPS, 2026
Recommended citation: Geng, C., Zhang, L., Zhang, M., Wang, Z., Ye, H., & Si, X. Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generative Modeling. In Advances in Neural Information Processing Systems (NeurIPS), 2026. (accepted) https://arxiv.org/pdf/2602.16954
A framework combining neural proposals with SMT-based graph assembly for graph generative modeling, with symbolic guarantees on the generated structures.