{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:F34GPOTEFR6ICB4EKCWV7ZBJKD","short_pith_number":"pith:F34GPOTE","canonical_record":{"source":{"id":"2306.03324","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-06-06T00:28:39Z","cross_cats_sorted":[],"title_canon_sha256":"03d7d5cdb84d58c893398d8aecf07842f14d38802ea2b9c561eaa123deaa5bfa","abstract_canon_sha256":"8f661d34a64fe4b126cf8fe945a27494a9c1ceff4b7b8131d08241bbc8380984"},"schema_version":"1.0"},"canonical_sha256":"2ef867ba642c7c81078450ad5fe42950f57b9976ba802237312ffefd0cc5ebb1","source":{"kind":"arxiv","id":"2306.03324","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.03324","created_at":"2026-07-05T10:11:12Z"},{"alias_kind":"arxiv_version","alias_value":"2306.03324v3","created_at":"2026-07-05T10:11:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.03324","created_at":"2026-07-05T10:11:12Z"},{"alias_kind":"pith_short_12","alias_value":"F34GPOTEFR6I","created_at":"2026-07-05T10:11:12Z"},{"alias_kind":"pith_short_16","alias_value":"F34GPOTEFR6ICB4E","created_at":"2026-07-05T10:11:12Z"},{"alias_kind":"pith_short_8","alias_value":"F34GPOTE","created_at":"2026-07-05T10:11:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:F34GPOTEFR6ICB4EKCWV7ZBJKD","target":"record","payload":{"canonical_record":{"source":{"id":"2306.03324","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-06-06T00:28:39Z","cross_cats_sorted":[],"title_canon_sha256":"03d7d5cdb84d58c893398d8aecf07842f14d38802ea2b9c561eaa123deaa5bfa","abstract_canon_sha256":"8f661d34a64fe4b126cf8fe945a27494a9c1ceff4b7b8131d08241bbc8380984"},"schema_version":"1.0"},"canonical_sha256":"2ef867ba642c7c81078450ad5fe42950f57b9976ba802237312ffefd0cc5ebb1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:11:12.903086Z","signature_b64":"gzoDv0H9V9wodGg8yAWdlHCCiFfJ40Q8bc2i2cxz4LRu9DlxAw13ZJu2PItCqtApjAHovWmgSuDaT4zR/+hiAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ef867ba642c7c81078450ad5fe42950f57b9976ba802237312ffefd0cc5ebb1","last_reissued_at":"2026-07-05T10:11:12.902619Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:11:12.902619Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2306.03324","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-07-05T10:11:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+SqXXUo5rzLA+BHOWVJAaCHXuWqljz/WFgeVARJNJ/TwRNNvqQaX1Pif3Q79GyEZqIMmU5qaZ9RMnsnYiRmXCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T21:28:18.862951Z"},"content_sha256":"a9deb94829f7d8c6af1ce59be39f7c9ffe9fcaa7e9eebe60a62327585846a0ae","schema_version":"1.0","event_id":"sha256:a9deb94829f7d8c6af1ce59be39f7c9ffe9fcaa7e9eebe60a62327585846a0ae"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:F34GPOTEFR6ICB4EKCWV7ZBJKD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"How Effective are Large Language Models in Generating Software Specifications?","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Byungwoo Yoo, Danning Xie, Judy S. Lee, Lin Tan, Mijung Kim, Nan Jiang, Xiangyu Zhang","submitted_at":"2023-06-06T00:28:39Z","abstract_excerpt":"Software specifications are essential for many Software Engineering (SE) tasks such as bug detection and test generation. Many existing approaches are proposed to extract the specifications defined in natural language form (e.g., comments) into formal machine readable form (e.g., first order logic). However, existing approaches suffer from limited generalizability and require manual efforts. The recent emergence of Large Language Models (LLMs), which have been successfully applied to numerous SE tasks, offers a promising avenue for automating this process. In this paper, we conduct the first e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.03324","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2306.03324/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-05T10:11:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5GT50puQ4DUtpQubNc32zvEnV/PwtVutqlJDS/UqSzze0oGiYGC4cJLBWPYArurg0c+nE/cHirjVgHqDoEkDCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T21:28:18.863839Z"},"content_sha256":"17b72332ba1cfc5b76e4d70da1923c1d40b9cc6a19c2d8d828502a1eb18bfbae","schema_version":"1.0","event_id":"sha256:17b72332ba1cfc5b76e4d70da1923c1d40b9cc6a19c2d8d828502a1eb18bfbae"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD/bundle.json","state_url":"https://pith.science/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD/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-07T21:28:18Z","links":{"resolver":"https://pith.science/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD","bundle":"https://pith.science/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD/bundle.json","state":"https://pith.science/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:F34GPOTEFR6ICB4EKCWV7ZBJKD","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":"8f661d34a64fe4b126cf8fe945a27494a9c1ceff4b7b8131d08241bbc8380984","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-06-06T00:28:39Z","title_canon_sha256":"03d7d5cdb84d58c893398d8aecf07842f14d38802ea2b9c561eaa123deaa5bfa"},"schema_version":"1.0","source":{"id":"2306.03324","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.03324","created_at":"2026-07-05T10:11:12Z"},{"alias_kind":"arxiv_version","alias_value":"2306.03324v3","created_at":"2026-07-05T10:11:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.03324","created_at":"2026-07-05T10:11:12Z"},{"alias_kind":"pith_short_12","alias_value":"F34GPOTEFR6I","created_at":"2026-07-05T10:11:12Z"},{"alias_kind":"pith_short_16","alias_value":"F34GPOTEFR6ICB4E","created_at":"2026-07-05T10:11:12Z"},{"alias_kind":"pith_short_8","alias_value":"F34GPOTE","created_at":"2026-07-05T10:11:12Z"}],"graph_snapshots":[{"event_id":"sha256:17b72332ba1cfc5b76e4d70da1923c1d40b9cc6a19c2d8d828502a1eb18bfbae","target":"graph","created_at":"2026-07-05T10:11:12Z","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/2306.03324/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Software specifications are essential for many Software Engineering (SE) tasks such as bug detection and test generation. Many existing approaches are proposed to extract the specifications defined in natural language form (e.g., comments) into formal machine readable form (e.g., first order logic). However, existing approaches suffer from limited generalizability and require manual efforts. The recent emergence of Large Language Models (LLMs), which have been successfully applied to numerous SE tasks, offers a promising avenue for automating this process. In this paper, we conduct the first e","authors_text":"Byungwoo Yoo, Danning Xie, Judy S. Lee, Lin Tan, Mijung Kim, Nan Jiang, Xiangyu Zhang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-06-06T00:28:39Z","title":"How Effective are Large Language Models in Generating Software Specifications?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.03324","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:a9deb94829f7d8c6af1ce59be39f7c9ffe9fcaa7e9eebe60a62327585846a0ae","target":"record","created_at":"2026-07-05T10:11:12Z","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":"8f661d34a64fe4b126cf8fe945a27494a9c1ceff4b7b8131d08241bbc8380984","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-06-06T00:28:39Z","title_canon_sha256":"03d7d5cdb84d58c893398d8aecf07842f14d38802ea2b9c561eaa123deaa5bfa"},"schema_version":"1.0","source":{"id":"2306.03324","kind":"arxiv","version":3}},"canonical_sha256":"2ef867ba642c7c81078450ad5fe42950f57b9976ba802237312ffefd0cc5ebb1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ef867ba642c7c81078450ad5fe42950f57b9976ba802237312ffefd0cc5ebb1","first_computed_at":"2026-07-05T10:11:12.902619Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:11:12.902619Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gzoDv0H9V9wodGg8yAWdlHCCiFfJ40Q8bc2i2cxz4LRu9DlxAw13ZJu2PItCqtApjAHovWmgSuDaT4zR/+hiAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:11:12.903086Z","signed_message":"canonical_sha256_bytes"},"source_id":"2306.03324","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a9deb94829f7d8c6af1ce59be39f7c9ffe9fcaa7e9eebe60a62327585846a0ae","sha256:17b72332ba1cfc5b76e4d70da1923c1d40b9cc6a19c2d8d828502a1eb18bfbae"],"state_sha256":"19ced6d0a0f6f1e0984f46f42cecdb662850b561e31c8b8394a40615b75c1035"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q31pckYiHssqHfFeKHbtJlcKL6we/NxgJkZlhXH5r9OACIKj7kWcboeM8z6L9zM8/M2wlE3v2Bd84Jy/9cX1AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T21:28:18.869838Z","bundle_sha256":"184368c6448dec01401f88427b35ca839a04876bd4e125c307289b1aabff37f8"}}