These are examples of the random diagrams that we start off with for our synthetic data generation. We use 100K CPU workers to generate one billion random diagrams, then run symbolic deduction and traceback for 3-4 days. After deduplication and filtering by "interestingness", we

→ View original post on X — @lmthang,