AI RESEARCH
Target-Aware Data Augmentation for SAT Prediction
arXiv CS.LG
•
ArXi:2605.06931v1 Announce Type: new Learning-based approaches to NP-hard problems have shown increasing promise, but their progress is fundamentally constrained by the high cost of generating labeled