{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:23DCDL7JW7L6RRI5EQ4PQW4V63","short_pith_number":"pith:23DCDL7J","canonical_record":{"source":{"id":"2305.05811","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2023-05-09T23:51:14Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"3f75e9717906a535d7c65fd1284d8d09874773e702e511f610839dafa32600b3","abstract_canon_sha256":"7dbc7a2899f781acab770a3a3d8a0600a5ad07d54cc2c2389c4db0111287137d"},"schema_version":"1.0"},"canonical_sha256":"d6c621afe9b7d7e8c51d2438f85b95f6d4a24c84d492931cc5fc4ce04feadcf0","source":{"kind":"arxiv","id":"2305.05811","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.05811","created_at":"2026-07-05T06:08:45Z"},{"alias_kind":"arxiv_version","alias_value":"2305.05811v1","created_at":"2026-07-05T06:08:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.05811","created_at":"2026-07-05T06:08:45Z"},{"alias_kind":"pith_short_12","alias_value":"23DCDL7JW7L6","created_at":"2026-07-05T06:08:45Z"},{"alias_kind":"pith_short_16","alias_value":"23DCDL7JW7L6RRI5","created_at":"2026-07-05T06:08:45Z"},{"alias_kind":"pith_short_8","alias_value":"23DCDL7J","created_at":"2026-07-05T06:08:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:23DCDL7JW7L6RRI5EQ4PQW4V63","target":"record","payload":{"canonical_record":{"source":{"id":"2305.05811","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2023-05-09T23:51:14Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"3f75e9717906a535d7c65fd1284d8d09874773e702e511f610839dafa32600b3","abstract_canon_sha256":"7dbc7a2899f781acab770a3a3d8a0600a5ad07d54cc2c2389c4db0111287137d"},"schema_version":"1.0"},"canonical_sha256":"d6c621afe9b7d7e8c51d2438f85b95f6d4a24c84d492931cc5fc4ce04feadcf0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:08:45.420368Z","signature_b64":"yUgr7XClcwBJCcbu6gLyWC/dIurp0w2lFuI8Wx5lPZaCUpRlGs2Zs05DdlWmqwuBCGrzEx4ggdIy4jkxLzIxCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d6c621afe9b7d7e8c51d2438f85b95f6d4a24c84d492931cc5fc4ce04feadcf0","last_reissued_at":"2026-07-05T06:08:45.419915Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:08:45.419915Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.05811","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-05T06:08:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Mr2azP/gfUiLj9Jmo3w8moEwbgFxpvAoDAAh4dYXfTt64DgFba8H1hwhGgwDFwFhQ6hZ0IS8jST7IoNutEpZCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T01:26:18.475928Z"},"content_sha256":"0542814e6a583b3cfb4e71ebcee044680e944abf2c8b714e15e1e51f8ea3fdf9","schema_version":"1.0","event_id":"sha256:0542814e6a583b3cfb4e71ebcee044680e944abf2c8b714e15e1e51f8ea3fdf9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:23DCDL7JW7L6RRI5EQ4PQW4V63","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards an Automatic Optimisation Model Generator Assisted with Generative Pre-trained Transformer","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.NE","authors_text":"Boris Almonacid","submitted_at":"2023-05-09T23:51:14Z","abstract_excerpt":"This article presents a framework for generating optimisation models using a pre-trained generative transformer. The framework involves specifying the features that the optimisation model should have and using a language model to generate an initial version of the model. The model is then tested and validated, and if it contains build errors, an automatic edition process is triggered. An experiment was performed using MiniZinc as the target language and two GPT-3.5 language models for generation and debugging. The results show that the use of language models for the generation of optimisation "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.05811","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/2305.05811/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-05T06:08:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NHdhvzocsUQErIw1gmeWtHknQCFoCrYR62aUx0HYDCeSgERQmNc0NE6KiMrwnS4PeDHQWKutXXWlIH1JaAzVAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T01:26:18.476543Z"},"content_sha256":"530c3c8dd0a92c46a4c754a635f89e2a9c9f442217b35246c99090725275691b","schema_version":"1.0","event_id":"sha256:530c3c8dd0a92c46a4c754a635f89e2a9c9f442217b35246c99090725275691b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/23DCDL7JW7L6RRI5EQ4PQW4V63/bundle.json","state_url":"https://pith.science/pith/23DCDL7JW7L6RRI5EQ4PQW4V63/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/23DCDL7JW7L6RRI5EQ4PQW4V63/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-06T01:26:18Z","links":{"resolver":"https://pith.science/pith/23DCDL7JW7L6RRI5EQ4PQW4V63","bundle":"https://pith.science/pith/23DCDL7JW7L6RRI5EQ4PQW4V63/bundle.json","state":"https://pith.science/pith/23DCDL7JW7L6RRI5EQ4PQW4V63/state.json","well_known_bundle":"https://pith.science/.well-known/pith/23DCDL7JW7L6RRI5EQ4PQW4V63/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:23DCDL7JW7L6RRI5EQ4PQW4V63","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":"7dbc7a2899f781acab770a3a3d8a0600a5ad07d54cc2c2389c4db0111287137d","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2023-05-09T23:51:14Z","title_canon_sha256":"3f75e9717906a535d7c65fd1284d8d09874773e702e511f610839dafa32600b3"},"schema_version":"1.0","source":{"id":"2305.05811","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.05811","created_at":"2026-07-05T06:08:45Z"},{"alias_kind":"arxiv_version","alias_value":"2305.05811v1","created_at":"2026-07-05T06:08:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.05811","created_at":"2026-07-05T06:08:45Z"},{"alias_kind":"pith_short_12","alias_value":"23DCDL7JW7L6","created_at":"2026-07-05T06:08:45Z"},{"alias_kind":"pith_short_16","alias_value":"23DCDL7JW7L6RRI5","created_at":"2026-07-05T06:08:45Z"},{"alias_kind":"pith_short_8","alias_value":"23DCDL7J","created_at":"2026-07-05T06:08:45Z"}],"graph_snapshots":[{"event_id":"sha256:530c3c8dd0a92c46a4c754a635f89e2a9c9f442217b35246c99090725275691b","target":"graph","created_at":"2026-07-05T06:08:45Z","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/2305.05811/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This article presents a framework for generating optimisation models using a pre-trained generative transformer. The framework involves specifying the features that the optimisation model should have and using a language model to generate an initial version of the model. The model is then tested and validated, and if it contains build errors, an automatic edition process is triggered. An experiment was performed using MiniZinc as the target language and two GPT-3.5 language models for generation and debugging. The results show that the use of language models for the generation of optimisation ","authors_text":"Boris Almonacid","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2023-05-09T23:51:14Z","title":"Towards an Automatic Optimisation Model Generator Assisted with Generative Pre-trained Transformer"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.05811","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:0542814e6a583b3cfb4e71ebcee044680e944abf2c8b714e15e1e51f8ea3fdf9","target":"record","created_at":"2026-07-05T06:08:45Z","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":"7dbc7a2899f781acab770a3a3d8a0600a5ad07d54cc2c2389c4db0111287137d","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2023-05-09T23:51:14Z","title_canon_sha256":"3f75e9717906a535d7c65fd1284d8d09874773e702e511f610839dafa32600b3"},"schema_version":"1.0","source":{"id":"2305.05811","kind":"arxiv","version":1}},"canonical_sha256":"d6c621afe9b7d7e8c51d2438f85b95f6d4a24c84d492931cc5fc4ce04feadcf0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d6c621afe9b7d7e8c51d2438f85b95f6d4a24c84d492931cc5fc4ce04feadcf0","first_computed_at":"2026-07-05T06:08:45.419915Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:08:45.419915Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yUgr7XClcwBJCcbu6gLyWC/dIurp0w2lFuI8Wx5lPZaCUpRlGs2Zs05DdlWmqwuBCGrzEx4ggdIy4jkxLzIxCA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:08:45.420368Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.05811","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0542814e6a583b3cfb4e71ebcee044680e944abf2c8b714e15e1e51f8ea3fdf9","sha256:530c3c8dd0a92c46a4c754a635f89e2a9c9f442217b35246c99090725275691b"],"state_sha256":"6620dbf63217b2d5106514229c90b2e28e6aa5b7f5de55585f8a224657989e10"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PBFee3g7+nvtdb1CWDzObNZ4iIYNdjJQIetCLesP3EnfSuKHlOgMm17xxVZvo3hqgsQQqThaQF0nc+HFxacpAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T01:26:18.482322Z","bundle_sha256":"c029b73277a921d13d6a016cc645453f66ffcee063bfd7216e55e8cf3537b58e"}}