{"as_of":"2026-08-23T23:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6f1d9bccfa4d2eda27ad78e2d011366f3cb36a345c11068c1ac195f9cbf6df57","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T23:14:42.033243Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-18T18:04:09.528381Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-18T18:06:43.047116Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"cited_work":{"arxiv_id":"2502.08932","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.08932","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"On the promise for assurance of differentiable neuro- symbolic reasoning paradigms","venue":null,"work_id":"6f935dee-a8bf-48e2-b5ed-a79dc833c1b9","year":2025},"citing_paper":{"arxiv_id":"2509.06921","last_updated":"2026-04-15T05:15:58Z","snapshot_observed_at":"2026-08-11T16:57:51.459332Z","submitted_at":"2025-09-08T17:33:59Z","title":"Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities","version":2},"reference_index":104,"source":"pdf_text","source_observed_at":"2026-05-18T18:04:09.528381Z"},"links":{"cited_paper":"/paper/2502.08932","citing_paper":"/paper/2509.06921"},"observation_digest":"sha256:20782563a2a3692e7b027482213fdaa4b5d495115c01b91374a3a012eab88826","observation_id":"163f24a2-0972-455b-898a-988f53c4293b","resolution":{"observed_at":"2026-05-18T18:06:43.049821Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2502.08932/citation-record","integrity":"/paper/2502.08932/integrity","json":"/paper/2502.08932/citation-record.json","paper":"/paper/2502.08932"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:43.495986Z","title":"Addison- Wesley Reading, 1995","venue":null,"work_id":"33d71020-8330-4906-88cb-9244a6905b2d","year":1995},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.609778Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:7c177209035954aa1893f81ced2037e3a3b68617bb870edb2daf687960a1da9d","observation_id":"c638fdb3-4cef-4edf-aa52-4e1eaba37b45","resolution":{"observed_at":"2026-08-07T23:14:43.500514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:43.480949Z","title":"Measuring trustworthiness in neuro-symbolic integration","venue":null,"work_id":"e800d97f-9dbc-454b-874d-68f11ee85946","year":2023},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.614832Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:19f07ff1e2e56651ee5c57f424c1276c53bde679e485976d01a9cdc82874e1a3","observation_id":"80a6136d-9347-4726-8b56-24ee0e545714","resolution":{"observed_at":"2026-08-07T23:14:43.486080Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:43.465275Z","title":"Neurosymbolic reinforce- ment learning with formally verified exploration","venue":null,"work_id":"9597d5aa-fe7e-40de-9ee7-cd19111209fa","year":2020},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.619773Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:3d7e7231f045fa91f86d7e60bde691c82368fd53ec9eda119c323cb512703a84","observation_id":"325d8ea2-d3a1-4168-9ead-78187c3fce91","resolution":{"observed_at":"2026-08-07T23:14:43.470289Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:41.624626Z","title":"wav2vec 2.0: A framework for self-supervised learning of speech representations","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.624626Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:1dd859ed8764df2f82012694916013617b346e17380eae94fdd1aad0559c9be1","observation_id":"a7fcf8f5-9349-4456-a75c-292cdb2fdf5f","resolution":{"observed_at":"2026-08-07T23:14:41.624626Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:43.381036Z","title":"A survey on artificial intelligence assurance","venue":null,"work_id":"539c1390-65da-424b-b6ca-7f8f1235db6a","year":2021},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.629642Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:318db05d02089b2a44bfb018a9f7a2c0103c01ef4b3c19ac07d6937221ed4005","observation_id":"c8dc63d2-ed3a-4365-8128-f97814e3ba6b","resolution":{"observed_at":"2026-08-07T23:14:43.420000Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:43.366195Z","title":"Rotational equivariance for object classification using xview","venue":null,"work_id":"1f23ee7c-b848-428e-876b-1317a6797e1a","year":2020},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.634351Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:8fc1be30334ee0537f2cc8d81cdc6803f3fd435a2df4f0af71763c55ea5da5e7","observation_id":"594b533c-f94c-4859-9bd3-de86cc9f07a0","resolution":{"observed_at":"2026-08-07T23:14:43.371099Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.17175","last_updated":"2024-10-22T16:51:36Z","snapshot_observed_at":"2026-08-18T01:52:55.886221Z","submitted_at":"2024-10-22T16:51:36Z","title":"Remote Timing Attacks on Efficient Language Model Inference","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.17175","snapshot_observed_at":"2026-08-07T23:14:41.639329Z","title":"Remote timing attacks on efficient language model inference","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.639329Z"},"links":{"cited_paper":"/paper/2410.17175","citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:5aec27ee1683c67ac402ec45bb673fc55288a8a7749f56190defdc895333f793","observation_id":"7de72641-7514-4aa2-add2-4a702c8a1fad","resolution":{"observed_at":"2026-08-07T23:14:41.639329Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:43.350801Z","title":"Neurosymbolic programming","venue":null,"work_id":"f3953cbf-2c6f-4454-a516-e17ca929f337","year":2021},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.645212Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:c88524e0efd45113a859da0cfebfd9c9a7edbc4bf38b97aac646fb19210505b6","observation_id":"68d3ca2d-98c6-40d8-87a8-09f0185bc370","resolution":{"observed_at":"2026-08-07T23:14:43.355912Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:41.650185Z","title":"Certified adversarial robustness via randomized smoothing","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.650185Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:350a15e2b8e3e597d6b830f6494e82778e1a8ebae22e78c4c6af4438433ac30a","observation_id":"88c7fff9-71e8-42ad-9d3f-b70bcab84eec","resolution":{"observed_at":"2026-08-07T23:14:41.650185Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:43.326954Z","title":"Very deep convolutional neural networks for raw waveforms","venue":null,"work_id":"84f0da92-494e-4119-a10f-0d4d2e70e4b4","year":2017},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.654846Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:8537b59c91ccd2130f15851076ffdee9113cf3eb13073162d3c46e36d06a2975","observation_id":"d8689811-2feb-42ab-b7e7-0921b5a9af26","resolution":{"observed_at":"2026-08-07T23:14:43.331756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:43.239579Z","title":null,"venue":null,"work_id":"d508953d-f4c3-4193-b395-0b98b0301f38","year":2017},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.659423Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:0293c30fe234d68b8ce3336981b2678c6a83d192d9ca399361fb49b324ff0508","observation_id":"5741f69f-1777-4361-abe2-458b18344359","resolution":{"observed_at":"2026-08-07T23:14:43.297149Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1902.07623","last_updated":"2019-02-20T16:18:37Z","snapshot_observed_at":"2026-08-14T17:13:45.514738Z","submitted_at":"2019-02-20T16:18:37Z","title":"advertorch v0.1: An Adversarial Robustness Toolbox based on PyTorch","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1902.07623","snapshot_observed_at":"2026-08-07T23:14:41.663871Z","title":"AdverTorch v0.1: An adversarial robustness toolbox based on pytorch","venue":null,"work_id":null,"year":1902},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.663871Z"},"links":{"cited_paper":"/paper/1902.07623","citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:1e5fa583ba375c1e4aaa47c9f45752052afcf6439b4e49e35d02d34a995a3699","observation_id":"a825a9c6-b90b-490e-8040-4545187790c0","resolution":{"observed_at":"2026-08-07T23:14:41.663871Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1412.5068","last_updated":"2015-04-09T21:43:29Z","snapshot_observed_at":"2026-08-14T23:07:55.262291Z","submitted_at":"2014-12-11T23:03:49Z","title":"Towards Deep Neural Network Architectures Robust to Adversarial Examples","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.5068","snapshot_observed_at":"2026-08-07T23:14:41.669499Z","title":"Towards deep neural network architectures robust to adversarial examples","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.669499Z"},"links":{"cited_paper":"/paper/1412.5068","citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:c73290fb26912121c43ae6469611d02643ae682162d4a1c030f599f9ad865230","observation_id":"2d65c904-446e-48b5-b54a-097d6503adb0","resolution":{"observed_at":"2026-08-07T23:14:41.669499Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16339","last_updated":"2025-01-08T20:11:59Z","snapshot_observed_at":"2026-08-17T07:21:20.458339Z","submitted_at":"2024-12-20T21:00:11Z","title":"Deliberative Alignment: Reasoning Enables Safer Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16339","snapshot_observed_at":"2026-08-07T23:14:41.674716Z","title":"Guan, Manas Joglekar, Eric Wallace, Saachi Jain, Boaz Barak, Alec Heylar, Rachel Dias, Andrea Vallone, Hongyu Ren, and Jason Wei","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.674716Z"},"links":{"cited_paper":"/paper/2412.16339","citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:6a257e368fd3162b8d4ac729af7953f0057233121c10a77afcd0bbd071ef4ee0","observation_id":"63c30fcf-e936-4b0b-bc26-23b50b978bfe","resolution":{"observed_at":"2026-08-07T23:14:41.674716Z","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-07T23:14:41.679705Z","title":"On calibration of modern neural networks","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.679705Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:04facd5e497cbce69a6d8c88c300a4677150528c33c2a57ecd5cb315f8e0faae","observation_id":"d8216dcd-9096-430c-9a5d-df16e0ff1ce3","resolution":{"observed_at":"2026-08-07T23:14:41.679705Z","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-07T23:14:41.684791Z","title":"Deep residual learning for image recognition","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.684791Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:f861fa3d39dfb231aa4d71e0ab6bf4e87460ca7951e997f8c7bbc0bd862d78d1","observation_id":"e9eb9ada-5036-4042-ac0b-577fdbd388c2","resolution":{"observed_at":"2026-08-07T23:14:41.684791Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1903.12261","last_updated":"2019-03-28T20:56:37Z","snapshot_observed_at":"2026-08-15T10:34:34.836991Z","submitted_at":"2019-03-28T20:56:37Z","title":"Benchmarking Neural Network Robustness to Common Corruptions and Perturbations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1903.12261","snapshot_observed_at":"2026-08-07T23:14:41.689752Z","title":"Benchmarking neural network robustness to common corruptions and perturbations","venue":null,"work_id":null,"year":1903},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.689752Z"},"links":{"cited_paper":"/paper/1903.12261","citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:0f75ff76ce63798f19047a9e9b9b99b1e2266766cec04e96bb0d2ea0b3e7426b","observation_id":"2683cd4f-f2e2-45f3-a1e3-9cf66da59c95","resolution":{"observed_at":"2026-08-07T23:14:41.689752Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:43.118928Z","title":"Scallop: From probabilistic deductive databases to scalable differentiable reasoning","venue":null,"work_id":"c6eb06a9-6129-4f5a-8b85-56c68685c7e9","year":2021},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.694348Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:e1c9369422e76f415c6e5b9907ff3568f38089e2758c048f9953d22fdb0cb565","observation_id":"a1fdeb71-a360-4b18-8fdc-962d73623b20","resolution":{"observed_at":"2026-08-07T23:14:43.159592Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:43.103909Z","title":"An empirical study of rich subgroup fairness for machine learning","venue":null,"work_id":"d0c0b952-ef70-4ac3-b6a5-b97037c8fc7f","year":2019},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.699478Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:ed2796077570692d7ea24f63fa43e02ca21caf78c670a169b14a50553e3ecabf","observation_id":"3d4714ba-20c5-4c26-8432-f4358f05e978","resolution":{"observed_at":"2026-08-07T23:14:43.108520Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:43.090191Z","title":"Deepproblog: Neural probabilistic logic programming","venue":null,"work_id":"f8a0b011-c3c2-4ffb-bb43-8d1839f5f75d","year":2018},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.703916Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:7b0acb5062b39a91809cb90b10549c1df04aba00fd7a253b882a408474ab6b7d","observation_id":"81b044dc-61ad-40a7-83ab-d2e46c34949b","resolution":{"observed_at":"2026-08-07T23:14:43.094465Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:43.046835Z","title":"Not all neuro- symbolic concepts are created equal: Analysis and mitigation of reasoning shortcuts","venue":null,"work_id":"2f6b79b8-39ad-4245-a658-2c3277547d16","year":2024},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.708496Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:33308773c60dc6787f04b597962700d7d2f7cafe5339c1eae135f951a4b98937","observation_id":"47857212-f105-481b-a7a5-34726fc36a17","resolution":{"observed_at":"2026-08-07T23:14:43.080344Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1907.07484","last_updated":"2020-03-31T08:42:46Z","snapshot_observed_at":"2026-08-18T15:20:55.276879Z","submitted_at":"2019-07-17T12:51:10Z","title":"Benchmarking Robustness in Object Detection: Autonomous Driving when Winter is Coming","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1907.07484","snapshot_observed_at":"2026-08-07T23:14:41.713091Z","title":"Ecker, Matthias Bethge, and Wieland Brendel","venue":null,"work_id":null,"year":1907},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.713091Z"},"links":{"cited_paper":"/paper/1907.07484","citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:279d1a929e843294d0be4a732182eaca25626113a99dc41efd89f983754328d6","observation_id":"f1eca002-3128-4538-bad0-8f6aaabe0c6e","resolution":{"observed_at":"2026-08-07T23:14:41.713091Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.924669Z","title":"Neuro-symbolic methods for trustworthy ai: a systematic review","venue":null,"work_id":"616206bf-9255-4a13-9449-ad6d9e553b86","year":2024},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.718045Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:7f63e68872e74e04ac82673c6ba1c7e85da7d587a0a16d3c7767b3f447704667","observation_id":"e899e7e2-6b91-4e6e-a576-cdacc1947c3c","resolution":{"observed_at":"2026-08-07T23:14:42.982291Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1906.02337","last_updated":"2019-06-05T22:23:43Z","snapshot_observed_at":"2026-08-14T16:20:09.671705Z","submitted_at":"2019-06-05T22:23:43Z","title":"MNIST-C: A Robustness Benchmark for Computer Vision","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1906.02337","snapshot_observed_at":"2026-08-07T23:14:41.722199Z","title":"Mnist-c: A robustness benchmark for computer vision","venue":null,"work_id":null,"year":1906},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.722199Z"},"links":{"cited_paper":"/paper/1906.02337","citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:04662a46d7ea08f6590af0fa602af8c5816ae410b660036ce76b661df1f1ec47","observation_id":"7ded53f0-ad96-4f8c-9500-2289bf629ff8","resolution":{"observed_at":"2026-08-07T23:14:41.722199Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.787351Z","title":"Do machine learning models learn statistical rules inferred from data? In International Conference on Machine Learning, pages 25677–25693","venue":null,"work_id":"675957f6-357e-4788-88d8-259950cc73e5","year":2023},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.726846Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:999e88ecfe481073ade671c533dd4bc20af3474a24e63763c5a31a64911fbb4e","observation_id":"cc8e99f7-7557-44ab-9bde-0e0a8ae028c7","resolution":{"observed_at":"2026-08-07T23:14:42.856800Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.772506Z","title":"Fairness in machine learning","venue":null,"work_id":"e192bde2-95b6-4845-a11d-6d418c1ed495","year":2020},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.732176Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:bc1061fcfb9eec7ec3eabd32aae1ba30d9af152c5355978a7a445fcdbdf1c0bf","observation_id":"da271dcc-1cd9-43bb-8fa3-a26a9acdaabf","resolution":{"observed_at":"2026-08-07T23:14:42.777123Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.757845Z","title":"The limitations of deep learning in adversarial settings","venue":null,"work_id":"f995f74d-4c34-461c-99cf-900d1805e183","year":2016},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.736699Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:beec597ef352cea57c05d403b67eb7ac70fd30bd34128282a594a70a733251a7","observation_id":"9d2f1545-9bcc-4fb6-8dbb-c246a59ee859","resolution":{"observed_at":"2026-08-07T23:14:42.762813Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.741558Z","title":"Pytorch: An imperative style, high-performance deep learning library","venue":null,"work_id":"75b76a79-74a0-4e82-9744-f31d06486870","year":2019},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.740981Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:e2cc973077b4d6d15d0bed39332ef6c4774585db50ec865e50c489f69250727f","observation_id":"532ad8eb-c0ae-4440-9f1d-a25bb1f1e94d","resolution":{"observed_at":"2026-08-07T23:14:42.747397Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.14219","last_updated":"2024-10-18T07:08:31Z","snapshot_observed_at":"2026-08-20T10:35:23.790946Z","submitted_at":"2024-10-18T07:08:31Z","title":"Formal Explanations for Neuro-Symbolic AI","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.14219","snapshot_observed_at":"2026-08-07T23:14:41.745746Z","title":"Formal explanations for neuro-symbolic ai","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.745746Z"},"links":{"cited_paper":"/paper/2410.14219","citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:0d537ca35c9b5a21ddaf5b4f42996d36429f31bcff8654d14f97a7114e81fbd5","observation_id":"3510b1f4-ad85-4cfc-b0dd-3fd64af6f03e","resolution":{"observed_at":"2026-08-07T23:14:41.745746Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.677360Z","title":"An empirical study on the robustness of knowledge injection techniques against data degradation","venue":null,"work_id":"8f2564ff-c727-4de7-a083-eee2708d2655","year":2024},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.751777Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:01a028614e6df47a9bd797a419058ec15d2bf7b5affca5f773e8f9d81c9a7bf5","observation_id":"dc5f63d5-dc18-40bb-ae4b-a9d01ddd8b3e","resolution":{"observed_at":"2026-08-07T23:14:42.715332Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.623294Z","title":"Certified robustness to label-flipping attacks via randomized smoothing","venue":null,"work_id":"94937759-f5c8-4f6d-b951-4e901c57ea21","year":2020},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.755965Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:069ebd8ae8e371a94d3210625c4ea87e08d271ed7328521f167ddeaebc4255ff","observation_id":"c359bf40-a7e6-4eba-bc53-89d1a3dbeff8","resolution":{"observed_at":"2026-08-07T23:14:42.627806Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.608175Z","title":"Neuro-symbolic artificial intelligence: Current trends","venue":null,"work_id":"4c0c1f61-98b1-42fd-91f6-cc70d51ddb52","year":2022},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.759836Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:bfa1ecf6bcdda02dcae04e48ab95d6decefb5805be9948a1965d08c76afe9e06","observation_id":"3d9b4300-5799-4237-ba2a-207a7989ba54","resolution":{"observed_at":"2026-08-07T23:14:42.613785Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.592440Z","title":"Part-based models improve adversarial robustness","venue":null,"work_id":"9c4916d4-6dd9-4f36-908f-62dde9842310","year":2023},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.765542Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:bb0d2d3a7566efee58851916619813a4915e9df8c488fa23b92a04d858e78c58","observation_id":"b0505e03-9aec-498e-9091-98e911c7a021","resolution":{"observed_at":"2026-08-07T23:14:42.597633Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.06246","last_updated":"2024-10-31T14:24:45Z","snapshot_observed_at":"2026-08-16T13:44:34.454602Z","submitted_at":"2024-06-10T13:23:00Z","title":"Data-Efficient Learning with Neural Programs","version":2},"cited_work":{"arxiv_id":"2406.06246","doi":null,"metadata_source":"pith","pith_arxiv_id":"2406.06246","snapshot_observed_at":"2026-08-07T23:14:42.070194Z","title":"Data-Efficient Learning with Neural Programs","venue":"cs.LG","work_id":"2bf20277-76b4-4a39-a9e5-83840d0c6f80","year":2024},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.770553Z"},"links":{"cited_paper":"/paper/2406.06246","citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:b9e0d3179a9a877b9c2fda0f5beca63e2066b92ebd90e0055459213fcd715ef3","observation_id":"e4a208f6-0c4d-4f61-b3d5-93b226363e16","resolution":{"observed_at":"2026-08-07T23:14:42.077330Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.576986Z","title":"Measuring robustness to natural distribution shifts in image classification","venue":null,"work_id":"e17fa458-8c9b-4492-8483-9370ee71f2f7","year":2020},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.775389Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:b3b511c307b35ef7bebab65f4289e03c44bc0245b27403bcaaf51a82fca86723","observation_id":"99dafb3b-a4cf-4f48-b216-70ef64fb0e7d","resolution":{"observed_at":"2026-08-07T23:14:42.581985Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.497447Z","title":"Long range arena: A benchmark for efficient transformers","venue":null,"work_id":"c17e9180-f617-4d00-854b-3117a683f1e0","year":2020},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.780047Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:0e6ed58163c096dd5c8dbffe7ddf593148067801a0606b7039df7ead2aab1a98","observation_id":"a5cb7b38-ab9b-42a0-8c66-686a30f504a6","resolution":{"observed_at":"2026-08-07T23:14:42.549840Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.383574Z","title":"How fair can we go in machine learning? assessing the boundaries of accuracy and fairness","venue":null,"work_id":"6e881f28-e46c-4283-a632-efcb29905637","year":2021},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.784538Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:37518da8c0d30daace5157b930f86e2cd48fb9e9c168def0f0104b259fa54daf","observation_id":"d55e0b31-3d7e-4d8a-8339-e22bc9e32392","resolution":{"observed_at":"2026-08-07T23:14:42.434802Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.341363Z","title":"Wagner and Artur d’Avila Garcez","venue":null,"work_id":"4757b91e-9078-4a43-9b5d-b6b487575ece","year":2024},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.850213Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:08d3ffb7192b859762f54a4ea952f28391b7d821396ac4ecc69a00935531bd69","observation_id":"bd016674-4e20-4391-bfbd-2213d0e6ca90","resolution":{"observed_at":"2026-08-07T23:14:42.346534Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:41.891138Z","title":"Simple statistical gradient-following algorithms for connectionist reinforce- ment learning","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.891138Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:9e19cf2cef51e95d927729704731fbf9bdaaddd85c740136f6e82db3b7a722ea","observation_id":"77e5854a-07f0-4f4a-82b8-bd0c03b736ad","resolution":{"observed_at":"2026-08-07T23:14:41.891138Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.317253Z","title":"Safe neurosymbolic learning with differentiable symbolic execution","venue":null,"work_id":"1d0391e7-52dd-45b9-a369-f992579284f0","year":2022},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.940093Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:8e8100e50c62ea380d4ba5136f76c5d5e26c8bcd7f370833077d857c3e6f154c","observation_id":"de9491fa-0a8d-4ce3-acda-e82e871d4720","resolution":{"observed_at":"2026-08-07T23:14:42.321780Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.301231Z","title":"Fairness beyond disparate treatment & disparate impact: Learning classification without dis- parate mistreatment","venue":null,"work_id":"37cca54f-898c-4f6b-acf8-6e360bf8beb6","year":2017},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:41.985418Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:38a3dcbbe9ba299f20bbb58723ad484ba2b5d4544a87fe53c20fe0aadd5d25cb","observation_id":"cecd32ae-71cf-421e-8f07-92018a8575b7","resolution":{"observed_at":"2026-08-07T23:14:42.306745Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:14:42.211831Z","title":"Detect adversarial attacks against deep neural networks with gpu monitoring","venue":null,"work_id":"c8a6a762-6202-49e0-8382-4cfe71f74337","year":2021},"citing_paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T23:14:42.033243Z"},"links":{"citing_paper":"/paper/2502.08932"},"observation_digest":"sha256:90852464867a1ebe519b8f2733c21a5271dcdb9a0d22a6e74128374c5d6b8362","observation_id":"c5049088-7819-4315-982b-bc12c79f602e","resolution":{"observed_at":"2026-08-07T23:14:42.252061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2502.08932","last_updated":"2025-02-13T03:29:42Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-14T00:52:53.125759Z","submitted_at":"2025-02-13T03:29:42Z","title":"On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":1,"verified_fuzzy":27},"total_outbound_references":42},"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-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 1 inbound Pith citation observation for arXiv:2502.08932."}