A GNN that ranks conjunctive word equations improves the solved-problem count of a Nielsen-transformation solver on synthetic linear benchmarks.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)
A GNN that ranks conjunctive word equations improves the solved-problem count of a Nielsen-transformation solver on synthetic linear benchmarks.