{"as_of":"2026-08-21T10:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9e34d34ba88b2af41c55e93f31360530ac6e4c162bb5764b4b78dce26720722c","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+00:00","state":"measured"},{"denominator":14,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T04:48:46.423373Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":2,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-12T21:49:28.062163Z","title":"Neural network verification with branch-and-bound for general nonlinearities,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.08329","last_updated":"2024-11-13T04:23:05Z","snapshot_observed_at":"2026-08-21T07:55:50.345210Z","submitted_at":"2024-11-13T04:23:05Z","title":"Neural Network Certification Informed Power System Transient Stability Preventive Control with Renewable Energy","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T21:49:28.062163Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2411.08329"},"observation_digest":"sha256:2c7edce6d9e91ebc8b12a1dc608ed798900a56482b35544f3869c3baed10ead9","observation_id":"50dbaa31-970b-4b29-be9d-af88e86261e9","resolution":{"observed_at":"2026-08-12T21:49:28.062163Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-12T15:31:53.367014Z","title":"arXiv preprint arXiv:2405.21063","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14163","last_updated":"2024-11-21T14:22:32Z","snapshot_observed_at":"2026-08-19T14:06:11.036976Z","submitted_at":"2024-11-21T14:22:32Z","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T15:31:53.367014Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2411.14163"},"observation_digest":"sha256:97b89653e4b9257df8d903a644867048bb06113aaae39b8d3845d8c56b2aba46","observation_id":"3997a737-b5f7-4432-bec5-697ddf596016","resolution":{"observed_at":"2026-08-12T15:31:53.367014Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":"2405.21063","doi":"10.48550/arxiv.2405.21063","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Neural network verification with branch-and-bound for general nonlinearities","venue":"arXiv (Cornell University)","work_id":"2bdad229-16a3-41cd-be70-baf97487e438","year":2025},"citing_paper":{"arxiv_id":"2411.18235","last_updated":"2026-04-06T08:09:44Z","snapshot_observed_at":"2026-08-17T20:59:53.082699Z","submitted_at":"2024-11-27T11:12:46Z","title":"Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-23T16:42:11.222124Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2411.18235"},"observation_digest":"sha256:e0a9fb5348e97892d88c6a76a5cda71cd80fd9d57ffbac93516896de2979c9ed","observation_id":"409016e3-97dc-45a7-ba12-a15eb4dcf128","resolution":{"observed_at":"2026-05-23T16:43:11.457148Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-11T23:59:13.602532Z","title":"Neural network verification with branch-and-bound for general nonlinearities","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.02029","last_updated":"2024-12-02T23:19:31Z","snapshot_observed_at":"2026-08-19T10:07:08.396468Z","submitted_at":"2024-12-02T23:19:31Z","title":"Learning Ensembles of Vision-based Safety Control Filters","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-11T23:59:13.602532Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2412.02029"},"observation_digest":"sha256:d89b0892f57cdd75c3fb67942fab42d6c7ac569f8692534cf9a76fcb24ebda7c","observation_id":"5f2b1eb7-cca3-4c92-b769-4b8b37409c78","resolution":{"observed_at":"2026-08-11T23:59:13.602532Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-10T23:46:42.192595Z","title":"Neu- ral network verification with branch-and-bound for general nonlinearities","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.19985","last_updated":"2024-12-28T03:07:00Z","snapshot_observed_at":"2026-08-17T18:49:09.020021Z","submitted_at":"2024-12-28T03:07:00Z","title":"The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-10T23:46:42.192595Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2412.19985"},"observation_digest":"sha256:bd92dd4e68ff9d2e7cf8daff47a56a978fcab8537a3a60b1f3548ab571512267","observation_id":"5b7010ce-904a-4c60-8055-0466513b2f37","resolution":{"observed_at":"2026-08-10T23:46:42.192595Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-16T04:48:46.423373Z","title":"https: //doi.org/10.48550/arXiv.2405.21063","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-18T04:04:14.381157Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.423373Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:d149bb8dd77018a3cfe1c6612076b0814f10ab33e90c1160b30e722c5a4a339f","observation_id":"754be986-f506-4ff6-9ca1-f767c5a94198","resolution":{"observed_at":"2026-08-16T04:48:46.423373Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-16T04:37:13.074491Z","title":"Neural network verification with branch-and-bound for general nonlinearities,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.00963","last_updated":"2025-05-02T02:41:02Z","snapshot_observed_at":"2026-08-20T12:26:12.467288Z","submitted_at":"2025-05-02T02:41:02Z","title":"Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T04:37:13.074491Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2505.00963"},"observation_digest":"sha256:dab8e46ce5458bf132d014ac28613f8c10375f5eff9eb3eb8a4968cccf21b50a","observation_id":"ab3f89a2-019c-4dfe-b720-6f42759e598f","resolution":{"observed_at":"2026-08-16T04:37:13.074491Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-06T14:54:44.260070Z","title":"Neural network verification with branch-and-bound for general nonlinearities","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.17453","last_updated":"2025-07-23T12:20:20Z","snapshot_observed_at":"2026-08-17T12:37:21.617579Z","submitted_at":"2025-07-23T12:20:20Z","title":"Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-06T14:54:44.260070Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2507.17453"},"observation_digest":"sha256:467f4b4295008c9b8bd7d8446e5daddc54bf87afafc925ad6c157bb05a410c29","observation_id":"d631dc46-40b4-4e3b-aec4-aaaff1299cb4","resolution":{"observed_at":"2026-08-06T14:54:44.260070Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-06T11:37:01.768386Z","title":"Neural network verification with branch-and-bound for general nonlinearities,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.22760","last_updated":"2025-07-30T15:21:22Z","snapshot_observed_at":"2026-08-14T03:34:00.543885Z","submitted_at":"2025-07-30T15:21:22Z","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T11:37:01.768386Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2507.22760"},"observation_digest":"sha256:0bc979fc7ab3c24e916d55c0ba624ddcad3938e9c98a2031ecfd12b3b25b7776","observation_id":"d035957b-3704-40da-9fd8-b719f80e7090","resolution":{"observed_at":"2026-08-06T11:37:01.768386Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-07-15T14:07:56.936206Z","title":"arXiv preprint arXiv:2405.21063 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.13334","last_updated":"2026-07-19T22:40:37Z","snapshot_observed_at":"2026-08-16T02:45:44.187877Z","submitted_at":"2026-03-06T06:13:24Z","title":"Lipschitz-Based Robustness Certification Under Floating-Point Execution","version":5},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-15T14:07:56.936206Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:e96cc23aaf72f117bb87b0027ddccc32ef2318edef33b0287e31a9a00008d731","observation_id":"51a7b209-9a09-44a2-a23a-354b30e11f41","resolution":{"observed_at":"2026-07-15T14:07:56.936206Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-02T18:47:59.435482Z","title":"arXiv preprint arXiv:2405.21063 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2603.13334","last_updated":"2026-07-19T22:40:37Z","snapshot_observed_at":"2026-08-16T02:45:44.187877Z","submitted_at":"2026-03-06T06:13:24Z","title":"Lipschitz-Based Robustness Certification Under Floating-Point Execution","version":6},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-02T18:47:59.435482Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2603.13334"},"observation_digest":"sha256:5325091f5c8847b6ab41a7023a0ed9dba8bc867b9af06cad8f65efb85774fd69","observation_id":"6febac0b-1be7-4f5b-9b7f-8ade59e51231","resolution":{"observed_at":"2026-08-02T18:47:59.435482Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":"2405.21063","doi":"10.48550/arxiv.2405.21063","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Neural network verification with branch-and-bound for general nonlinearities","venue":"arXiv (Cornell University)","work_id":"2bdad229-16a3-41cd-be70-baf97487e438","year":2025},"citing_paper":{"arxiv_id":"2605.13845","last_updated":"2026-05-14T17:00:29Z","snapshot_observed_at":"2026-07-06T23:25:21.032938Z","submitted_at":"2026-05-13T17:59:40Z","title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","version":1},"reference_index":108,"source":"arxiv_source","source_observed_at":"2026-05-14T17:29:39.346689Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2605.13845"},"observation_digest":"sha256:9b7d4a60daacf33b96661b2a40f5c62d9ec15b5928609fc050dcc2f86ac8d258","observation_id":"b5522124-4ff4-48cd-9dd5-d8742973c42c","resolution":{"observed_at":"2026-05-14T17:32:30.608561Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":"2405.21063","doi":"10.48550/arxiv.2405.21063","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Neural network verification with branch-and-bound for general nonlinearities","venue":"arXiv (Cornell University)","work_id":"2bdad229-16a3-41cd-be70-baf97487e438","year":2025},"citing_paper":{"arxiv_id":"2605.13845","last_updated":"2026-05-14T17:00:29Z","snapshot_observed_at":"2026-07-06T23:25:21.032938Z","submitted_at":"2026-05-13T17:59:40Z","title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","version":2},"reference_index":108,"source":"arxiv_source","source_observed_at":"2026-05-15T05:40:16.030363Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2605.13845"},"observation_digest":"sha256:2ca367067c99d4ab02fded0bc678d0fa2fbe73ff88e644b430cd8e5828feb896","observation_id":"658030a6-7fad-439b-a52e-ab80bf4c9310","resolution":{"observed_at":"2026-05-15T05:45:05.132293Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","version":3},"cited_work":{"arxiv_id":"2405.21063","doi":"10.48550/arxiv.2405.21063","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.21063","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Neural network verification with branch-and-bound for general nonlinearities","venue":"arXiv (Cornell University)","work_id":"2bdad229-16a3-41cd-be70-baf97487e438","year":2025},"citing_paper":{"arxiv_id":"2605.30155","last_updated":"2026-06-02T17:20:50Z","snapshot_observed_at":"2026-08-16T07:02:00.580646Z","submitted_at":"2026-05-28T16:15:13Z","title":"Neural Network Verification using Partial Multi-Neuron Relaxation","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-29T00:00:52.891222Z"},"links":{"cited_paper":"/paper/2405.21063","citing_paper":"/paper/2605.30155"},"observation_digest":"sha256:0b427ad4e2ea1e754a29d5b66b89922a997f6dad366cf239ce634468c692e1cc","observation_id":"be345417-296e-498a-b8c4-046135a12db7","resolution":{"observed_at":"2026-06-29T00:02:49.697310Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2405.21063/citation-record","integrity":"/paper/2405.21063/integrity","json":"/paper/2405.21063/citation-record.json","paper":"/paper/2405.21063"},"outbound":[],"paper":{"arxiv_id":"2405.21063","last_updated":"2025-02-07T22:42:52Z","latest_version":3,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-20T06:41:00.139913Z","submitted_at":"2024-05-31T17:51:07Z","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 14 inbound Pith citation observations for arXiv:2405.21063."}