{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:LHK67XGOUVVYDHS7JRQW7ZLPMC","short_pith_number":"pith:LHK67XGO","canonical_record":{"source":{"id":"2505.23881","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-29T17:45:50Z","cross_cats_sorted":["cs.CL","math.CO"],"title_canon_sha256":"8f3fec810fd83f7c198dd896eb4b446bdc6441a93f7fcfdb8bcc9b14552e6dfd","abstract_canon_sha256":"cfa645dbeb24c1ee01a329ceb9ce315c92121b08abbbf8cb3ac30c72634f4e3a"},"schema_version":"1.0"},"canonical_sha256":"59d5efdccea56b819e5f4c616fe56f60a21a41bb5cb78b57c95ed0b4e9ee340f","source":{"kind":"arxiv","id":"2505.23881","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.23881","created_at":"2026-07-05T11:12:37Z"},{"alias_kind":"arxiv_version","alias_value":"2505.23881v1","created_at":"2026-07-05T11:12:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.23881","created_at":"2026-07-05T11:12:37Z"},{"alias_kind":"pith_short_12","alias_value":"LHK67XGOUVVY","created_at":"2026-07-05T11:12:37Z"},{"alias_kind":"pith_short_16","alias_value":"LHK67XGOUVVYDHS7","created_at":"2026-07-05T11:12:37Z"},{"alias_kind":"pith_short_8","alias_value":"LHK67XGO","created_at":"2026-07-05T11:12:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:LHK67XGOUVVYDHS7JRQW7ZLPMC","target":"record","payload":{"canonical_record":{"source":{"id":"2505.23881","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-29T17:45:50Z","cross_cats_sorted":["cs.CL","math.CO"],"title_canon_sha256":"8f3fec810fd83f7c198dd896eb4b446bdc6441a93f7fcfdb8bcc9b14552e6dfd","abstract_canon_sha256":"cfa645dbeb24c1ee01a329ceb9ce315c92121b08abbbf8cb3ac30c72634f4e3a"},"schema_version":"1.0"},"canonical_sha256":"59d5efdccea56b819e5f4c616fe56f60a21a41bb5cb78b57c95ed0b4e9ee340f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:12:37.239042Z","signature_b64":"opblsKCJX5Bl08m5ui3jL+hCvtdnd8dwSuoRX63gU5cwymCeIQhoiTIxmbXdghNPADNSpFGQd5W35D5sHxaiDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"59d5efdccea56b819e5f4c616fe56f60a21a41bb5cb78b57c95ed0b4e9ee340f","last_reissued_at":"2026-07-05T11:12:37.238531Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:12:37.238531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.23881","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:12:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xS2RhR+OOzVnmLqmEstwI6Qa9m9jbg5BJz447mScaJvEnwBY24h8GlIlXmQSrSZPT7+Fs1043oAcs9zu/3feCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T16:24:27.044085Z"},"content_sha256":"55a768db37b09ad63040897ad5d3866f1cbd355c5e60038020bb31193385149c","schema_version":"1.0","event_id":"sha256:55a768db37b09ad63040897ad5d3866f1cbd355c5e60038020bb31193385149c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:LHK67XGOUVVYDHS7JRQW7ZLPMC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL","math.CO"],"primary_cat":"cs.AI","authors_text":"Christopher D. Rosin","submitted_at":"2025-05-29T17:45:50Z","abstract_excerpt":"Large Language Models (LLMs) with reasoning are trained to iteratively generate and refine their answers before finalizing them, which can help with applications to mathematics and code generation. We apply code generation with reasoning LLMs to a specific task in the mathematical field of combinatorial design. This field studies diverse types of combinatorial designs, many of which have lists of open instances for which existence has not yet been determined. The Constructive Protocol CPro1 uses LLMs to generate search heuristics that have the potential to construct solutions to small open ins"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.23881","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2505.23881/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:12:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hgvjRx4jRmCvy/ct7WscpfNn9oIipnEZ4waLudMwOgjq5HQXIP64b9IHjfKxQaJktxf04XIUuywiOXFmvZaZCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T16:24:27.045014Z"},"content_sha256":"365c65a883ff27fccec61c5a7621e89b386dca7ba9accbb0b201fe30a218a4a3","schema_version":"1.0","event_id":"sha256:365c65a883ff27fccec61c5a7621e89b386dca7ba9accbb0b201fe30a218a4a3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LHK67XGOUVVYDHS7JRQW7ZLPMC/bundle.json","state_url":"https://pith.science/pith/LHK67XGOUVVYDHS7JRQW7ZLPMC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LHK67XGOUVVYDHS7JRQW7ZLPMC/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-08T16:24:27Z","links":{"resolver":"https://pith.science/pith/LHK67XGOUVVYDHS7JRQW7ZLPMC","bundle":"https://pith.science/pith/LHK67XGOUVVYDHS7JRQW7ZLPMC/bundle.json","state":"https://pith.science/pith/LHK67XGOUVVYDHS7JRQW7ZLPMC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LHK67XGOUVVYDHS7JRQW7ZLPMC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:LHK67XGOUVVYDHS7JRQW7ZLPMC","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":"cfa645dbeb24c1ee01a329ceb9ce315c92121b08abbbf8cb3ac30c72634f4e3a","cross_cats_sorted":["cs.CL","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-29T17:45:50Z","title_canon_sha256":"8f3fec810fd83f7c198dd896eb4b446bdc6441a93f7fcfdb8bcc9b14552e6dfd"},"schema_version":"1.0","source":{"id":"2505.23881","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.23881","created_at":"2026-07-05T11:12:37Z"},{"alias_kind":"arxiv_version","alias_value":"2505.23881v1","created_at":"2026-07-05T11:12:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.23881","created_at":"2026-07-05T11:12:37Z"},{"alias_kind":"pith_short_12","alias_value":"LHK67XGOUVVY","created_at":"2026-07-05T11:12:37Z"},{"alias_kind":"pith_short_16","alias_value":"LHK67XGOUVVYDHS7","created_at":"2026-07-05T11:12:37Z"},{"alias_kind":"pith_short_8","alias_value":"LHK67XGO","created_at":"2026-07-05T11:12:37Z"}],"graph_snapshots":[{"event_id":"sha256:365c65a883ff27fccec61c5a7621e89b386dca7ba9accbb0b201fe30a218a4a3","target":"graph","created_at":"2026-07-05T11:12:37Z","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/2505.23881/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) with reasoning are trained to iteratively generate and refine their answers before finalizing them, which can help with applications to mathematics and code generation. We apply code generation with reasoning LLMs to a specific task in the mathematical field of combinatorial design. This field studies diverse types of combinatorial designs, many of which have lists of open instances for which existence has not yet been determined. The Constructive Protocol CPro1 uses LLMs to generate search heuristics that have the potential to construct solutions to small open ins","authors_text":"Christopher D. Rosin","cross_cats":["cs.CL","math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-29T17:45:50Z","title":"Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.23881","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:55a768db37b09ad63040897ad5d3866f1cbd355c5e60038020bb31193385149c","target":"record","created_at":"2026-07-05T11:12:37Z","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":"cfa645dbeb24c1ee01a329ceb9ce315c92121b08abbbf8cb3ac30c72634f4e3a","cross_cats_sorted":["cs.CL","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-29T17:45:50Z","title_canon_sha256":"8f3fec810fd83f7c198dd896eb4b446bdc6441a93f7fcfdb8bcc9b14552e6dfd"},"schema_version":"1.0","source":{"id":"2505.23881","kind":"arxiv","version":1}},"canonical_sha256":"59d5efdccea56b819e5f4c616fe56f60a21a41bb5cb78b57c95ed0b4e9ee340f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"59d5efdccea56b819e5f4c616fe56f60a21a41bb5cb78b57c95ed0b4e9ee340f","first_computed_at":"2026-07-05T11:12:37.238531Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:12:37.238531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"opblsKCJX5Bl08m5ui3jL+hCvtdnd8dwSuoRX63gU5cwymCeIQhoiTIxmbXdghNPADNSpFGQd5W35D5sHxaiDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:12:37.239042Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.23881","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:55a768db37b09ad63040897ad5d3866f1cbd355c5e60038020bb31193385149c","sha256:365c65a883ff27fccec61c5a7621e89b386dca7ba9accbb0b201fe30a218a4a3"],"state_sha256":"98336dc64106a2cd5932e21e047b6aed12a7085af1390140d2c16f1ea4a47c43"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rui74d2r99X54/JzYIJVpZaffX59sEPXVlERt7xMumscauPu4KB+HA7Bf/cfTaBFn8MbvWVAmSGoSCsRWdmABA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T16:24:27.048888Z","bundle_sha256":"0c98295e44f4224e016bd35aff06b7bc97445dc58afb3c77e500f6f5d521404a"}}