{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:VN2DFYAAFGXOFVMXFQ7JIGGHD6","short_pith_number":"pith:VN2DFYAA","schema_version":"1.0","canonical_sha256":"ab7432e00029aee2d5972c3e9418c71fa2986293a46eaa34a39aa3a9707624ba","source":{"kind":"arxiv","id":"2105.14149","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2105.14149","created_at":"2026-07-05T02:44:20.829858+00:00"},{"alias_kind":"arxiv_version","alias_value":"2105.14149v1","created_at":"2026-07-05T02:44:20.829858+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.14149","created_at":"2026-07-05T02:44:20.829858+00:00"},{"alias_kind":"pith_short_12","alias_value":"VN2DFYAAFGXO","created_at":"2026-07-05T02:44:20.829858+00:00"},{"alias_kind":"pith_short_16","alias_value":"VN2DFYAAFGXOFVMX","created_at":"2026-07-05T02:44:20.829858+00:00"},{"alias_kind":"pith_short_8","alias_value":"VN2DFYAA","created_at":"2026-07-05T02:44:20.829858+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2506.23408","citing_title":"Do LLMs Dream of Discrete Algorithms?","ref_index":64,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6","json":"https://pith.science/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6.json","graph_json":"https://pith.science/api/pith-number/VN2DFYAAFGXOFVMXFQ7JIGGHD6/graph.json","events_json":"https://pith.science/api/pith-number/VN2DFYAAFGXOFVMXFQ7JIGGHD6/events.json","paper":"https://pith.science/paper/VN2DFYAA"},"agent_actions":{"view_html":"https://pith.science/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6","download_json":"https://pith.science/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6.json","view_paper":"https://pith.science/paper/VN2DFYAA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2105.14149&json=true","fetch_graph":"https://pith.science/api/pith-number/VN2DFYAAFGXOFVMXFQ7JIGGHD6/graph.json","fetch_events":"https://pith.science/api/pith-number/VN2DFYAAFGXOFVMXFQ7JIGGHD6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6/action/storage_attestation","attest_author":"https://pith.science/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6/action/author_attestation","sign_citation":"https://pith.science/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6/action/citation_signature","submit_replication":"https://pith.science/pith/VN2DFYAAFGXOFVMXFQ7JIGGHD6/action/replication_record"}},"created_at":"2026-07-05T02:44:20.829858+00:00","updated_at":"2026-07-05T02:44:20.829858+00:00"}