{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:IVU3BZVWZIMQFZXVV55FITJ3T6","short_pith_number":"pith:IVU3BZVW","canonical_record":{"source":{"id":"2312.06875","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2023-12-11T22:51:15Z","cross_cats_sorted":[],"title_canon_sha256":"36d8eae76102db8208c32db1ffe30fb48c90e695263b472550de4c8dd2cff1a7","abstract_canon_sha256":"26912855dfa7c891e265676fc2dddff63c7baf81381181a472d60269e88453c6"},"schema_version":"1.0"},"canonical_sha256":"4569b0e6b6ca1902e6f5af7a544d3b9f930a90b787a032c1cffae178cd8b11c3","source":{"kind":"arxiv","id":"2312.06875","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.06875","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"arxiv_version","alias_value":"2312.06875v2","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.06875","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"pith_short_12","alias_value":"IVU3BZVWZIMQ","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"pith_short_16","alias_value":"IVU3BZVWZIMQFZXV","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"pith_short_8","alias_value":"IVU3BZVW","created_at":"2026-07-05T11:37:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:IVU3BZVWZIMQFZXVV55FITJ3T6","target":"record","payload":{"canonical_record":{"source":{"id":"2312.06875","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2023-12-11T22:51:15Z","cross_cats_sorted":[],"title_canon_sha256":"36d8eae76102db8208c32db1ffe30fb48c90e695263b472550de4c8dd2cff1a7","abstract_canon_sha256":"26912855dfa7c891e265676fc2dddff63c7baf81381181a472d60269e88453c6"},"schema_version":"1.0"},"canonical_sha256":"4569b0e6b6ca1902e6f5af7a544d3b9f930a90b787a032c1cffae178cd8b11c3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:37:41.531728Z","signature_b64":"5X5IgF9EUEliyWvFA67jS71NBV/LTkfEeMCXeevdd/Ak5SjKHGyMP8ycHCOOvTAmvxl0iMiiGfSypkKknD+uAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4569b0e6b6ca1902e6f5af7a544d3b9f930a90b787a032c1cffae178cd8b11c3","last_reissued_at":"2026-07-05T11:37:41.531098Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:37:41.531098Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2312.06875","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-07-05T11:37:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UvIQ7LR4DNyzXkb9kGYd/YzX7U8sc4K/g/hJxYvHoEoSNXosiW11Wa0jH0WTs9crTD/Xwg2phREf3kVNpU4QCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T04:02:00.804381Z"},"content_sha256":"09d45bb644f590e996099416848e5c035a8c93ba5ab8c484caaa618dc5eb0e7c","schema_version":"1.0","event_id":"sha256:09d45bb644f590e996099416848e5c035a8c93ba5ab8c484caaa618dc5eb0e7c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:IVU3BZVWZIMQFZXVV55FITJ3T6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Eywa: Automating Model Based Testing using LLMs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"George Varghese, Rajdeep Mondal, Rathin Singha, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd Millstein","submitted_at":"2023-12-11T22:51:15Z","abstract_excerpt":"Model-based testing (MBT), whereby a model of the system under test is analyzed to generate high-coverage test cases, has been used to test protocol implementations. A key barrier to the use of MBT is the need for users to understand protocol RFCs in detail to create a compliant model. Our new approach to MBT uses LLMs to automatically build rich models of intended protocol behavior from knowledge embedded in RFCs, blogs, and other natural language sources. Our approach addresses key challenges with using LLMs, including hallucinations and their inability to monolithically generate complex pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.06875","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2312.06875/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-05T11:37:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k2KE13ah2i1KMMhFQhhCNgEDo3pSHMfxdVVp6ZaPmi6chQpWpYBIERODqalbWOXlN8ML6W0a3DNdiR0cWi+yDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T04:02:00.804934Z"},"content_sha256":"2ed2ab10b7b7302a7c0f6a55f23dbc08618848d59e8183ea298ead9ff71b2491","schema_version":"1.0","event_id":"sha256:2ed2ab10b7b7302a7c0f6a55f23dbc08618848d59e8183ea298ead9ff71b2491"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IVU3BZVWZIMQFZXVV55FITJ3T6/bundle.json","state_url":"https://pith.science/pith/IVU3BZVWZIMQFZXVV55FITJ3T6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IVU3BZVWZIMQFZXVV55FITJ3T6/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-09T04:02:00Z","links":{"resolver":"https://pith.science/pith/IVU3BZVWZIMQFZXVV55FITJ3T6","bundle":"https://pith.science/pith/IVU3BZVWZIMQFZXVV55FITJ3T6/bundle.json","state":"https://pith.science/pith/IVU3BZVWZIMQFZXVV55FITJ3T6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IVU3BZVWZIMQFZXVV55FITJ3T6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:IVU3BZVWZIMQFZXVV55FITJ3T6","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":"26912855dfa7c891e265676fc2dddff63c7baf81381181a472d60269e88453c6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2023-12-11T22:51:15Z","title_canon_sha256":"36d8eae76102db8208c32db1ffe30fb48c90e695263b472550de4c8dd2cff1a7"},"schema_version":"1.0","source":{"id":"2312.06875","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.06875","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"arxiv_version","alias_value":"2312.06875v2","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.06875","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"pith_short_12","alias_value":"IVU3BZVWZIMQ","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"pith_short_16","alias_value":"IVU3BZVWZIMQFZXV","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"pith_short_8","alias_value":"IVU3BZVW","created_at":"2026-07-05T11:37:41Z"}],"graph_snapshots":[{"event_id":"sha256:2ed2ab10b7b7302a7c0f6a55f23dbc08618848d59e8183ea298ead9ff71b2491","target":"graph","created_at":"2026-07-05T11:37:41Z","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/2312.06875/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Model-based testing (MBT), whereby a model of the system under test is analyzed to generate high-coverage test cases, has been used to test protocol implementations. A key barrier to the use of MBT is the need for users to understand protocol RFCs in detail to create a compliant model. Our new approach to MBT uses LLMs to automatically build rich models of intended protocol behavior from knowledge embedded in RFCs, blogs, and other natural language sources. Our approach addresses key challenges with using LLMs, including hallucinations and their inability to monolithically generate complex pro","authors_text":"George Varghese, Rajdeep Mondal, Rathin Singha, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd Millstein","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2023-12-11T22:51:15Z","title":"Eywa: Automating Model Based Testing using LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.06875","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:09d45bb644f590e996099416848e5c035a8c93ba5ab8c484caaa618dc5eb0e7c","target":"record","created_at":"2026-07-05T11:37:41Z","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":"26912855dfa7c891e265676fc2dddff63c7baf81381181a472d60269e88453c6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2023-12-11T22:51:15Z","title_canon_sha256":"36d8eae76102db8208c32db1ffe30fb48c90e695263b472550de4c8dd2cff1a7"},"schema_version":"1.0","source":{"id":"2312.06875","kind":"arxiv","version":2}},"canonical_sha256":"4569b0e6b6ca1902e6f5af7a544d3b9f930a90b787a032c1cffae178cd8b11c3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4569b0e6b6ca1902e6f5af7a544d3b9f930a90b787a032c1cffae178cd8b11c3","first_computed_at":"2026-07-05T11:37:41.531098Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:37:41.531098Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5X5IgF9EUEliyWvFA67jS71NBV/LTkfEeMCXeevdd/Ak5SjKHGyMP8ycHCOOvTAmvxl0iMiiGfSypkKknD+uAg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:37:41.531728Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.06875","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:09d45bb644f590e996099416848e5c035a8c93ba5ab8c484caaa618dc5eb0e7c","sha256:2ed2ab10b7b7302a7c0f6a55f23dbc08618848d59e8183ea298ead9ff71b2491"],"state_sha256":"5fa5051f233da6213fde5e47c983bdd98cb8e420b3a35d508bdeec207f2fcfb0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ocLMMDkndmUrKGvHxqIh5HlY/OWaf08Lfmh4TxNIp+uu/pLIjS9Hajr8WyhZ3GMeJdQ0A0VrdDJLxnKmhduTAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T04:02:00.808596Z","bundle_sha256":"0f3f4c4e31fb86fa8f6152411eaa3b8e13f42a8be2b85689c7c6725c7d8a008b"}}