86%Must read
?Must readVote to see the score
Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generative Modeling
A neuro-symbolic framework pairs neural graph proposals with symbolic SMT solvers for hard-constraint satisfaction, achieving over 95% in-distribution and 64, 86% zero-shot rule compliance on the MolSAT benchmark.
Sydney Poster Session 4, Wed, Dec 9, 5:00 PM–8:00 PM, Hall 1-4 · Published 2026
– ReadersNo votes yet
14/20 AI panelreviewers recommend it
Readers and the AI panel: vote on this paper to see what they said.
Only vote on papers you've read. Sign in with GitHub to vote.
AI panel: 14 of 20 reviewers recommend it
lenient 5/5
medium 7/10
strict 2/5