{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ILVUCNJQAGSBRJRBX4RRA7P43I","short_pith_number":"pith:ILVUCNJQ","canonical_record":{"source":{"id":"2502.18917","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-26T08:10:57Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"78ea598a99911eaf4b432bd13c4984b49cfb55d06db85a11c6191221e2580635","abstract_canon_sha256":"6ed3ae0e7c6f34ff3dae0b4940d2a861e6d3181d42a4ef2c645cb9032bd65627"},"schema_version":"1.0"},"canonical_sha256":"42eb41353001a418a621bf23107dfcda3344bb9a3e3c344e75a527d7ab7b3754","source":{"kind":"arxiv","id":"2502.18917","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.18917","created_at":"2026-05-18T00:02:24Z"},{"alias_kind":"arxiv_version","alias_value":"2502.18917v2","created_at":"2026-05-18T00:02:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.18917","created_at":"2026-05-18T00:02:24Z"},{"alias_kind":"pith_short_12","alias_value":"ILVUCNJQAGSB","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"ILVUCNJQAGSBRJRB","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"ILVUCNJQ","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ILVUCNJQAGSBRJRBX4RRA7P43I","target":"record","payload":{"canonical_record":{"source":{"id":"2502.18917","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-26T08:10:57Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"78ea598a99911eaf4b432bd13c4984b49cfb55d06db85a11c6191221e2580635","abstract_canon_sha256":"6ed3ae0e7c6f34ff3dae0b4940d2a861e6d3181d42a4ef2c645cb9032bd65627"},"schema_version":"1.0"},"canonical_sha256":"42eb41353001a418a621bf23107dfcda3344bb9a3e3c344e75a527d7ab7b3754","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:24.073053Z","signature_b64":"hS12+OQ/CMKuCQgaUyHkK57Mr/XEVKH79bT5wMN+6ZycdsCh4CGDH0yn3xV+G9HL9BKrgjrgH5u8JueVUqvSBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"42eb41353001a418a621bf23107dfcda3344bb9a3e3c344e75a527d7ab7b3754","last_reissued_at":"2026-05-18T00:02:24.072542Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:24.072542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.18917","source_version":2,"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:02:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1ODyUefni6OoR2cT221PDdqolyx381WKhjvKqASjrmvt0gJsm/Ixp06D1VQTlUJfks2eILWc0YjGlvxWp+4hAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T05:38:16.902871Z"},"content_sha256":"bdbf8ea5ffd2c2393b7eed12da591f9e95b2fedd7c38fc046d82ce555cabbbfe","schema_version":"1.0","event_id":"sha256:bdbf8ea5ffd2c2393b7eed12da591f9e95b2fedd7c38fc046d82ce555cabbbfe"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ILVUCNJQAGSBRJRBX4RRA7P43I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ClassInvGen: Class Invariant Synthesis using Large Language Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.AI","authors_text":"Chuyue Sun, Clark Barrett, David Dill, Jubi Taneja, Saikat Chakraborty, Shuvendu K. Lahiri, Viraj Agashe, Xiaokang Qiu","submitted_at":"2025-02-26T08:10:57Z","abstract_excerpt":"Formal program specifications in the form of preconditions, postconditions, and class invariants have several benefits for the construction and maintenance of programs. They not only aid in program understanding due to their unambiguous semantics but can also be enforced dynamically (or even statically when the language supports a formal verifier). However, synthesizing high-quality specifications in an underlying programming language is limited by the expressivity of the specifications or the need to express them in a declarative manner. Prior work has demonstrated the potential of large lang"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.18917","kind":"arxiv","version":2},"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:02:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M2reJL4sWL6hFoVPMtcKzOUiUvQqTlu8weM/Z5Fk0hjJHsBvf3iic7bAy1ybIn+FyuTbYqR4rqthgvv5o5e8CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T05:38:16.903299Z"},"content_sha256":"be3dfb55169f179875f70a15437a72ad7ab7947f064ba6adbca58b024205881e","schema_version":"1.0","event_id":"sha256:be3dfb55169f179875f70a15437a72ad7ab7947f064ba6adbca58b024205881e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ILVUCNJQAGSBRJRBX4RRA7P43I/bundle.json","state_url":"https://pith.science/pith/ILVUCNJQAGSBRJRBX4RRA7P43I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ILVUCNJQAGSBRJRBX4RRA7P43I/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-26T05:38:16Z","links":{"resolver":"https://pith.science/pith/ILVUCNJQAGSBRJRBX4RRA7P43I","bundle":"https://pith.science/pith/ILVUCNJQAGSBRJRBX4RRA7P43I/bundle.json","state":"https://pith.science/pith/ILVUCNJQAGSBRJRBX4RRA7P43I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ILVUCNJQAGSBRJRBX4RRA7P43I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ILVUCNJQAGSBRJRBX4RRA7P43I","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":"6ed3ae0e7c6f34ff3dae0b4940d2a861e6d3181d42a4ef2c645cb9032bd65627","cross_cats_sorted":["cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-26T08:10:57Z","title_canon_sha256":"78ea598a99911eaf4b432bd13c4984b49cfb55d06db85a11c6191221e2580635"},"schema_version":"1.0","source":{"id":"2502.18917","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.18917","created_at":"2026-05-18T00:02:24Z"},{"alias_kind":"arxiv_version","alias_value":"2502.18917v2","created_at":"2026-05-18T00:02:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.18917","created_at":"2026-05-18T00:02:24Z"},{"alias_kind":"pith_short_12","alias_value":"ILVUCNJQAGSB","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"ILVUCNJQAGSBRJRB","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"ILVUCNJQ","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:be3dfb55169f179875f70a15437a72ad7ab7947f064ba6adbca58b024205881e","target":"graph","created_at":"2026-05-18T00:02:24Z","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":"Formal program specifications in the form of preconditions, postconditions, and class invariants have several benefits for the construction and maintenance of programs. They not only aid in program understanding due to their unambiguous semantics but can also be enforced dynamically (or even statically when the language supports a formal verifier). However, synthesizing high-quality specifications in an underlying programming language is limited by the expressivity of the specifications or the need to express them in a declarative manner. Prior work has demonstrated the potential of large lang","authors_text":"Chuyue Sun, Clark Barrett, David Dill, Jubi Taneja, Saikat Chakraborty, Shuvendu K. Lahiri, Viraj Agashe, Xiaokang Qiu","cross_cats":["cs.PL","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-26T08:10:57Z","title":"ClassInvGen: Class Invariant Synthesis using Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.18917","kind":"arxiv","version":2},"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:bdbf8ea5ffd2c2393b7eed12da591f9e95b2fedd7c38fc046d82ce555cabbbfe","target":"record","created_at":"2026-05-18T00:02:24Z","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":"6ed3ae0e7c6f34ff3dae0b4940d2a861e6d3181d42a4ef2c645cb9032bd65627","cross_cats_sorted":["cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-02-26T08:10:57Z","title_canon_sha256":"78ea598a99911eaf4b432bd13c4984b49cfb55d06db85a11c6191221e2580635"},"schema_version":"1.0","source":{"id":"2502.18917","kind":"arxiv","version":2}},"canonical_sha256":"42eb41353001a418a621bf23107dfcda3344bb9a3e3c344e75a527d7ab7b3754","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"42eb41353001a418a621bf23107dfcda3344bb9a3e3c344e75a527d7ab7b3754","first_computed_at":"2026-05-18T00:02:24.072542Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:24.072542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hS12+OQ/CMKuCQgaUyHkK57Mr/XEVKH79bT5wMN+6ZycdsCh4CGDH0yn3xV+G9HL9BKrgjrgH5u8JueVUqvSBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:24.073053Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.18917","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bdbf8ea5ffd2c2393b7eed12da591f9e95b2fedd7c38fc046d82ce555cabbbfe","sha256:be3dfb55169f179875f70a15437a72ad7ab7947f064ba6adbca58b024205881e"],"state_sha256":"535b3ff3f3cef209c52a8cd411ea9793015aa647b43035add90ed90aeac96f09"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1v+d/J/N5+TZBdugFz3FUt/0GxdKtgpVWA7xVZpmIRzYq7eBCJxxSFr0tyf854el1L/piE3UFe4LEuu22tZDBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T05:38:16.906486Z","bundle_sha256":"4b5ba1eb5e94bbd846c86eba368d8789b3e98cbfc45c2e702a2febd606a46862"}}