{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:JEFXH22GLGY7VNXNKLWGFH2T6V","short_pith_number":"pith:JEFXH22G","canonical_record":{"source":{"id":"1410.0532","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2014-10-02T12:52:36Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"ef59139b0d734c5170ce2a2176f7ccd1a3bf400c75081a5c8c2932b069c72c8a","abstract_canon_sha256":"c05e30de13d538d5bc96bd9cac5653126b6801abcf820f168b0ce8e786f223ae"},"schema_version":"1.0"},"canonical_sha256":"490b73eb4659b1fab6ed52ec629f53f571a9a31caead9c0e23b066c3b04e0793","source":{"kind":"arxiv","id":"1410.0532","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.0532","created_at":"2026-05-18T00:48:10Z"},{"alias_kind":"arxiv_version","alias_value":"1410.0532v3","created_at":"2026-05-18T00:48:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.0532","created_at":"2026-05-18T00:48:10Z"},{"alias_kind":"pith_short_12","alias_value":"JEFXH22GLGY7","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"JEFXH22GLGY7VNXN","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"JEFXH22G","created_at":"2026-05-18T12:28:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:JEFXH22GLGY7VNXNKLWGFH2T6V","target":"record","payload":{"canonical_record":{"source":{"id":"1410.0532","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2014-10-02T12:52:36Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"ef59139b0d734c5170ce2a2176f7ccd1a3bf400c75081a5c8c2932b069c72c8a","abstract_canon_sha256":"c05e30de13d538d5bc96bd9cac5653126b6801abcf820f168b0ce8e786f223ae"},"schema_version":"1.0"},"canonical_sha256":"490b73eb4659b1fab6ed52ec629f53f571a9a31caead9c0e23b066c3b04e0793","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:48:10.177507Z","signature_b64":"pKzRgfRf4avnj4eG9nCPMpsd7+6dHe1e6rE9ecW4uNaHtxNwm6iltbOMY00zs1VBiEkVNA/Nd8Mh4i4z87tGCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"490b73eb4659b1fab6ed52ec629f53f571a9a31caead9c0e23b066c3b04e0793","last_reissued_at":"2026-05-18T00:48:10.176987Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:48:10.176987Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.0532","source_version":3,"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-05-18T00:48:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j6NL0OtoeL3mISPpcvDGpQ42uWsqfHbycl+eHCqsjr0eC8VvZDmp5HE9ZCA3gY1XY71T9oYH6slAhuRfwTkzAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T10:00:27.132493Z"},"content_sha256":"c2a2bb4ecfc8f777c86e711bc05def359e46b7f02b4aebe4f73578d769ec8f55","schema_version":"1.0","event_id":"sha256:c2a2bb4ecfc8f777c86e711bc05def359e46b7f02b4aebe4f73578d769ec8f55"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:JEFXH22GLGY7VNXNKLWGFH2T6V","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated conjecturing of Frobenius numbers via grammatical evolution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.NT","authors_text":"Nikola Ad\\v{z}aga","submitted_at":"2014-10-02T12:52:36Z","abstract_excerpt":"Conjecturing formulas and other symbolic relations occurs frequently in number theory and combinatorics. If we could automate conjecturing, we could benefit not only from speeding up, but also from finding conjectures previously out of our grasp. Grammatical evolution, a genetic programming technique, can be used for automated conjecturing in mathematics. Concretely, this work describes how one can interpret the Frobenius problem as a symbolic regression problem, and then apply grammatical evolution to it. In this manner, a few formulas for Frobenius numbers of specific quadruples were found a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.0532","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T00:48:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2Y5/2OjorVWddK22S/qcOKBezgQLCjzaYHra58brKF11wO8zpzXTc15GElyQLm6Ff1nE3cmWvzWpxD5U4LkNBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T10:00:27.132843Z"},"content_sha256":"fc7925fa0056582ddb1f34e5f27f1e3b04e16f176a398e58d3caa99ab5c183bb","schema_version":"1.0","event_id":"sha256:fc7925fa0056582ddb1f34e5f27f1e3b04e16f176a398e58d3caa99ab5c183bb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JEFXH22GLGY7VNXNKLWGFH2T6V/bundle.json","state_url":"https://pith.science/pith/JEFXH22GLGY7VNXNKLWGFH2T6V/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JEFXH22GLGY7VNXNKLWGFH2T6V/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-06-22T10:00:27Z","links":{"resolver":"https://pith.science/pith/JEFXH22GLGY7VNXNKLWGFH2T6V","bundle":"https://pith.science/pith/JEFXH22GLGY7VNXNKLWGFH2T6V/bundle.json","state":"https://pith.science/pith/JEFXH22GLGY7VNXNKLWGFH2T6V/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JEFXH22GLGY7VNXNKLWGFH2T6V/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:JEFXH22GLGY7VNXNKLWGFH2T6V","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":"c05e30de13d538d5bc96bd9cac5653126b6801abcf820f168b0ce8e786f223ae","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2014-10-02T12:52:36Z","title_canon_sha256":"ef59139b0d734c5170ce2a2176f7ccd1a3bf400c75081a5c8c2932b069c72c8a"},"schema_version":"1.0","source":{"id":"1410.0532","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.0532","created_at":"2026-05-18T00:48:10Z"},{"alias_kind":"arxiv_version","alias_value":"1410.0532v3","created_at":"2026-05-18T00:48:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.0532","created_at":"2026-05-18T00:48:10Z"},{"alias_kind":"pith_short_12","alias_value":"JEFXH22GLGY7","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"JEFXH22GLGY7VNXN","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"JEFXH22G","created_at":"2026-05-18T12:28:33Z"}],"graph_snapshots":[{"event_id":"sha256:fc7925fa0056582ddb1f34e5f27f1e3b04e16f176a398e58d3caa99ab5c183bb","target":"graph","created_at":"2026-05-18T00:48:10Z","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"},"paper":{"abstract_excerpt":"Conjecturing formulas and other symbolic relations occurs frequently in number theory and combinatorics. If we could automate conjecturing, we could benefit not only from speeding up, but also from finding conjectures previously out of our grasp. Grammatical evolution, a genetic programming technique, can be used for automated conjecturing in mathematics. Concretely, this work describes how one can interpret the Frobenius problem as a symbolic regression problem, and then apply grammatical evolution to it. In this manner, a few formulas for Frobenius numbers of specific quadruples were found a","authors_text":"Nikola Ad\\v{z}aga","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2014-10-02T12:52:36Z","title":"Automated conjecturing of Frobenius numbers via grammatical evolution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.0532","kind":"arxiv","version":3},"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:c2a2bb4ecfc8f777c86e711bc05def359e46b7f02b4aebe4f73578d769ec8f55","target":"record","created_at":"2026-05-18T00:48:10Z","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":"c05e30de13d538d5bc96bd9cac5653126b6801abcf820f168b0ce8e786f223ae","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2014-10-02T12:52:36Z","title_canon_sha256":"ef59139b0d734c5170ce2a2176f7ccd1a3bf400c75081a5c8c2932b069c72c8a"},"schema_version":"1.0","source":{"id":"1410.0532","kind":"arxiv","version":3}},"canonical_sha256":"490b73eb4659b1fab6ed52ec629f53f571a9a31caead9c0e23b066c3b04e0793","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"490b73eb4659b1fab6ed52ec629f53f571a9a31caead9c0e23b066c3b04e0793","first_computed_at":"2026-05-18T00:48:10.176987Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:48:10.176987Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pKzRgfRf4avnj4eG9nCPMpsd7+6dHe1e6rE9ecW4uNaHtxNwm6iltbOMY00zs1VBiEkVNA/Nd8Mh4i4z87tGCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:48:10.177507Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.0532","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c2a2bb4ecfc8f777c86e711bc05def359e46b7f02b4aebe4f73578d769ec8f55","sha256:fc7925fa0056582ddb1f34e5f27f1e3b04e16f176a398e58d3caa99ab5c183bb"],"state_sha256":"fe2db2c1036122bfc0f4b9da77d6f6d838fd9a0fc0228e270b9b2da2df640aa0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8s7kqhk/JkwIVIe214ycrbfgzXsPKJvE00fF/3Uk/hX0p+7Oh/kiy4WIo8wWz9wcJvvf6+7s4TfYo7zIcsQeCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T10:00:27.134933Z","bundle_sha256":"b94045cc70993372e064842bcb6d4bfa741ff5b27b982447980d62ccb57700c5"}}