Target-Aware Data Augmentation for SAT Prediction
arXiv:2605.06931v1 Announce Type: new
Abstract: Learning-based approaches to NP-hard problems have shown increasing promise, but their progress is fundamentally constrained by the high cost of generating labeled training data. In domains such as Boole…