{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:KXVRRQVYJF3YA6V7EHBOP2RGES","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":"9a405e2050e109caca46856ee7d818e71b9461b055159a39d5fddcb945fd5686","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-01-24T08:39:50Z","title_canon_sha256":"68cb52239a4d798ac6432459cf284ac242c09c190f8845161092e37501000d5e"},"schema_version":"1.0","source":{"id":"2501.14326","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.14326","created_at":"2026-07-05T12:05:03Z"},{"alias_kind":"arxiv_version","alias_value":"2501.14326v2","created_at":"2026-07-05T12:05:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.14326","created_at":"2026-07-05T12:05:03Z"},{"alias_kind":"pith_short_12","alias_value":"KXVRRQVYJF3Y","created_at":"2026-07-05T12:05:03Z"},{"alias_kind":"pith_short_16","alias_value":"KXVRRQVYJF3YA6V7","created_at":"2026-07-05T12:05:03Z"},{"alias_kind":"pith_short_8","alias_value":"KXVRRQVY","created_at":"2026-07-05T12:05:03Z"}],"graph_snapshots":[{"event_id":"sha256:d6164423833356126eec67e1cba7eefd25b04cf5fbb820ec83c5d623b69ce9e7","target":"graph","created_at":"2026-07-05T12:05:03Z","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/2501.14326/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As concurrent programming becomes increasingly prevalent, effectively identifying and addressing concurrency issues such as data races and deadlocks is critical. This study evaluates the performance of several leading large language models (LLMs), including GPT-3.5-turbo, GPT-4, GPT-4o, GPT-4o-mini, and Mistral-AI's Large2, in understanding and analyzing concurrency issues within software programs. Given that relaxed memory models, such as Total Store Order (TSO) and Partial Store Order (PSO), are widely implemented and adapted in modern systems, supported even by commodity architectures like ","authors_text":"Rahul Purandare, Ridhi Jain","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-01-24T08:39:50Z","title":"Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.14326","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:fcbe445a720e791c808c4f13f515c42da49e30ce6c8a938b5fb58e2441ee0919","target":"record","created_at":"2026-07-05T12:05:03Z","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":"9a405e2050e109caca46856ee7d818e71b9461b055159a39d5fddcb945fd5686","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-01-24T08:39:50Z","title_canon_sha256":"68cb52239a4d798ac6432459cf284ac242c09c190f8845161092e37501000d5e"},"schema_version":"1.0","source":{"id":"2501.14326","kind":"arxiv","version":2}},"canonical_sha256":"55eb18c2b84977807abf21c2e7ea2624b76a35290f27042f1f06bda8d5ed6426","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"55eb18c2b84977807abf21c2e7ea2624b76a35290f27042f1f06bda8d5ed6426","first_computed_at":"2026-07-05T12:05:03.549722Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:05:03.549722Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XRq9Gi3h4Dm7W3BwnlPSfGqV8dNZ/QRCy40K+MmHkNOK/QCu32Tx7xnj1fv5iJNTliCyCCDBiI9iEMzPEuXEAw==","signature_status":"signed_v1","signed_at":"2026-07-05T12:05:03.550237Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.14326","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fcbe445a720e791c808c4f13f515c42da49e30ce6c8a938b5fb58e2441ee0919","sha256:d6164423833356126eec67e1cba7eefd25b04cf5fbb820ec83c5d623b69ce9e7"],"state_sha256":"c38dfea976fddbec86b91e9b2893d0c7ee2c404df3901b2cc862a3ffd1cf4620"}