{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:OVXFDJ7ILIIPKHHRDPWODOKJWO","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":"2af98b0363a622408a5df4420cfaf9962e8d0cbde9080682b95955e2e8cdaf3f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-05T22:30:42Z","title_canon_sha256":"cf29dfce34943e7122cb25d091fad59e5631bf773654cb7c24a10b3de4073c2d"},"schema_version":"1.0","source":{"id":"1812.02257","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.02257","created_at":"2026-05-17T23:58:56Z"},{"alias_kind":"arxiv_version","alias_value":"1812.02257v1","created_at":"2026-05-17T23:58:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.02257","created_at":"2026-05-17T23:58:56Z"},{"alias_kind":"pith_short_12","alias_value":"OVXFDJ7ILIIP","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"OVXFDJ7ILIIPKHHR","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"OVXFDJ7I","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:2a43d015ca8e44b6b7b01cde32b977fc9e65399c0c58a8c71f57dec8e9cfc1ed","target":"graph","created_at":"2026-05-17T23:58:56Z","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":"Nowadays, we are witnessing a wide adoption of Machine learning (ML) models in many safety-critical systems, thanks to recent breakthroughs in deep learning and reinforcement learning. Many people are now interacting with systems based on ML every day, e.g., voice recognition systems used by virtual personal assistants like Amazon Alexa or Google Home. As the field of ML continues to grow, we are likely to witness transformative advances in a wide range of areas, from finance, energy, to health and transportation. Given this growing importance of ML-based systems in our daily life, it is becom","authors_text":"Foutse Khomh, Houssem Ben Braiek","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-05T22:30:42Z","title":"On Testing Machine Learning Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.02257","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:b610633cacf84ae19d3743dbeebe9980484ed241e47976862b81036e9076990f","target":"record","created_at":"2026-05-17T23:58:56Z","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":"2af98b0363a622408a5df4420cfaf9962e8d0cbde9080682b95955e2e8cdaf3f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-05T22:30:42Z","title_canon_sha256":"cf29dfce34943e7122cb25d091fad59e5631bf773654cb7c24a10b3de4073c2d"},"schema_version":"1.0","source":{"id":"1812.02257","kind":"arxiv","version":1}},"canonical_sha256":"756e51a7e85a10f51cf11bece1b949b39691926db2564f910327d570d5945b1b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"756e51a7e85a10f51cf11bece1b949b39691926db2564f910327d570d5945b1b","first_computed_at":"2026-05-17T23:58:56.747795Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:58:56.747795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9Kt8Rr9Ckldik3JznhtZe2Wej9p+YO7G3lThBwBzS5jWODd20BUQZIBGhJXUsBfTPtA/pQijcKHMyATjtoMCAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:58:56.748232Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.02257","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b610633cacf84ae19d3743dbeebe9980484ed241e47976862b81036e9076990f","sha256:2a43d015ca8e44b6b7b01cde32b977fc9e65399c0c58a8c71f57dec8e9cfc1ed"],"state_sha256":"74e599ec8d5f32fab9065ae79addb06e935726a23661df2b70258dc69603e718"}