{"as_of":"2026-08-09T16:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f3898297b5cd32c261ab3ef3b07024d65d931fd85d153dfd8f203bc14f2b333d","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T18:28:11.294727Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2509.09982/citation-record","integrity":"/paper/2509.09982/integrity","json":"/paper/2509.09982/citation-record.json","paper":"/paper/2509.09982"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.119278Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.119278Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:548bf454c121ab93382f443d051c6a2f42392ed83d449a5040cb580b3a16c2eb","observation_id":"a45cfd7d-218e-47bf-87e0-045d3466c8ea","resolution":{"observed_at":"2026-08-04T18:28:11.119278Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.124877Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.124877Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:b53e9f420f2afd42a0d36dd5affc1a5145ae38889291ce56d5bf11f8df573e94","observation_id":"54cc561b-17a2-43d0-a672-0548529bfc27","resolution":{"observed_at":"2026-08-04T18:28:11.124877Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.129361Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.129361Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:c3b4f0bfb856983e9c7bb7b494798981542d45391984d9356307323b4ddc75a8","observation_id":"dca1ab8b-a5f9-4d9b-a704-330dd8b14ebf","resolution":{"observed_at":"2026-08-04T18:28:11.129361Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.134733Z","title":"Chockler and J","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.134733Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:a6edd70e2d720a0e431e92e4ac9f8a2a13b353ef2bc757f7789d405d9f59882a","observation_id":"34e1fb70-de4b-4bf8-ae6e-1ea170436c33","resolution":{"observed_at":"2026-08-04T18:28:11.134733Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.139713Z","title":"Chockler and J","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.139713Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:cd61e1a6162e0383537fd204704b6682aedf63e145aec88a73c5201cdc2c8207","observation_id":"448ac9d7-3faa-41f9-a825-63622ec590ad","resolution":{"observed_at":"2026-08-04T18:28:11.139713Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.08875","last_updated":"2026-07-02T09:20:40Z","snapshot_observed_at":"2026-08-09T12:51:39.366147Z","submitted_at":"2024-11-13T18:52:42Z","title":"Causal Explanations for Image Classifiers","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.08875","snapshot_observed_at":"2026-08-04T18:28:11.144872Z","title":"Chockler, D","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.144872Z"},"links":{"cited_paper":"/paper/2411.08875","citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:7c224b5ed769b7ec837ebb1409c99bd94ad212562fb4376b63fdd38b5a662907","observation_id":"414e6e2f-6716-4290-9a78-9a741b749845","resolution":{"observed_at":"2026-08-04T18:28:11.144872Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.150328Z","title":"Darwiche and A","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.150328Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:f896f8c29b58ade312da45b06c74af59bf8752638f0cbfedc4d7646cf5176018","observation_id":"7322e257-e274-4e53-8537-30fbb6be65a1","resolution":{"observed_at":"2026-08-04T18:28:11.150328Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.156000Z","title":"Eiter and T","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.156000Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:29a105bea27f5a97783cc2e827333adf811d16a80db7eb67ac3481a3d29ffa7a","observation_id":"8c11df5f-ddb4-4b16-b217-b332ac6f0631","resolution":{"observed_at":"2026-08-04T18:28:11.156000Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.160877Z","title":"Glymour and F","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.160877Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:c88ad2dad4d62c7d77a27850ff0ba23835a2a37fb67a48e0936aad6d7ee5a486","observation_id":"fff39002-4643-4061-9185-249322f67c67","resolution":{"observed_at":"2026-08-04T18:28:11.160877Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.166691Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.166691Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:d285680f3c06255262fe8b0ac454b371a48a8f11d21dacffd65a8d936d42f29c","observation_id":"3eda4683-61ee-4d89-8d7a-4b820cc4b726","resolution":{"observed_at":"2026-08-04T18:28:11.166691Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.171208Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.171208Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:a78cd06a15ce2423000560a3a26aa85d70b640a3b1f143e50f3feef9762af0b1","observation_id":"17cc399e-7bcb-4309-9abe-e277dee0d1f1","resolution":{"observed_at":"2026-08-04T18:28:11.171208Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.176914Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.176914Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:36f8390e03db910fbc0f81e09b901d83148138aad163efe14ef6e120db3aab0c","observation_id":"b95978e9-6fdd-48fd-b3e5-71b1f6f73c4a","resolution":{"observed_at":"2026-08-04T18:28:11.176914Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.182176Z","title":"Hitchcock","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.182176Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:db7d8f62c7efe55e4d4ab0e3dece1a5f3f26770ff2e4b66ed024ede0f5e93bf2","observation_id":"68723715-2ede-44e1-8195-d35d261be92f","resolution":{"observed_at":"2026-08-04T18:28:11.182176Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.187862Z","title":"Hitchcock","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.187862Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:2189521bafd9fc300757d40b44f0cf0ce393afa05a953db69e2f3cda5da7af84","observation_id":"2b8738de-8291-4285-8a6d-1bba2fec7e0a","resolution":{"observed_at":"2026-08-04T18:28:11.187862Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1904.13101","last_updated":"2019-04-30T08:38:10Z","snapshot_observed_at":"2026-07-06T07:49:27.743869Z","submitted_at":"2019-04-30T08:38:10Z","title":"Efficiently Checking Actual Causality with SAT Solving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1904.13101","snapshot_observed_at":"2026-08-04T18:28:11.193330Z","title":"Ibrahim, S","venue":null,"work_id":null,"year":1904},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.193330Z"},"links":{"cited_paper":"/paper/1904.13101","citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:06c2b4832ebe3e3f44740b871d380e662cff20892b21a4f4a0c1dbf95665aa2e","observation_id":"896f7f14-c18b-458e-b488-c01bda9517dc","resolution":{"observed_at":"2026-08-04T18:28:11.193330Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.198557Z","title":"Ignatiev, N","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.198557Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:d4531a397718331d6473f926863f8471e53f4f85110c6dc35ade41b4429a6154","observation_id":"a72eee51-cafe-4a23-a762-55505d5ba212","resolution":{"observed_at":"2026-08-04T18:28:11.198557Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.203111Z","title":"Kokhlikyan, V","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.203111Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:2845dbd381c8e3e8c7894eb8bc3f45e066b0f823f93eb79eea8e7d9d2f2eabc5","observation_id":"4dcefee8-c913-46fb-8e9e-823534d4df53","resolution":{"observed_at":"2026-08-04T18:28:11.203111Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.207502Z","title":"Kullback and R","venue":null,"work_id":null,"year":1951},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.207502Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:8dd336856bf6ff079f03e75be8ebbfc9e412ce304679627e11139db59262d2c6","observation_id":"e32e1938-0b7b-4e7d-99d4-ebbcb2ccb019","resolution":{"observed_at":"2026-08-04T18:28:11.207502Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.211911Z","title":null,"venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.211911Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:54abe724318fa50d6ad49caad511ac672bad026a356586cf465df70963aaa6d6","observation_id":"3159b74e-5a69-44bf-9474-dddc49eb3c5a","resolution":{"observed_at":"2026-08-04T18:28:11.211911Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.216661Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.216661Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:56557556db43cd2f9d23a53ca223b4e83908f8b239ce0a5d1ce5eddb90bd7332","observation_id":"1832e848-eaef-4a71-847c-ef9ffc7673d7","resolution":{"observed_at":"2026-08-04T18:28:11.216661Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.221344Z","title":"Marques-Silva and A","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.221344Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:8582d66dca6ca1a3c8d0376ce30722f32014866c9ee1bd2ccd98d5ed43c6637e","observation_id":"41f8fffe-2808-4633-8821-18b1f8c050b7","resolution":{"observed_at":"2026-08-04T18:28:11.221344Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.225734Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.225734Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:3dc74267ea6331044c2a0626189fca31bd331b210a68743e7a255992f0d612cc","observation_id":"9e0edd42-e5e7-4c2c-9c90-71b2afe2ec75","resolution":{"observed_at":"2026-08-04T18:28:11.225734Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.230141Z","title":"Petsiuk, A","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.230141Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:f6ce93cd6016eb6cb103a70866472efe063a186faa7137e42a0236b4ac1e9817","observation_id":"fb75819d-8e07-416a-a2a2-3b25852063db","resolution":{"observed_at":"2026-08-04T18:28:11.230141Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.234410Z","title":"Priest.An Introduction to Non-Classical Logic: From If to Is","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.234410Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:4a7d25daeb26fa58e586048f8f0242f39124a469ede2508012aa8bcfe2b8811d","observation_id":"022a8940-abb6-40db-b9f8-0a0bfd8960fa","resolution":{"observed_at":"2026-08-04T18:28:11.234410Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.239284Z","title":"Why should I trust you?","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.239284Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:4e6ab7986a640b30f67bbb796b72d94070bd71f98df0210857b5dc54327dca50","observation_id":"a98563e1-c64a-4111-9741-b6e900f27f67","resolution":{"observed_at":"2026-08-04T18:28:11.239284Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.244444Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.244444Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:b2e0c040b195cf1beb3db0a9dd9823ebec1f05007d25da64b2091e53398501eb","observation_id":"f91475bd-5dd7-43cb-9abe-642bc331be5b","resolution":{"observed_at":"2026-08-04T18:28:11.244444Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.248779Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.248779Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:b7e69a96b96fb06789ff5c1882c34e7229f2095b1c4658cd48a22a1f0cbb59ba","observation_id":"c9676482-2dd2-4471-8cb8-7d2080354a77","resolution":{"observed_at":"2026-08-04T18:28:11.248779Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.253831Z","title":"Shitole, F","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.253831Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:aa207a27e2454b4b942ee7b5befb40536278e59a905ef16f1349905a2634a190","observation_id":"86babaa2-e5f4-4820-9fd3-000d78894ffd","resolution":{"observed_at":"2026-08-04T18:28:11.253831Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.259105Z","title":"Shrikumar, P","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.259105Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:7e8b5869838c98df15837589d075418de46b28fb51e66f8ccc7c37170fa65e4c","observation_id":"0dce884e-8e48-4f58-b1dc-5302359dbf5e","resolution":{"observed_at":"2026-08-04T18:28:11.259105Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.265318Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.265318Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:691ee18ef6bccefab4c1408a896876044a2da732871fd24b613590b216337d66","observation_id":"2ac2abb9-2c73-410d-a72a-fa807cbc0fb5","resolution":{"observed_at":"2026-08-04T18:28:11.265318Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.275535Z","title":"Sundararajan, A","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.275535Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:1d6fe192701324fb52ff8ef9f0e146c610b43e169ffba7a2ac97e8644d376ea9","observation_id":"b57da3ea-c158-42db-841a-3dd07decee78","resolution":{"observed_at":"2026-08-04T18:28:11.275535Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.280146Z","title":"Tritscher, M","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.280146Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:48dc6ad0216a841de05bab9713dd71a15aaf3828e7e547999e627a1512816da1","observation_id":"b5f920fd-1ecb-4c54-98f4-44af5aeb1c0a","resolution":{"observed_at":"2026-08-04T18:28:11.280146Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.285312Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.285312Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:4676153cc96da0b269f0f29e14116e5cfd3d74d5123a9b861a404db4e099f3dc","observation_id":"3c2e4cb4-0339-4cd2-a2b9-616cf512d042","resolution":{"observed_at":"2026-08-04T18:28:11.285312Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.290081Z","title":"Woodward.Making Things Happen: A Theory of Causal Explanation","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.290081Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:81310cb9f6bed33674a1e3e5d69ce2764b00770fee4e4c77e0c6f32567d36d49","observation_id":"ac5393c2-74e0-42e7-84d8-327acb369867","resolution":{"observed_at":"2026-08-04T18:28:11.290081Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:28:11.294727Z","title":"Yeh, C.-Y","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.294727Z"},"links":{"citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:97c7c7188060f9d4a73f66dcc3eee8022155dc4b9c07537c1290302ee46ad199","observation_id":"bc01986c-49a0-489f-8b73-56060c586fe6","resolution":{"observed_at":"2026-08-04T18:28:11.294727Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6806","last_updated":"2015-04-13T07:58:17Z","snapshot_observed_at":"2026-08-08T13:18:11.819437Z","submitted_at":"2014-12-21T16:16:37Z","title":"Striving for Simplicity: The All Convolutional Net","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6806","snapshot_observed_at":"2026-08-04T18:28:11.270183Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae","version":1},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-04T18:28:11.270183Z"},"links":{"cited_paper":"/paper/1412.6806","citing_paper":"/paper/2509.09982"},"observation_digest":"sha256:cf05faebaea7bcf9a4f6091e7b22dfbc4476b2ca830b2b778caefd809394731f","observation_id":"45e7d354-eeb3-4b18-856f-eb8a8378a553","resolution":{"observed_at":"2026-08-04T18:28:11.270183Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.09982","last_updated":"2025-09-12T05:52:47Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-09T15:53:05.792350Z","submitted_at":"2025-09-12T05:52:47Z","title":"Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":35,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":36},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2509.09982."}