{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:UZ4PV2GDZRJZIB7TARMF3YZCVR","short_pith_number":"pith:UZ4PV2GD","canonical_record":{"source":{"id":"1604.06525","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GR","submitted_at":"2016-04-22T03:02:59Z","cross_cats_sorted":["cs.CV","cs.PL"],"title_canon_sha256":"07577ac2e34f1dc42d051af1bed4fc32633f0076f164622c78f065c2c6e508a6","abstract_canon_sha256":"aeeaffebed2abb8e67f7d420b5e544c90c5185f896d621250935d975224c3828"},"schema_version":"1.0"},"canonical_sha256":"a678fae8c3cc539407f304585de322ac683c0f44a9c2ad40b233fa36c5e70b49","source":{"kind":"arxiv","id":"1604.06525","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.06525","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"arxiv_version","alias_value":"1604.06525v3","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.06525","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"pith_short_12","alias_value":"UZ4PV2GDZRJZ","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UZ4PV2GDZRJZIB7T","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UZ4PV2GD","created_at":"2026-05-18T12:30:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:UZ4PV2GDZRJZIB7TARMF3YZCVR","target":"record","payload":{"canonical_record":{"source":{"id":"1604.06525","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GR","submitted_at":"2016-04-22T03:02:59Z","cross_cats_sorted":["cs.CV","cs.PL"],"title_canon_sha256":"07577ac2e34f1dc42d051af1bed4fc32633f0076f164622c78f065c2c6e508a6","abstract_canon_sha256":"aeeaffebed2abb8e67f7d420b5e544c90c5185f896d621250935d975224c3828"},"schema_version":"1.0"},"canonical_sha256":"a678fae8c3cc539407f304585de322ac683c0f44a9c2ad40b233fa36c5e70b49","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:44.312261Z","signature_b64":"A6my+SAX2aHWu3LcjjB1TE7G168ktCZGIdqHFx38dkl0XupcD9bY8fVz51wtgKXzmtrI2wk68EoiAe/7ZWXbBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a678fae8c3cc539407f304585de322ac683c0f44a9c2ad40b233fa36c5e70b49","last_reissued_at":"2026-05-18T00:35:44.311810Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:44.311810Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.06525","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:35:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vVhrlE7KslHepYH8jjfsyWp5teSrnMywaOwKg0ZoquhYyRPjxzImJwUx/J2qavEGQiIzu7pp+xhvebY//VuxBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T03:35:27.818734Z"},"content_sha256":"1b83b83b49dd708a0d97428a4ba20affe115f9c9ae69db00383cd621b6669e4e","schema_version":"1.0","event_id":"sha256:1b83b83b49dd708a0d97428a4ba20affe115f9c9ae69db00383cd621b6669e4e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:UZ4PV2GDZRJZIB7TARMF3YZCVR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Opt: A Domain Specific Language for Non-linear Least Squares Optimization in Graphics and Imaging","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CV","cs.PL"],"primary_cat":"cs.GR","authors_text":"Christian Theobalt, Gilbert Bernstein, Jonathan Ragan-Kelley, Matthew Fisher, Matthias Nie{\\ss}ner, Michael Mara, Michael Zollh\\\"ofer, Pat Hanrahan, Zachary DeVito","submitted_at":"2016-04-22T03:02:59Z","abstract_excerpt":"Many graphics and vision problems can be expressed as non-linear least squares optimizations of objective functions over visual data, such as images and meshes. The mathematical descriptions of these functions are extremely concise, but their implementation in real code is tedious, especially when optimized for real-time performance on modern GPUs in interactive applications. In this work, we propose a new language, Opt (available under http://optlang.org), for writing these objective functions over image- or graph-structured unknowns concisely and at a high level. Our compiler automatically t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.06525","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:35:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aEya8RfZudD4LbH5FVT5O+IgprtVyTRLTx/hsSBxS6gtdPRnpB95lP9r21Pq3RZvydTZwTph2T/APNWnaMS4DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T03:35:27.819076Z"},"content_sha256":"5e2e7fd0d8ab71e9890aab1744e74b82985af485688b5e0cdfd9ddc31b6fc589","schema_version":"1.0","event_id":"sha256:5e2e7fd0d8ab71e9890aab1744e74b82985af485688b5e0cdfd9ddc31b6fc589"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UZ4PV2GDZRJZIB7TARMF3YZCVR/bundle.json","state_url":"https://pith.science/pith/UZ4PV2GDZRJZIB7TARMF3YZCVR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UZ4PV2GDZRJZIB7TARMF3YZCVR/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-02T03:35:27Z","links":{"resolver":"https://pith.science/pith/UZ4PV2GDZRJZIB7TARMF3YZCVR","bundle":"https://pith.science/pith/UZ4PV2GDZRJZIB7TARMF3YZCVR/bundle.json","state":"https://pith.science/pith/UZ4PV2GDZRJZIB7TARMF3YZCVR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UZ4PV2GDZRJZIB7TARMF3YZCVR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:UZ4PV2GDZRJZIB7TARMF3YZCVR","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":"aeeaffebed2abb8e67f7d420b5e544c90c5185f896d621250935d975224c3828","cross_cats_sorted":["cs.CV","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GR","submitted_at":"2016-04-22T03:02:59Z","title_canon_sha256":"07577ac2e34f1dc42d051af1bed4fc32633f0076f164622c78f065c2c6e508a6"},"schema_version":"1.0","source":{"id":"1604.06525","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.06525","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"arxiv_version","alias_value":"1604.06525v3","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.06525","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"pith_short_12","alias_value":"UZ4PV2GDZRJZ","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UZ4PV2GDZRJZIB7T","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UZ4PV2GD","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:5e2e7fd0d8ab71e9890aab1744e74b82985af485688b5e0cdfd9ddc31b6fc589","target":"graph","created_at":"2026-05-18T00:35: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"},"paper":{"abstract_excerpt":"Many graphics and vision problems can be expressed as non-linear least squares optimizations of objective functions over visual data, such as images and meshes. The mathematical descriptions of these functions are extremely concise, but their implementation in real code is tedious, especially when optimized for real-time performance on modern GPUs in interactive applications. In this work, we propose a new language, Opt (available under http://optlang.org), for writing these objective functions over image- or graph-structured unknowns concisely and at a high level. Our compiler automatically t","authors_text":"Christian Theobalt, Gilbert Bernstein, Jonathan Ragan-Kelley, Matthew Fisher, Matthias Nie{\\ss}ner, Michael Mara, Michael Zollh\\\"ofer, Pat Hanrahan, Zachary DeVito","cross_cats":["cs.CV","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GR","submitted_at":"2016-04-22T03:02:59Z","title":"Opt: A Domain Specific Language for Non-linear Least Squares Optimization in Graphics and Imaging"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.06525","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:1b83b83b49dd708a0d97428a4ba20affe115f9c9ae69db00383cd621b6669e4e","target":"record","created_at":"2026-05-18T00:35: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":"aeeaffebed2abb8e67f7d420b5e544c90c5185f896d621250935d975224c3828","cross_cats_sorted":["cs.CV","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GR","submitted_at":"2016-04-22T03:02:59Z","title_canon_sha256":"07577ac2e34f1dc42d051af1bed4fc32633f0076f164622c78f065c2c6e508a6"},"schema_version":"1.0","source":{"id":"1604.06525","kind":"arxiv","version":3}},"canonical_sha256":"a678fae8c3cc539407f304585de322ac683c0f44a9c2ad40b233fa36c5e70b49","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a678fae8c3cc539407f304585de322ac683c0f44a9c2ad40b233fa36c5e70b49","first_computed_at":"2026-05-18T00:35:44.311810Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:35:44.311810Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"A6my+SAX2aHWu3LcjjB1TE7G168ktCZGIdqHFx38dkl0XupcD9bY8fVz51wtgKXzmtrI2wk68EoiAe/7ZWXbBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:35:44.312261Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.06525","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1b83b83b49dd708a0d97428a4ba20affe115f9c9ae69db00383cd621b6669e4e","sha256:5e2e7fd0d8ab71e9890aab1744e74b82985af485688b5e0cdfd9ddc31b6fc589"],"state_sha256":"332a41b44038adbc08dad49b11effa4c0f8ea10ee48f563e3de738ca7a5edbea"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bo4FgKthXr7l3ltvv1erdyvE5ITMrYqG74wjQIjkwFa5VMB8Xq2fqQMvL9UOeHv8M8k6ZvlnnObACUHQzWt7DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T03:35:27.821043Z","bundle_sha256":"b011a26af1e823630409271469e34d4e0cd07ac7da4ca1e2843dc0e0ff2fea6e"}}