{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:VN2DFYAAFGXOFVMXFQ7JIGGHD6","short_pith_number":"pith:VN2DFYAA","canonical_record":{"source":{"id":"2105.14149","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-05-29T00:01:08Z","cross_cats_sorted":[],"title_canon_sha256":"1f9138d8e8f7fb53fbd03ab52b03cd9f1e29e38c6e2daffd069eb6164dadf587","abstract_canon_sha256":"d6582f2adcb2a6664a18e831c584b3481c5c8276aef83af4f625fbedbb8841b0"},"schema_version":"1.0"},"canonical_sha256":"ab7432e00029aee2d5972c3e9418c71fa2986293a46eaa34a39aa3a9707624ba","source":{"kind":"arxiv","id":"2105.14149","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.14149","created_at":"2026-07-05T02:44:20Z"},{"alias_kind":"arxiv_version","alias_value":"2105.14149v1","created_at":"2026-07-05T02:44:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.14149","created_at":"2026-07-05T02:44:20Z"},{"alias_kind":"pith_short_12","alias_value":"VN2DFYAAFGXO","created_at":"2026-07-05T02:44:20Z"},{"alias_kind":"pith_short_16","alias_value":"VN2DFYAAFGXOFVMX","created_at":"2026-07-05T02:44:20Z"},{"alias_kind":"pith_short_8","alias_value":"VN2DFYAA","created_at":"2026-07-05T02:44:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:VN2DFYAAFGXOFVMXFQ7JIGGHD6","target":"record","payload":{"canonical_record":{"source":{"id":"2105.14149","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-05-29T00:01:08Z","cross_cats_sorted":[],"title_canon_sha256":"1f9138d8e8f7fb53fbd03ab52b03cd9f1e29e38c6e2daffd069eb6164dadf587","abstract_canon_sha256":"d6582f2adcb2a6664a18e831c584b3481c5c8276aef83af4f625fbedbb8841b0"},"schema_version":"1.0"},"canonical_sha256":"ab7432e00029aee2d5972c3e9418c71fa2986293a46eaa34a39aa3a9707624ba","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:44:20.830193Z","signature_b64":"BNyjHf+ULleejPKWIok8nfFbOC2l5JmANHTBugMb5oJIrXhWfme0IJLl+BTYxOe4rh0LPd44iPgdxXmWBuSKDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ab7432e00029aee2d5972c3e9418c71fa2986293a46eaa34a39aa3a9707624ba","last_reissued_at":"2026-07-05T02:44:20.829803Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:44:20.829803Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2105.14149","source_version":1,"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-05T02:44:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EWoChlB82QbZVS3PvQOiUNLZ14CKCGbGP7PeA58piDsM/wq2B4VtOsfs8G96d4SFYoXVwkHC4aa2JaEk9iDjCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T17:33:36.279771Z"},"content_sha256":"c3c319bb84c1264607e70e5534935b2ea206034c3b6acf86508bcb09c96f761f","schema_version":"1.0","event_id":"sha256:c3c319bb84c1264607e70e5534935b2ea206034c3b6acf86508bcb09c96f761f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:VN2DFYAAFGXOFVMXFQ7JIGGHD6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Charanraj Thimmisetty, Claudionor Nunes Coelho Jr, Didac Gil de la Iglesia, Marjorie Sayer, Nandini Ramanan, Praveen Tiwari, Viswesh Ananthakrishnan","submitted_at":"2021-05-29T00:01:08Z","abstract_excerpt":"Analysis of large observational data sets generated by a reactive system is a common challenge in debugging system failures and determining their root cause. One of the major problems is that these observational data suffer from survivorship bias. Examples include analyzing traffic logs from networks, and simulation logs from circuit design. In such applications, users want to detect non-spurious correlations from observational data and obtain actionable insights about them. In this paper, we introduce log to Neuro-symbolic (Log2NS), a framework that combines probabilistic analysis from machin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.14149","kind":"arxiv","version":1},"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/2105.14149/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-05T02:44:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0hX3KIiBgg9hbmmUiFmNgLEHzeZVJ9DS/Ri802c7KDtN0fPpmJsw1TeUbOgXdF1GnyknING/jMEZ/hZ75ecZBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T17:33:36.280262Z"},"content_sha256":"697df041d7ced7d6a2f7e59237a690a96b36655730dc5dd8eb790e0599a565d4","schema_version":"1.0","event_id":"sha256:697df041d7ced7d6a2f7e59237a690a96b36655730dc5dd8eb790e0599a565d4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6/bundle.json","state_url":"https://pith.science/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6/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-08T17:33:36Z","links":{"resolver":"https://pith.science/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6","bundle":"https://pith.science/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6/bundle.json","state":"https://pith.science/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:VN2DFYAAFGXOFVMXFQ7JIGGHD6","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":"d6582f2adcb2a6664a18e831c584b3481c5c8276aef83af4f625fbedbb8841b0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-05-29T00:01:08Z","title_canon_sha256":"1f9138d8e8f7fb53fbd03ab52b03cd9f1e29e38c6e2daffd069eb6164dadf587"},"schema_version":"1.0","source":{"id":"2105.14149","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.14149","created_at":"2026-07-05T02:44:20Z"},{"alias_kind":"arxiv_version","alias_value":"2105.14149v1","created_at":"2026-07-05T02:44:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.14149","created_at":"2026-07-05T02:44:20Z"},{"alias_kind":"pith_short_12","alias_value":"VN2DFYAAFGXO","created_at":"2026-07-05T02:44:20Z"},{"alias_kind":"pith_short_16","alias_value":"VN2DFYAAFGXOFVMX","created_at":"2026-07-05T02:44:20Z"},{"alias_kind":"pith_short_8","alias_value":"VN2DFYAA","created_at":"2026-07-05T02:44:20Z"}],"graph_snapshots":[{"event_id":"sha256:697df041d7ced7d6a2f7e59237a690a96b36655730dc5dd8eb790e0599a565d4","target":"graph","created_at":"2026-07-05T02:44:20Z","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/2105.14149/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Analysis of large observational data sets generated by a reactive system is a common challenge in debugging system failures and determining their root cause. One of the major problems is that these observational data suffer from survivorship bias. Examples include analyzing traffic logs from networks, and simulation logs from circuit design. In such applications, users want to detect non-spurious correlations from observational data and obtain actionable insights about them. In this paper, we introduce log to Neuro-symbolic (Log2NS), a framework that combines probabilistic analysis from machin","authors_text":"Charanraj Thimmisetty, Claudionor Nunes Coelho Jr, Didac Gil de la Iglesia, Marjorie Sayer, Nandini Ramanan, Praveen Tiwari, Viswesh Ananthakrishnan","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-05-29T00:01:08Z","title":"Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.14149","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:c3c319bb84c1264607e70e5534935b2ea206034c3b6acf86508bcb09c96f761f","target":"record","created_at":"2026-07-05T02:44:20Z","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":"d6582f2adcb2a6664a18e831c584b3481c5c8276aef83af4f625fbedbb8841b0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-05-29T00:01:08Z","title_canon_sha256":"1f9138d8e8f7fb53fbd03ab52b03cd9f1e29e38c6e2daffd069eb6164dadf587"},"schema_version":"1.0","source":{"id":"2105.14149","kind":"arxiv","version":1}},"canonical_sha256":"ab7432e00029aee2d5972c3e9418c71fa2986293a46eaa34a39aa3a9707624ba","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ab7432e00029aee2d5972c3e9418c71fa2986293a46eaa34a39aa3a9707624ba","first_computed_at":"2026-07-05T02:44:20.829803Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:44:20.829803Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BNyjHf+ULleejPKWIok8nfFbOC2l5JmANHTBugMb5oJIrXhWfme0IJLl+BTYxOe4rh0LPd44iPgdxXmWBuSKDA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:44:20.830193Z","signed_message":"canonical_sha256_bytes"},"source_id":"2105.14149","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c3c319bb84c1264607e70e5534935b2ea206034c3b6acf86508bcb09c96f761f","sha256:697df041d7ced7d6a2f7e59237a690a96b36655730dc5dd8eb790e0599a565d4"],"state_sha256":"668fbb4befb478a938b029dcb939ae2f7991d168b2f7b723b7bc7bc5f10b9348"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C5/qT++HBz7ixsy0SvQM+j8VMLNJhPuPeNAaw87AWL+a7a116nY5WwzIqd3FiUG/Dnbv/7/FkBrs0kF6jH/nBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T17:33:36.284707Z","bundle_sha256":"bcd1ead6a284c81c66e1ba047ea0882ba8959f3b1eb026ddbf05aad1c5831120"}}