{"as_of":"2026-08-09T16:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:32dc92666bad962443886a882e2de5d70d714f0b3846999dc1ee1350d593f40b","coverage":[{"denominator":18,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":18,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-09T05:24:54.898232Z","state":"measured"},{"denominator":19,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":19,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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-08-06T19:40:20.287728Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T19:40:22.060064Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"cited_work":{"arxiv_id":"2502.03274","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.03274","snapshot_observed_at":"2026-08-06T19:40:22.060064Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","venue":"cs.AI","work_id":"564bd9b2-4420-49a4-85c4-c48b67669c21","year":2025},"citing_paper":{"arxiv_id":"2507.05141","last_updated":"2025-07-07T15:51:18Z","snapshot_observed_at":"2026-08-06T19:29:14.539050Z","submitted_at":"2025-07-07T15:51:18Z","title":"Hardware-efficient tractable probabilistic inference for TinyML Neurosymbolic AI applications","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T19:40:20.287728Z"},"links":{"cited_paper":"/paper/2502.03274","citing_paper":"/paper/2507.05141"},"observation_digest":"sha256:f44102801d87c959f5e50ed8039164bb309365e76745bec1c75c1b502bbc9d4a","observation_id":"c88cc2bc-d5f1-4114-b5f6-f4a8ff32b108","resolution":{"observed_at":"2026-08-06T19:40:22.196900Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2502.03274/citation-record","integrity":"/paper/2502.03274/integrity","json":"/paper/2502.03274/citation-record.json","paper":"/paper/2502.03274"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2401.06379","last_updated":"2025-06-06T00:25:20Z","snapshot_observed_at":"2026-07-06T17:14:36.670116Z","submitted_at":"2024-01-12T05:01:47Z","title":"Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.06379","snapshot_observed_at":"2026-08-09T05:24:54.807334Z","title":"Adnan Darwiche","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.807334Z"},"links":{"cited_paper":"/paper/2401.06379","citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:ab78d4f08b87f2f3eaa1e2153a9d07f7efaf76a7bd8c73c67df2fbfb76a06ccd","observation_id":"3ba1b0b9-dec2-44ca-89e3-e0eb73e01079","resolution":{"observed_at":"2026-08-09T05:24:54.807334Z","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-09T05:24:54.850755Z","title":"Guy Katz, Derek A Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zelji´ c, et al","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.850755Z"},"links":{"citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:713e61bd5f905880b5fb62912d02d547b7fed06cf90d919f5b02972171406c48","observation_id":"8a3b3ff3-26cd-43aa-aa99-4cc8ff0f1931","resolution":{"observed_at":"2026-08-09T05:24:54.850755Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-08-08T14:49:59.485488Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-09T05:24:54.839895Z","title":"Patrick Henriksen and Alessio Lomuscio","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.839895Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:9bafe7d4c8807ab700447652b0e015c4cc35c50ca45bc205d9f588d76b464d1f","observation_id":"b1f41fbf-d1f2-4b29-83a5-60933412f08c","resolution":{"observed_at":"2026-08-09T05:24:54.839895Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.12240","last_updated":"2024-02-19T15:54:36Z","snapshot_observed_at":"2026-07-06T17:32:19.965690Z","submitted_at":"2024-02-19T15:54:36Z","title":"BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts","version":1},"cited_work":{"arxiv_id":"2402.12240","doi":null,"metadata_source":"pith","pith_arxiv_id":"2402.12240","snapshot_observed_at":"2026-08-09T05:24:55.036602Z","title":"BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts","venue":"cs.LG","work_id":"c31fa525-346f-4cbc-a0f5-ef8c41ee763e","year":2024},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.862306Z"},"links":{"cited_paper":"/paper/2402.12240","citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:bfab1e2477bbed69fa3241a677529bf80788f8b2bcc5c4c89fa0175f8fabd7a3","observation_id":"ca65f9d6-a6ae-487b-b7e2-c93e6fc3bb95","resolution":{"observed_at":"2026-08-09T05:24:55.045238Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2210.04871","last_updated":"2023-03-09T13:02:17Z","snapshot_observed_at":"2026-07-06T14:03:13.586644Z","submitted_at":"2022-10-10T17:44:11Z","title":"Certified Training: Small Boxes are All You Need","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.04871","snapshot_observed_at":"2026-08-09T05:24:54.867717Z","title":"Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.867717Z"},"links":{"cited_paper":"/paper/2210.04871","citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:3373230368e3aea5acded33c3e2b1931badc647773c4d459e289c221302ab958","observation_id":"985183b7-6d0c-4e5b-a705-3812280bde32","resolution":{"observed_at":"2026-08-09T05:24:54.867717Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.13991","last_updated":"2024-03-18T14:35:21Z","snapshot_observed_at":"2026-08-08T19:49:55.403938Z","submitted_at":"2023-05-23T12:20:29Z","title":"Expressive Losses for Verified Robustness via Convex Combinations","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.13991","snapshot_observed_at":"2026-08-09T05:24:54.873444Z","title":"Teruo Sunaga","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.873444Z"},"links":{"cited_paper":"/paper/2305.13991","citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:0f6fcc8abb33ad785b8f90c9bedb640a84cdfcf7ce7afd7d83acb5222aafe0e1","observation_id":"cb72804b-bf9b-44b1-b164-d846c37958c3","resolution":{"observed_at":"2026-08-09T05:24:54.873444Z","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-09T05:24:55.413207Z","title":"Thomas Winters, Giuseppe Marra, Robin Manhaeve, and Luc De Raedt","venue":null,"work_id":"162a6b29-2f77-4580-b6bf-719bae6feb82","year":2021},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.878943Z"},"links":{"citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:dadbbf7393dd427bf53eff056c28c58f1b5da977c7d4b760b33bb4f0f8ce4991","observation_id":"0ad90527-ad27-489e-91b8-47421dbe25c1","resolution":{"observed_at":"2026-08-09T05:24:55.418876Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.00938","last_updated":"2022-03-02T08:40:01Z","snapshot_observed_at":"2026-07-06T12:43:10.082539Z","submitted_at":"2022-03-02T08:40:01Z","title":"Neuro-Symbolic Verification of Deep Neural Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.00938","snapshot_observed_at":"2026-08-09T05:24:54.883760Z","title":"Neuro-symbolic verification of deep neural networks","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.883760Z"},"links":{"cited_paper":"/paper/2203.00938","citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:c0cb44357a0ab5508d3b817982c940f6476b1c261834d66493a4c53ca401a432","observation_id":"e1580b16-4c4f-499b-9e06-802e8af5dc41","resolution":{"observed_at":"2026-08-09T05:24:54.883760Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1705.01320","last_updated":"2017-08-02T09:21:18Z","snapshot_observed_at":"2026-07-06T05:40:40.224417Z","submitted_at":"2017-05-03T09:13:10Z","title":"Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1705.01320","snapshot_observed_at":"2026-08-09T05:24:54.824079Z","title":"11 Manginas Manginas Stevinson V arghese Katzouris Paliouras Lomuscio R¨ udiger Ehlers","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.824079Z"},"links":{"cited_paper":"/paper/1705.01320","citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:814350b60121a35cfa14d5cf6d768debdfab8872f3fb9922eb6c867fd112e7ac","observation_id":"199ef295-1cf3-4c41-b535-eeb0f9959436","resolution":{"observed_at":"2026-08-09T05:24:54.824079Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.12920","last_updated":"2020-10-26T03:26:40Z","snapshot_observed_at":"2026-08-04T13:51:56.730388Z","submitted_at":"2020-02-28T18:47:43Z","title":"Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.12920","snapshot_observed_at":"2026-08-09T05:24:54.893744Z","title":"13 Manginas Manginas Stevinson V arghese Katzouris Paliouras Lomuscio Zhun Yang, Adam Ishay, and Joohyung Lee","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.893744Z"},"links":{"cited_paper":"/paper/2002.12920","citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:0e4ca03e2507c5ffa6290f256888cc902ceb2c225fc4990886c8b3cc6190e26a","observation_id":"6d29c3ab-5766-45e7-a0cb-7ff5fb0795e8","resolution":{"observed_at":"2026-08-09T05:24:54.893744Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1811.00866","last_updated":"2018-11-02T14:03:25Z","snapshot_observed_at":"2026-08-02T00:12:30.336654Z","submitted_at":"2018-11-02T14:03:25Z","title":"Efficient Neural Network Robustness Certification with General Activation Functions","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1811.00866","snapshot_observed_at":"2026-08-09T05:24:54.898232Z","title":"14 Scalable Probabilistic NeSy Verification Appendix A","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.898232Z"},"links":{"cited_paper":"/paper/1811.00866","citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:8bba7abc34efcad1ad9fbaa2d0b6d848f234b93e8b5543d73cb5a7503703b1fc","observation_id":"b2879b50-df86-437d-9574-d697e5c49377","resolution":{"observed_at":"2026-08-09T05:24:54.898232Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1706.07351","last_updated":"2017-06-22T14:59:49Z","snapshot_observed_at":"2026-07-06T05:48:00.958213Z","submitted_at":"2017-06-22T14:59:49Z","title":"An approach to reachability analysis for feed-forward ReLU neural networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1706.07351","snapshot_observed_at":"2026-08-09T05:24:54.856112Z","title":"An approach to reachability analysis for feed-forward relu neural networks","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":1998,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.856112Z"},"links":{"cited_paper":"/paper/1706.07351","citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:b81b8aed055276418e898d89051c00991945f3ba9615ae0369c8f5edf40a35ea","observation_id":"eae5f08d-a3d9-472b-bd25-42c6585ed606","resolution":{"observed_at":"2026-08-09T05:24:54.856112Z","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-09T05:24:55.446030Z","title":"Neurosymbolic markov models","venue":null,"work_id":"a37ef867-9d63-48a3-9b68-307c482445f7","year":2024},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":2002,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.813216Z"},"links":{"citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:be6ba51686cf464880449365dcc7ff72b472788417b71020ef42cbc917347934","observation_id":"13da60e3-7b09-43ad-ab12-1ce622816e44","resolution":{"observed_at":"2026-08-09T05:24:55.451149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:24:55.346161Z","title":"Eleonora Giunchiglia, Mihaela C˘ at˘ alina Stoian, Salman Khan, Fabio Cuzzolin, and Thomas Lukasiewicz","venue":null,"work_id":"16adbf3e-e7fc-4d1a-8319-0afe44849798","year":2018},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.829879Z"},"links":{"citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:93ce5ebf89b4b1c0190e1e0854fcc5e3153be3455357c9c298e6530aa4535fa7","observation_id":"6306ae3a-e5ab-4b86-a703-844972f7f918","resolution":{"observed_at":"2026-08-09T05:24:55.351477Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-09T05:24:55.462803Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":"8eafddf2-1bdc-4689-bd8f-cc0cbcb2ffe6","year":2024},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.795225Z"},"links":{"citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:db0c07746b037ca72245d8998373f778b56a5d6b58e8e7b453902a501c522c9a","observation_id":"6cc65e27-be8a-46ee-b916-47e735675b47","resolution":{"observed_at":"2026-08-09T05:24:55.467938Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-09T05:24:54.818624Z","title":"R¨ udiger Ehlers","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.818624Z"},"links":{"citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:285dd198e983a24b9b013bf5dd80c82bbbb5c0f03e36efefd621100103f26165","observation_id":"b3f5b59f-e08f-46f0-81a0-c67854e90e51","resolution":{"observed_at":"2026-08-09T05:24:54.818624Z","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-09T05:24:55.430124Z","title":"Barrett, David L","venue":null,"work_id":"55ec5b53-4326-4f5e-a1fb-d0fcb28fd9d7","year":2017},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.844733Z"},"links":{"citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:9828a6ad658b660941d9834342d9aa4d481b0366afb3f63e5f0d97751f576b56","observation_id":"59be52cf-af41-4d0a-ac6c-639a9362a597","resolution":{"observed_at":"2026-08-09T05:24:55.434929Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19985","last_updated":"2024-12-28T03:07:00Z","snapshot_observed_at":"2026-07-06T20:13:58.813488Z","submitted_at":"2024-12-28T03:07:00Z","title":"The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-08-09T05:24:54.801060Z","title":"Mark Chavira and Adnan Darwiche","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-09T05:24:54.801060Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2502.03274"},"observation_digest":"sha256:7897a0bce770e713dcad8bdb467f2efcfe28e80a5e09a62f488a57bde4cf47f8","observation_id":"452b1d94-6d10-4925-9efc-7fe1bf867c34","resolution":{"observed_at":"2026-08-09T05:24:54.801060Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2502.03274","last_updated":"2025-07-29T08:42:21Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-09T05:15:49.824504Z","submitted_at":"2025-02-05T15:29:41Z","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification"},"reference_resolution":{"displayed":18,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":11,"verified_exact":2,"verified_fuzzy":4},"total_outbound_references":18},"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 18 of 18 outbound references and 1 inbound Pith citation observation for arXiv:2502.03274."}