{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:SGJWNEIYYWRVMEGZ3Q47KBDMII","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":"c32a19d6f57de79a7f5005bcfd660633b5e3e747aa7205da76f9a12fa417f1ce","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-07-07T08:04:56Z","title_canon_sha256":"4b1a6cebbe5b7122ffc38a901cde181b59d84c805d333a026605e87faf4c9a1b"},"schema_version":"1.0","source":{"id":"1507.01698","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.01698","created_at":"2026-05-18T01:37:12Z"},{"alias_kind":"arxiv_version","alias_value":"1507.01698v1","created_at":"2026-05-18T01:37:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.01698","created_at":"2026-05-18T01:37:12Z"},{"alias_kind":"pith_short_12","alias_value":"SGJWNEIYYWRV","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"SGJWNEIYYWRVMEGZ","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"SGJWNEIY","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:7b230d30ce4d7940f058bac9c7f13784b31b44392befd0f74e47ee3fd84201f9","target":"graph","created_at":"2026-05-18T01:37:12Z","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":"In recent years, several probabilistic techniques have been applied to various debugging problems. However, most existing probabilistic debugging systems use relatively simple statistical models, and fail to generalize across multiple programs. In this work, we propose Tractable Fault Localization Models (TFLMs) that can be learned from data, and probabilistically infer the location of the bug. While most previous statistical debugging methods generalize over many executions of a single program, TFLMs are trained on a corpus of previously seen buggy programs, and learn to identify recurring pa","authors_text":"Aniruddh Nath, Pedro Domingos","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-07-07T08:04:56Z","title":"Learning Tractable Probabilistic Models for Fault Localization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.01698","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:1afa8b0a13949ab4ecce74fecb2e0a075c2a47d5a9d69a534af02a3eb3aed23f","target":"record","created_at":"2026-05-18T01:37:12Z","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":"c32a19d6f57de79a7f5005bcfd660633b5e3e747aa7205da76f9a12fa417f1ce","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-07-07T08:04:56Z","title_canon_sha256":"4b1a6cebbe5b7122ffc38a901cde181b59d84c805d333a026605e87faf4c9a1b"},"schema_version":"1.0","source":{"id":"1507.01698","kind":"arxiv","version":1}},"canonical_sha256":"9193669118c5a35610d9dc39f5046c42157e38f1f00df8e037e8272f8619e3cd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9193669118c5a35610d9dc39f5046c42157e38f1f00df8e037e8272f8619e3cd","first_computed_at":"2026-05-18T01:37:12.624350Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:12.624350Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XnrA97RSep0FY/njIRMqJWXwsHw+ueJydFA3NmRatYbaKXWq4+b39p1Zm1nIl9wNr1ayFEQG2ODNN00gKb6ZDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:12.624930Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.01698","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1afa8b0a13949ab4ecce74fecb2e0a075c2a47d5a9d69a534af02a3eb3aed23f","sha256:7b230d30ce4d7940f058bac9c7f13784b31b44392befd0f74e47ee3fd84201f9"],"state_sha256":"562f4a388d56b5b46f8945a871579086ebd5546bb8726fecaec61275aee55759"}