{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:F576IZTY462DY5QXT2HRHVNT4G","short_pith_number":"pith:F576IZTY","canonical_record":{"source":{"id":"1410.4821","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-10-17T18:53:04Z","cross_cats_sorted":["cs.MS","stat.ML"],"title_canon_sha256":"a1f58e547af622b6e5f70b2cca240d00f1d5b659f951c57d3d0e1fc9e64115f6","abstract_canon_sha256":"bd9ca4653681892c33cf549b6f32210d26f8dcc4598be2d5ca82407cd992dfd6"},"schema_version":"1.0"},"canonical_sha256":"2f7fe46678e7b43c76179e8f13d5b3e197265dae0711fc0c38a4c282c21772bd","source":{"kind":"arxiv","id":"1410.4821","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.4821","created_at":"2026-05-18T02:39:54Z"},{"alias_kind":"arxiv_version","alias_value":"1410.4821v1","created_at":"2026-05-18T02:39:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.4821","created_at":"2026-05-18T02:39:54Z"},{"alias_kind":"pith_short_12","alias_value":"F576IZTY462D","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"F576IZTY462DY5QX","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"F576IZTY","created_at":"2026-05-18T12:28:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:F576IZTY462DY5QXT2HRHVNT4G","target":"record","payload":{"canonical_record":{"source":{"id":"1410.4821","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-10-17T18:53:04Z","cross_cats_sorted":["cs.MS","stat.ML"],"title_canon_sha256":"a1f58e547af622b6e5f70b2cca240d00f1d5b659f951c57d3d0e1fc9e64115f6","abstract_canon_sha256":"bd9ca4653681892c33cf549b6f32210d26f8dcc4598be2d5ca82407cd992dfd6"},"schema_version":"1.0"},"canonical_sha256":"2f7fe46678e7b43c76179e8f13d5b3e197265dae0711fc0c38a4c282c21772bd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:39:54.668827Z","signature_b64":"2FeqrzAcS3C3dMKYNxdIpIcw+0+2mz4U8NzdMEB659Rf3QmOTrM7LEk2iqmDCqs0FUXxj9jnQMWIth6v2Q5sCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2f7fe46678e7b43c76179e8f13d5b3e197265dae0711fc0c38a4c282c21772bd","last_reissued_at":"2026-05-18T02:39:54.668223Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:39:54.668223Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.4821","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-05-18T02:39:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YWk9mdlpxt1qlDUkz+x0DF55yFjpI80i1QVNMGK0mAlGCAXcu3gBbVU5O3rxDgzEB1r4IHGlyLJ8eq2bQz4aBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T21:35:20.483475Z"},"content_sha256":"d6f4a74632419a069581d5fa157a7302adda33dfdf2ff4e49dffc772a50fcb54","schema_version":"1.0","event_id":"sha256:d6f4a74632419a069581d5fa157a7302adda33dfdf2ff4e49dffc772a50fcb54"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:F576IZTY462DY5QXT2HRHVNT4G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Convex Optimization in Julia","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MS","stat.ML"],"primary_cat":"math.OC","authors_text":"David Zeng, Jenny Hong, Karanveer Mohan, Madeleine Udell, Stephen Boyd, Steven Diamond","submitted_at":"2014-10-17T18:53:04Z","abstract_excerpt":"This paper describes Convex, a convex optimization modeling framework in Julia. Convex translates problems from a user-friendly functional language into an abstract syntax tree describing the problem. This concise representation of the global structure of the problem allows Convex to infer whether the problem complies with the rules of disciplined convex programming (DCP), and to pass the problem to a suitable solver. These operations are carried out in Julia using multiple dispatch, which dramatically reduces the time required to verify DCP compliance and to parse a problem into conic form. C"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.4821","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":""},"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-18T02:39:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3GYnv3pTVLRN0uGC8mI/R6PXlYtrO26yImRJbdtJsHyen3ouhz7fnQD7+fcIopQhziGPohxvkWD0JvCgNu9LCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T21:35:20.484256Z"},"content_sha256":"e013dad4d299dae143c127fed9350f1e2446afeb7bf60b3974e69e99fe7e1d50","schema_version":"1.0","event_id":"sha256:e013dad4d299dae143c127fed9350f1e2446afeb7bf60b3974e69e99fe7e1d50"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F576IZTY462DY5QXT2HRHVNT4G/bundle.json","state_url":"https://pith.science/pith/F576IZTY462DY5QXT2HRHVNT4G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F576IZTY462DY5QXT2HRHVNT4G/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-05-30T21:35:20Z","links":{"resolver":"https://pith.science/pith/F576IZTY462DY5QXT2HRHVNT4G","bundle":"https://pith.science/pith/F576IZTY462DY5QXT2HRHVNT4G/bundle.json","state":"https://pith.science/pith/F576IZTY462DY5QXT2HRHVNT4G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F576IZTY462DY5QXT2HRHVNT4G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:F576IZTY462DY5QXT2HRHVNT4G","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":"bd9ca4653681892c33cf549b6f32210d26f8dcc4598be2d5ca82407cd992dfd6","cross_cats_sorted":["cs.MS","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-10-17T18:53:04Z","title_canon_sha256":"a1f58e547af622b6e5f70b2cca240d00f1d5b659f951c57d3d0e1fc9e64115f6"},"schema_version":"1.0","source":{"id":"1410.4821","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.4821","created_at":"2026-05-18T02:39:54Z"},{"alias_kind":"arxiv_version","alias_value":"1410.4821v1","created_at":"2026-05-18T02:39:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.4821","created_at":"2026-05-18T02:39:54Z"},{"alias_kind":"pith_short_12","alias_value":"F576IZTY462D","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"F576IZTY462DY5QX","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"F576IZTY","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:e013dad4d299dae143c127fed9350f1e2446afeb7bf60b3974e69e99fe7e1d50","target":"graph","created_at":"2026-05-18T02:39:54Z","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":"This paper describes Convex, a convex optimization modeling framework in Julia. Convex translates problems from a user-friendly functional language into an abstract syntax tree describing the problem. This concise representation of the global structure of the problem allows Convex to infer whether the problem complies with the rules of disciplined convex programming (DCP), and to pass the problem to a suitable solver. These operations are carried out in Julia using multiple dispatch, which dramatically reduces the time required to verify DCP compliance and to parse a problem into conic form. C","authors_text":"David Zeng, Jenny Hong, Karanveer Mohan, Madeleine Udell, Stephen Boyd, Steven Diamond","cross_cats":["cs.MS","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-10-17T18:53:04Z","title":"Convex Optimization in Julia"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.4821","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:d6f4a74632419a069581d5fa157a7302adda33dfdf2ff4e49dffc772a50fcb54","target":"record","created_at":"2026-05-18T02:39:54Z","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":"bd9ca4653681892c33cf549b6f32210d26f8dcc4598be2d5ca82407cd992dfd6","cross_cats_sorted":["cs.MS","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-10-17T18:53:04Z","title_canon_sha256":"a1f58e547af622b6e5f70b2cca240d00f1d5b659f951c57d3d0e1fc9e64115f6"},"schema_version":"1.0","source":{"id":"1410.4821","kind":"arxiv","version":1}},"canonical_sha256":"2f7fe46678e7b43c76179e8f13d5b3e197265dae0711fc0c38a4c282c21772bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2f7fe46678e7b43c76179e8f13d5b3e197265dae0711fc0c38a4c282c21772bd","first_computed_at":"2026-05-18T02:39:54.668223Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:39:54.668223Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2FeqrzAcS3C3dMKYNxdIpIcw+0+2mz4U8NzdMEB659Rf3QmOTrM7LEk2iqmDCqs0FUXxj9jnQMWIth6v2Q5sCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:39:54.668827Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.4821","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d6f4a74632419a069581d5fa157a7302adda33dfdf2ff4e49dffc772a50fcb54","sha256:e013dad4d299dae143c127fed9350f1e2446afeb7bf60b3974e69e99fe7e1d50"],"state_sha256":"cf02bec2805986da73824d024aa0a3fd6b72ccfc6db5a9fa7e4aec6c2f80aa9a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L8Wb6rnzo0prZp4CNaBtWTlV+2NwfQPg8WDxSIWIqx9z8ztGVYzu8/e8P2eQ5cfpSQ341AeAEbuo+0a4xytsBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T21:35:20.488717Z","bundle_sha256":"7a73cc709515c314fe928998a1545afe8ebd393d735268f6eed1430c5774f683"}}