← Back to article | Privacy-hardened and hallucination-resistant synthetic data generation with logic-solvers