{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:YEWIQHHI5QWDVHHKO4KLWE4Z5Q","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":"9b2b2fc658431e7474ec4b90745058da56b38f460305471906856d3caad6983d","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-11-03T01:44:03Z","title_canon_sha256":"0cdb3bf9778adc9db6c9a98e63a976e5852449c0baba947f6545f67162b75715"},"schema_version":"1.0","source":{"id":"1511.00754","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.00754","created_at":"2026-05-18T01:28:06Z"},{"alias_kind":"arxiv_version","alias_value":"1511.00754v1","created_at":"2026-05-18T01:28:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.00754","created_at":"2026-05-18T01:28:06Z"},{"alias_kind":"pith_short_12","alias_value":"YEWIQHHI5QWD","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"YEWIQHHI5QWDVHHK","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"YEWIQHHI","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:75e2571e3ca88c3fefa61a818cd23b18d01fe34f19b73a14ad5ee520603b2dbc","target":"graph","created_at":"2026-05-18T01:28:06Z","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":"We introduce a novel technique for verification and model synthesis of sequential programs. Our technique is based on learning a regular model of the set of feasible paths in a program, and testing whether this model contains an incorrect behavior. Exact learning algorithms require checking equivalence between the model and the program, which is a difficult problem, in general undecidable. Our learning procedure is therefore based on the framework of probably approximately correct (PAC) learning, which uses sampling instead and provides correctness guarantees expressed using the terms error pr","authors_text":"Bow-Yaw Wang, Chiao Hsieh, Farn Wang, Ming-Hsien Tsai, Ond\\v{r}ej Leng\\'al, Tsung-Ju Lii, Yu-Fang Chen","cross_cats":["cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-11-03T01:44:03Z","title":"PAC Learning-Based Verification and Model Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.00754","kind":"arxiv","version":1},"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:71212767dea8e3cc3677eb582fc01155f686e02dc40cc2c3b168e47ef93f7ca2","target":"record","created_at":"2026-05-18T01:28:06Z","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":"9b2b2fc658431e7474ec4b90745058da56b38f460305471906856d3caad6983d","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-11-03T01:44:03Z","title_canon_sha256":"0cdb3bf9778adc9db6c9a98e63a976e5852449c0baba947f6545f67162b75715"},"schema_version":"1.0","source":{"id":"1511.00754","kind":"arxiv","version":1}},"canonical_sha256":"c12c881ce8ec2c3a9cea7714bb1399ec2fd42299b3340b6ed76b9f614463ddbb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c12c881ce8ec2c3a9cea7714bb1399ec2fd42299b3340b6ed76b9f614463ddbb","first_computed_at":"2026-05-18T01:28:06.483892Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:28:06.483892Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"65RiMkcWYcqmTAqUFq8z4Uy1C5ZNy42UrX1Ky/bkMySAT2ARiPFvH509+aosSUP6+vcnhzwTnDh7KEQaVlajDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:28:06.484452Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.00754","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:71212767dea8e3cc3677eb582fc01155f686e02dc40cc2c3b168e47ef93f7ca2","sha256:75e2571e3ca88c3fefa61a818cd23b18d01fe34f19b73a14ad5ee520603b2dbc"],"state_sha256":"c31ed69d7607da362597d2e39108e802ac429a746cb2e644b39e821c8b667895"}