{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:F34GPOTEFR6ICB4EKCWV7ZBJKD","short_pith_number":"pith:F34GPOTE","schema_version":"1.0","canonical_sha256":"2ef867ba642c7c81078450ad5fe42950f57b9976ba802237312ffefd0cc5ebb1","source":{"kind":"arxiv","id":"2306.03324","version":3},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2306.03324","created_at":"2026-07-05T10:11:12.902680+00:00"},{"alias_kind":"arxiv_version","alias_value":"2306.03324v3","created_at":"2026-07-05T10:11:12.902680+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.03324","created_at":"2026-07-05T10:11:12.902680+00:00"},{"alias_kind":"pith_short_12","alias_value":"F34GPOTEFR6I","created_at":"2026-07-05T10:11:12.902680+00:00"},{"alias_kind":"pith_short_16","alias_value":"F34GPOTEFR6ICB4E","created_at":"2026-07-05T10:11:12.902680+00:00"},{"alias_kind":"pith_short_8","alias_value":"F34GPOTE","created_at":"2026-07-05T10:11:12.902680+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.26490","citing_title":"An Empirical Study of LLM-Generated Specifications for VeriFast","ref_index":13,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD","json":"https://pith.science/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD.json","graph_json":"https://pith.science/api/pith-number/F34GPOTEFR6ICB4EKCWV7ZBJKD/graph.json","events_json":"https://pith.science/api/pith-number/F34GPOTEFR6ICB4EKCWV7ZBJKD/events.json","paper":"https://pith.science/paper/F34GPOTE"},"agent_actions":{"view_html":"https://pith.science/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD","download_json":"https://pith.science/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD.json","view_paper":"https://pith.science/paper/F34GPOTE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2306.03324&json=true","fetch_graph":"https://pith.science/api/pith-number/F34GPOTEFR6ICB4EKCWV7ZBJKD/graph.json","fetch_events":"https://pith.science/api/pith-number/F34GPOTEFR6ICB4EKCWV7ZBJKD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD/action/storage_attestation","attest_author":"https://pith.science/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD/action/author_attestation","sign_citation":"https://pith.science/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD/action/citation_signature","submit_replication":"https://pith.science/pith/F34GPOTEFR6ICB4EKCWV7ZBJKD/action/replication_record"}},"created_at":"2026-07-05T10:11:12.902680+00:00","updated_at":"2026-07-05T10:11:12.902680+00:00"}