{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:BLKKEL6UQNV5AYCJQM5CWNZPJX","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f4c5e18d4e288cb597579a95d48ad69b96522a146612d24caa8a2eb102799f87","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2024-11-01T13:23:58Z","title_canon_sha256":"09a939aa8ab50a06a023ae384bb56116179f12e264bf353c18fdb1cdaad5c4c7"},"schema_version":"1.0","source":{"id":"2411.00566","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.00566","created_at":"2026-07-05T09:29:44Z"},{"alias_kind":"arxiv_version","alias_value":"2411.00566v1","created_at":"2026-07-05T09:29:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.00566","created_at":"2026-07-05T09:29:44Z"},{"alias_kind":"pith_short_12","alias_value":"BLKKEL6UQNV5","created_at":"2026-07-05T09:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"BLKKEL6UQNV5AYCJ","created_at":"2026-07-05T09:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"BLKKEL6U","created_at":"2026-07-05T09:29:44Z"}],"graph_snapshots":[{"event_id":"sha256:2d6c71e6aded721543ebcd2851785fc4b5036244f0927483b2b28021156e0138","target":"graph","created_at":"2026-07-05T09:29:44Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2411.00566/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce PatternBoost, a flexible method for finding interesting constructions in mathematics. Our algorithm alternates between two phases. In the first ``local'' phase, a classical search algorithm is used to produce many desirable constructions. In the second ``global'' phase, a transformer neural network is trained on the best such constructions. Samples from the trained transformer are then used as seeds for the first phase, and the process is repeated. We give a detailed introduction to this technique, and discuss the results of its application to several problems in extremal combinat","authors_text":"Adam Zsolt Wagner, Fran\\c{c}ois Charton, Geordie Williamson, Jordan S. Ellenberg","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2024-11-01T13:23:58Z","title":"PatternBoost: Constructions in Mathematics with a Little Help from AI"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.00566","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:09aa4606db29f5035a505fb904e8beb095e800d28013d87b9525fbce3793a99c","target":"record","created_at":"2026-07-05T09:29:44Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"f4c5e18d4e288cb597579a95d48ad69b96522a146612d24caa8a2eb102799f87","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2024-11-01T13:23:58Z","title_canon_sha256":"09a939aa8ab50a06a023ae384bb56116179f12e264bf353c18fdb1cdaad5c4c7"},"schema_version":"1.0","source":{"id":"2411.00566","kind":"arxiv","version":1}},"canonical_sha256":"0ad4a22fd4836bd06049833a2b372f4dc52c75154a2593294b1cbbd1f8b38812","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0ad4a22fd4836bd06049833a2b372f4dc52c75154a2593294b1cbbd1f8b38812","first_computed_at":"2026-07-05T09:29:44.692738Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:29:44.692738Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"S8spnMLMycenyvudHP0SLTCid7+pmIdh9deDE6i+beRi7OSRsB8rilAN7o/o0NFZXC2ORtD+5P/Od05XzvHzBg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:29:44.693369Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.00566","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:09aa4606db29f5035a505fb904e8beb095e800d28013d87b9525fbce3793a99c","sha256:2d6c71e6aded721543ebcd2851785fc4b5036244f0927483b2b28021156e0138"],"state_sha256":"3baf065c74014d151fafbe22e09bf6b0d4ed69b6df293963ed6bf28b2a7c2e7a"}