{"as_of":"2026-08-11T02:53:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2a54a9442e4ae851b8fa52265da70dea1429c3efea6c969721e1d910a2f6768a","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-09T12:13:11.774889Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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-07-01T01:19:12.424654Z","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-07-01T13:05:44.267219Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"cited_work":{"arxiv_id":"2502.02434","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.02434","snapshot_observed_at":"2026-07-01T13:05:44.267219Z","title":"Mpolice: Provable enforce- ment of multi-region affine constraints in deep neural networks,","venue":null,"work_id":"ae9cbc02-1b59-43f0-9ab7-900828d63a73","year":2025},"citing_paper":{"arxiv_id":"2606.30935","last_updated":"2026-06-29T21:38:44Z","snapshot_observed_at":"2026-08-07T16:47:28.559653Z","submitted_at":"2026-06-29T21:38:44Z","title":"ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-01T01:19:12.424654Z"},"links":{"cited_paper":"/paper/2502.02434","citing_paper":"/paper/2606.30935"},"observation_digest":"sha256:a9e0acbfed79ea1700eb5db0d8b68d0ffe514d554a74a5294d18ce729880c302","observation_id":"f008e9b2-63f1-4d55-84a6-25d83e4aa5bc","resolution":{"observed_at":"2026-07-01T13:05:44.269638Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2502.02434/citation-record","integrity":"/paper/2502.02434/integrity","json":"/paper/2502.02434/citation-record.json","paper":"/paper/2502.02434"},"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-09T12:13:12.740075Z","title":"XLB : A differentiable massively parallel lattice Boltzmann library in python","venue":null,"work_id":"1d8b7c2f-06aa-4a7a-8223-4697cce2819d","year":2024},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.669322Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:4e6e78ca6cc7d46caf23c5e10ed7ee82aca2e2e7749ab71ad47da1d2eb992f47","observation_id":"2453bbf1-d04c-4ad8-9ec3-c997933b4ccc","resolution":{"observed_at":"2026-08-09T12:13:12.743149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T12:13:12.604299Z","title":"Police : Provably optimal linear constraint enforcement for deep neural networks","venue":null,"work_id":"b010d2a5-63fc-4e23-a449-06f1eb9043d5","year":2023},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.673332Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:f4edf194cbdca3799d8ba86b627bbb0c53e567266342cdffaf471a52b2a50925","observation_id":"129f930e-2ea7-43a7-9c0e-cfad05356a02","resolution":{"observed_at":"2026-08-09T12:13:12.608346Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T12:13:12.730759Z","title":"Applied dynamic programming, volume 2050","venue":null,"work_id":"43263a07-402c-41af-92df-989fc4b79d43","year":2015},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.678436Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:34e16ba30d7dc5d3b62852affc7993ebfd5db89daf021eb0828bafe1603af499","observation_id":"37c0c941-44f5-4dd7-a910-b5d9adf8f122","resolution":{"observed_at":"2026-08-09T12:13:12.733742Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T12:13:11.683107Z","title":"Enforcing analytic constraints in neural networks emulating physical systems","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.683107Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:762472cd8c1af14e754ba309573e7390678e293ed54a26fc7321c5d710a601c6","observation_id":"3fbe1a5d-539f-446b-bf1e-9f22bd447a23","resolution":{"observed_at":"2026-08-09T12:13:11.683107Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.20456","last_updated":"2024-07-29T23:24:59Z","snapshot_observed_at":"2026-08-09T18:51:18.102842Z","submitted_at":"2024-07-29T23:24:59Z","title":"Learning to Provably Satisfy High Relative Degree Constraints for Black-Box Systems","version":1},"cited_work":{"arxiv_id":"2407.20456","doi":null,"metadata_source":"pith","pith_arxiv_id":"2407.20456","snapshot_observed_at":"2026-08-09T12:13:12.445016Z","title":"Learning to Provably Satisfy High Relative Degree Constraints for Black-Box Systems","venue":"eess.SY","work_id":"498b343c-b984-41e7-b736-9e8c2a216444","year":2024},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.688179Z"},"links":{"cited_paper":"/paper/2407.20456","citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:45404ea9807c907c85342a367aa84705aa2f7ef4ca00d64d6d457d94b5207192","observation_id":"3c025031-0650-440e-a744-2f02ee54ebfb","resolution":{"observed_at":"2026-08-09T12:13:12.448477Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.13297","last_updated":"2024-11-05T17:35:25Z","snapshot_observed_at":"2026-07-06T17:47:30.518562Z","submitted_at":"2024-03-20T04:39:15Z","title":"POLICEd RL: Learning Closed-Loop Robot Control Policies with Provable Satisfaction of Hard Constraints","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.13297","snapshot_observed_at":"2026-08-09T12:13:11.693177Z","title":"POLICEd RL : Learning closed-loop robot control policies with provable satisfaction of hard constraints","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.693177Z"},"links":{"cited_paper":"/paper/2403.13297","citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:0b55bded4f4178efe21e3934e85496dae7f7e99dda25d3ff6e9e190fec6c7d80","observation_id":"d589509a-75c1-4bfc-b690-c492a949c3ed","resolution":{"observed_at":"2026-08-09T12:13:11.693177Z","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-09T12:13:12.722471Z","title":"Neural networks with physics-informed architectures and constraints for dynamical systems modeling","venue":null,"work_id":"b95e254b-a64e-418b-80aa-3a0e7a71b050","year":2022},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.698160Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:1fa5de6bb693a2a89a4774656176380c098d60488c7a56ef338b2ed93f51a520","observation_id":"ba93081f-bc37-41d3-92bf-23218dafdc5c","resolution":{"observed_at":"2026-08-09T12:13:12.725518Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T12:13:11.701496Z","title":"Addressing function approximation error in actor-critic methods","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.701496Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:5f1d18ea720e35fe8ff73de3b4f668ac82719275635a9e47811edb3870bbd0e8","observation_id":"d4c772f1-5949-46d2-8932-e7170ffb3ef6","resolution":{"observed_at":"2026-08-09T12:13:11.701496Z","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-09T12:13:12.709634Z","title":"Aligning optimization trajectories with diffusion models for constrained design generation","venue":null,"work_id":"f0eecf36-8204-4852-bc9e-5f3551c9eca7","year":2023},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.704849Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:1459c129b762176286c4c79569cc9c9c220db5092df2961e44c3e89bf56314da","observation_id":"8efb4a9a-f7d5-40f3-8f23-f7db2e8046aa","resolution":{"observed_at":"2026-08-09T12:13:12.712988Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T12:13:12.701523Z","title":"Exact visualization of deep neural network geometry and decision boundary","venue":null,"work_id":"2d5b66fb-2b5a-45c9-a2b4-8b40df1dd648","year":2022},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.707770Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:5750a2f74786a6340c24e943e2cd8ba9c48160cadf853fd252eea81da805fe63","observation_id":"fd0dad75-8e0a-4108-b6a5-ee1989b23704","resolution":{"observed_at":"2026-08-09T12:13:12.704606Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T12:13:12.691992Z","title":"Splinecam: Exact visualization and characterization of deep network geometry and decision boundaries","venue":null,"work_id":"7f290e1b-72ac-471a-8035-1ea6cf6b16a1","year":2023},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.710618Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:d12654041f7f58291a5b9bde7cfa0c2bcabe49c814024acaf13f31ffdc4906ec","observation_id":"93a3354f-7e72-42a1-b76c-a1757a4ffe7d","resolution":{"observed_at":"2026-08-09T12:13:12.695694Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.01758","last_updated":"2024-05-02T21:50:26Z","snapshot_observed_at":"2026-08-10T18:52:35.273406Z","submitted_at":"2024-05-02T21:50:26Z","title":"CGD: Constraint-Guided Diffusion Policies for UAV Trajectory Planning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.01758","snapshot_observed_at":"2026-08-09T12:13:11.713370Z","title":"CGD : Constraint-guided diffusion policies for UAV trajectory planning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.713370Z"},"links":{"cited_paper":"/paper/2405.01758","citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:0aa49137a2c3767387852a20c704e50fc617d95197bbac1efa8dba89209c733c","observation_id":"5fd7eeb1-2e41-4791-bdcb-a58305e58702","resolution":{"observed_at":"2026-08-09T12:13:11.713370Z","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-09T12:13:12.681698Z","title":"Imposing star-shaped hard constraints on the neural network output","venue":null,"work_id":"1b8e94ea-f1be-4e2d-accf-fdd7ad8e9f7f","year":2024},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.716913Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:42f0f7dd162015de0d4aec3d5ef15160d191381a5deca7c0625d111c583707c3","observation_id":"442438d2-9a69-4e3d-9e80-9fa849215b37","resolution":{"observed_at":"2026-08-09T12:13:12.685847Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.03454","last_updated":"2024-03-14T20:09:17Z","snapshot_observed_at":"2026-08-09T18:51:04.387966Z","submitted_at":"2024-03-06T04:43:22Z","title":"Learning Constrained Optimization with Deep Augmented Lagrangian Methods","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.03454","snapshot_observed_at":"2026-08-09T12:13:11.719732Z","title":"Learning constrained optimization with deep augmented lagrangian methods","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.719732Z"},"links":{"cited_paper":"/paper/2403.03454","citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:94ca11fed57373c90a5696f1cc81793fb4d06b1e5dd25f650334628b862612be","observation_id":"06e20c11-944b-4e18-a8a5-7a0ea9df50fd","resolution":{"observed_at":"2026-08-09T12:13:11.719732Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.16378","last_updated":"2021-03-30T14:19:30Z","snapshot_observed_at":"2026-07-06T10:54:52.612871Z","submitted_at":"2021-03-30T14:19:30Z","title":"End-to-End Constrained Optimization Learning: A Survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.16378","snapshot_observed_at":"2026-08-09T12:13:11.723312Z","title":"End-to-end constrained optimization learning: A survey","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.723312Z"},"links":{"cited_paper":"/paper/2103.16378","citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:ee5d8b817fb8fc9ce9667be3fba00eb5c15cbf9a5baec894503c7eb7fbce7bf5","observation_id":"5d165e36-1c8a-4627-9108-9335055b72ee","resolution":{"observed_at":"2026-08-09T12:13:11.723312Z","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-09T12:13:12.673135Z","title":"Characterizing possible failure modes in physics-informed neural networks","venue":null,"work_id":"563e6f56-28d4-4603-8f7d-007abfcbcb8d","year":2021},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.727212Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:42e8f04062de986615b44e6620d6d1c30e5a9c43d19e03c46faddb65c85961de","observation_id":"072d869c-53b8-4de1-a7a1-8cf59bd4d74f","resolution":{"observed_at":"2026-08-09T12:13:12.676384Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T12:13:12.662533Z","title":null,"venue":null,"work_id":"ddd2dbc1-619c-426d-bced-cb420288e196","year":2018},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.731055Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:39654934c0765e493815b5008dd1116088d608e6114ad4d9f2d96c479fa21a02","observation_id":"d5196226-3c10-4319-ba22-0058213d1f07","resolution":{"observed_at":"2026-08-09T12:13:12.666652Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/72.286888","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Lillo, M.H","venue":"IEEE Transactions on Neural Networks","work_id":"cb538039-3d8f-4cbf-b215-0deb1e84cd7c","year":1993},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.734040Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:5bd03d13ea4b675a759b9b3ca882473e1868170dc087df6149c374665edceb3c","observation_id":"7b0b512f-c1f8-4569-b2c9-56eb5d64eaf8","resolution":{"observed_at":"2026-08-09T12:13:11.816567Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T12:13:11.737609Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.737609Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:1b6ada9c087489ebfd0ced41a6122a2f91d6af85915641b6970debc8ef5e05f4","observation_id":"b39b46f9-4d6c-4315-9972-a4264ab94f2b","resolution":{"observed_at":"2026-08-09T12:13:11.737609Z","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-09T12:13:12.652725Z","title":"On the number of linear regions of deep neural networks","venue":null,"work_id":"bab03dbe-70ea-4de1-bff4-047b59210c0a","year":2014},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.740606Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:eca11fb97963425762966da57a82aff1f05b14827826a1728a4b93a78a52f00c","observation_id":"667136c2-192b-4e0e-9b1b-87ac0da4c173","resolution":{"observed_at":"2026-08-09T12:13:12.656311Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2112.10510","last_updated":"2024-08-13T09:58:44Z","snapshot_observed_at":"2026-08-10T15:07:08.443841Z","submitted_at":"2021-12-20T13:07:39Z","title":"Transformers Can Do Bayesian Inference","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2112.10510","snapshot_observed_at":"2026-08-09T12:13:11.744274Z","title":"Transformers can do bayesian inference","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.744274Z"},"links":{"cited_paper":"/paper/2112.10510","citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:8e043314ec23e30e2e79ed50c37f2656f3f35f64603a21232a0b07a3ad4af648","observation_id":"8b5edf84-b60b-4c26-ae93-b574c1bd0cdb","resolution":{"observed_at":"2026-08-09T12:13:11.744274Z","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-09T12:13:11.748462Z","title":"Generative optimization: A perspective on AI -enhanced problem solving in engineering","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.748462Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:9772e6c99966568edf8da87cfd3b2594ac145c30ebe2b63fda5f669ac13a5261","observation_id":"dfea8db8-d98b-4f90-826c-484b84a761d5","resolution":{"observed_at":"2026-08-09T12:13:11.748462Z","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-09T12:13:12.644418Z","title":"Constrained optimization to train neural networks on critical and under-represented classes","venue":null,"work_id":"fcbc2dea-b293-4d3d-80b3-456c6b378bd7","year":2021},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.751710Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:29f35a36d9e3fc641ce6ac998b5df7bc987c5822e8479ade66248885523746d6","observation_id":"2674be86-4101-4419-a01e-14abdb646bcb","resolution":{"observed_at":"2026-08-09T12:13:12.647428Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T12:13:12.635084Z","title":"Provable editing of deep neural networks using parametric linear relaxation","venue":null,"work_id":"e8010cd8-8aa6-4db7-bc87-793ac8706ba9","year":2024},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.754898Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:5a6c15ca860b6af040ad5f61f4f311e71cc661ea0c8584dd9e5a3b3b782e1909","observation_id":"55b598b6-8359-4529-96de-c02eb728056d","resolution":{"observed_at":"2026-08-09T12:13:12.639198Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T12:13:12.625747Z","title":"Architecture-preserving provable repair of deep neural networks","venue":null,"work_id":"66741bb5-406a-4edd-8a99-4c5b356e8424","year":2023},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.758159Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:4a605fc6ec846564ff8d9f5d2c15027751e0a04ca88d2e78e8213a2ab75c9fa8","observation_id":"ad89101f-9fd0-4026-ad9e-d2638b1e5688","resolution":{"observed_at":"2026-08-09T12:13:12.629441Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2307.08336","last_updated":"2026-04-20T11:06:32Z","snapshot_observed_at":"2026-07-06T15:54:43.529621Z","submitted_at":"2023-07-17T09:12:05Z","title":"RAYEN: Imposition of Hard Convex Constraints on Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.08336","snapshot_observed_at":"2026-08-09T12:13:11.761159Z","title":"Rayen: Imposition of hard convex constraints on neural networks","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.761159Z"},"links":{"cited_paper":"/paper/2307.08336","citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:58b606c80f6c293d533338afde0496a475385e09fec8783785f34c570868e72a","observation_id":"98f2d3d7-c0a1-4636-8c9c-92f462d54435","resolution":{"observed_at":"2026-08-09T12:13:11.761159Z","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":"10.1109/81.995659","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Leung, and Jun Wang","venue":"IEEE Transactions on Circuits and Systems I Fundamental Theory and Applications","work_id":"711a4831-7ac1-40cf-b6e7-b32cf52ce181","year":2002},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.764217Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:949d291d5c16a7364d26ccb1148d0382c88f6b1cfd35ee9071b8481f30bc3e38","observation_id":"016efb8b-0361-4c29-b38a-ab218225ec5a","resolution":{"observed_at":"2026-08-09T12:13:11.801646Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T12:13:12.128107Z","title":"Physics-specialized neural network with hard constraints for solving multi-material diffusion problems","venue":null,"work_id":"3b84a7a9-5e07-4900-aded-c7bfad4aad9f","year":2024},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.768651Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:3a34d60ddc7beb8df120b180664007c1a17a0fbd0d43b1334e229a29ae6e806c","observation_id":"fa6f820f-8695-498f-8ce8-a6ae0a16d34d","resolution":{"observed_at":"2026-08-09T12:13:12.132337Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T12:13:12.616075Z","title":"Fast and accurate bayesian optimization with pre-trained transformers for constrained engineering problems","venue":null,"work_id":"d4b625a7-2c29-45ce-9fce-658fcb76fcf7","year":2024},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.771957Z"},"links":{"citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:01932195f07da8c0d549d5a16629b45c1c33ade82f0de3264ee74295d41b63f3","observation_id":"738a279b-44e2-49d1-a3c2-0c17d81e3dcf","resolution":{"observed_at":"2026-08-09T12:13:12.620451Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.08943","last_updated":"2023-10-29T22:11:39Z","snapshot_observed_at":"2026-08-09T04:57:57.631138Z","submitted_at":"2023-06-15T08:33:52Z","title":"Neural Fields with Hard Constraints of Arbitrary Differential Order","version":2},"cited_work":{"arxiv_id":"2306.08943","doi":null,"metadata_source":"pith","pith_arxiv_id":"2306.08943","snapshot_observed_at":"2026-08-09T12:13:11.830087Z","title":"Neural Fields with Hard Constraints of Arbitrary Differential Order","venue":"cs.LG","work_id":"bbabffd0-4d33-4b13-98c3-9c06e2ee055d","year":2023},"citing_paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-09T12:13:11.774889Z"},"links":{"cited_paper":"/paper/2306.08943","citing_paper":"/paper/2502.02434"},"observation_digest":"sha256:7e681b0d6e1687fd283bc7ccddaefd1492b3ab9bd320fdf929bfab089c36c2a6","observation_id":"f8b2d222-b590-4cd0-ba96-b5ae71636d53","resolution":{"observed_at":"2026-08-09T12:13:11.834282Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2502.02434","last_updated":"2025-05-26T16:16:03Z","latest_version":2,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-09T18:51:18.913773Z","submitted_at":"2025-02-04T15:58:12Z","title":"mPOLICE: Provable Enforcement of Multi-Region Affine Constraints in Deep Neural Networks"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":11,"verified_exact":6,"verified_fuzzy":13},"total_outbound_references":30},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 1 inbound Pith citation observation for arXiv:2502.02434."}