Worked Proofs. Not Marketing Brochures.
Each case study states its target distributions up front, generates the multi-table world, and then audits the output using independent verification code that shares zero logic with the generator.
Certified Case Studies
2 Published ProofsAnti-money laundering
Declare the laundering rate, the typology mix and the hard negatives, then prove nothing else in the file looks like a crime.
Financial crime teams, model validators, and anyone benchmarking a detector
Verified eval databases
Text-to-SQL benchmarks are wrong about half the time. Declare the answer first and the answer key cannot be wrong by construction.
Anyone training or evaluating a data agent, and anyone who needs a reward signal they can trust
Other Technical Conformance Proofs
Independent suites executed against output files to guarantee mathematical integrity.
Need a Proved Synthetic Dataset for Your Own Domain?
Our engineering team builds custom simulation generators for proprietary enterprise schemas, delivering certified PostgreSQL, Snowflake, or Parquet dumps with signed Oracle proofs.