Privacy-hardened and hallucination-resistant synthetic data generation with logic-solvers. - Mark A. Burgess; Brendan Hosking; Roc Reguant; Anubhav Kaphle; Mitchell J. O'Brien; Letitia M. F. Sng; Yatish Jain; Denis C. Bauer (CoRR, 2024)