{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:I4264EFQLO5ZLTICGHY7K53DQD","short_pith_number":"pith:I4264EFQ","schema_version":"1.0","canonical_sha256":"4735ee10b05bbb95cd0231f1f5776380d102879e34ff2e6ed75cdd0eb9c306cf","source":{"kind":"arxiv","id":"2412.11205","version":1},"attestation_state":"computed","paper":{"title":"Concept Learning in the Wild: Towards Algorithmic Understanding of Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Dan Vilenchik, Elad Shoham, Hadar Cohen, Havana Rika, Khalil Wattad","submitted_at":"2024-12-15T14:37:56Z","abstract_excerpt":"Explainable AI (XAI) methods typically focus on identifying essential input features or more abstract concepts for tasks like image or text classification. However, for algorithmic tasks like combinatorial optimization, these concepts may depend not only on the input but also on the current state of the network, like in the graph neural networks (GNN) case. This work studies concept learning for an existing GNN model trained to solve Boolean satisfiability (SAT). \\textcolor{black}{Our analysis reveals that the model learns key concepts matching those guiding human-designed SAT heuristics, part"},"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":"2412.11205","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-12-15T14:37:56Z","cross_cats_sorted":[],"title_canon_sha256":"605488cea2439bbb429dd3bc062e6fdb4c01b42e82ee5764f48b3b428dd1776a","abstract_canon_sha256":"6e07410a04d5f3ba1a714d5ef5cc01c776a28e96574da32feaec5afa56cb2de5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:54:30.433809Z","signature_b64":"hM1sGeYDfap70h9cA0chxIwIqjHdPMH6xcJgk5pY09So6uY4LwOy2AgCSMqP6bTSen1vQB5QYkFgnhoVhapSDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4735ee10b05bbb95cd0231f1f5776380d102879e34ff2e6ed75cdd0eb9c306cf","last_reissued_at":"2026-07-05T09:54:30.433393Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:54:30.433393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Concept Learning in the Wild: Towards Algorithmic Understanding of Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Dan Vilenchik, Elad Shoham, Hadar Cohen, Havana Rika, Khalil Wattad","submitted_at":"2024-12-15T14:37:56Z","abstract_excerpt":"Explainable AI (XAI) methods typically focus on identifying essential input features or more abstract concepts for tasks like image or text classification. However, for algorithmic tasks like combinatorial optimization, these concepts may depend not only on the input but also on the current state of the network, like in the graph neural networks (GNN) case. This work studies concept learning for an existing GNN model trained to solve Boolean satisfiability (SAT). \\textcolor{black}{Our analysis reveals that the model learns key concepts matching those guiding human-designed SAT heuristics, part"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.11205","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/2412.11205/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":"2412.11205","created_at":"2026-07-05T09:54:30.433451+00:00"},{"alias_kind":"arxiv_version","alias_value":"2412.11205v1","created_at":"2026-07-05T09:54:30.433451+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.11205","created_at":"2026-07-05T09:54:30.433451+00:00"},{"alias_kind":"pith_short_12","alias_value":"I4264EFQLO5Z","created_at":"2026-07-05T09:54:30.433451+00:00"},{"alias_kind":"pith_short_16","alias_value":"I4264EFQLO5ZLTIC","created_at":"2026-07-05T09:54:30.433451+00:00"},{"alias_kind":"pith_short_8","alias_value":"I4264EFQ","created_at":"2026-07-05T09:54:30.433451+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/I4264EFQLO5ZLTICGHY7K53DQD","json":"https://pith.science/pith/I4264EFQLO5ZLTICGHY7K53DQD.json","graph_json":"https://pith.science/api/pith-number/I4264EFQLO5ZLTICGHY7K53DQD/graph.json","events_json":"https://pith.science/api/pith-number/I4264EFQLO5ZLTICGHY7K53DQD/events.json","paper":"https://pith.science/paper/I4264EFQ"},"agent_actions":{"view_html":"https://pith.science/pith/I4264EFQLO5ZLTICGHY7K53DQD","download_json":"https://pith.science/pith/I4264EFQLO5ZLTICGHY7K53DQD.json","view_paper":"https://pith.science/paper/I4264EFQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2412.11205&json=true","fetch_graph":"https://pith.science/api/pith-number/I4264EFQLO5ZLTICGHY7K53DQD/graph.json","fetch_events":"https://pith.science/api/pith-number/I4264EFQLO5ZLTICGHY7K53DQD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/I4264EFQLO5ZLTICGHY7K53DQD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/I4264EFQLO5ZLTICGHY7K53DQD/action/storage_attestation","attest_author":"https://pith.science/pith/I4264EFQLO5ZLTICGHY7K53DQD/action/author_attestation","sign_citation":"https://pith.science/pith/I4264EFQLO5ZLTICGHY7K53DQD/action/citation_signature","submit_replication":"https://pith.science/pith/I4264EFQLO5ZLTICGHY7K53DQD/action/replication_record"}},"created_at":"2026-07-05T09:54:30.433451+00:00","updated_at":"2026-07-05T09:54:30.433451+00:00"}