Generative AI helps tackle SAT solver data scarcity by producing hard UNSAT problems for more realistic training datasets. Useful for prompt engineering workflows that need richer logical reasoning examples.

#AI #SAT #DeepLearning #DataAugmentation
https://arxiv.org/abs/2409.18778