Genomator: creating synthetic data based on logic-solving

We’ve developed an SAT-solver based algorithm to generate synthetic data that is hallucination-resistant and provable private.