{"as_of":"2026-08-11T08:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5dad253fc8fff3e8d54f4d20a63dbda6066f29d6a63d3d63e2782cdc79a2f8b4","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-11T06:34:44.6726+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:f3a6e37dac945651cb878c400a7af3c198c37ec8581acc52e899aa5e5d60f3a9","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:b1b41b82ae860d368ff011754546f75b59c71f9db821891e1df4a848b3c6c08c","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:83ca3952946d2f3247316eccca280fb4eaf0db10dde711ddf2c4dca45a7c8850","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:653a79d21b4908e11071723cfc6c26187573780540c465fe7684b5aa870d5d15","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:5887754ab2f927a5a90f3f1693240d9430c05cc5875d8d9da44237c3a4bc1736","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:151968683e4ddd4df6902dc4192788dd97c835a5dfc63529f1f0b26443b4d38a","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:a77a68b55525a4c806f2c98950280ee0f22d036141e4fe75cafe5da6f055ef75","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:3fb0da8ef66426bacf386d50a6398e13900936d7a50fce91abc0c64f1f50ff85","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:8a77b4f409e8ce984f4daef0ce511048ac389581026e5d2e80c37b12deb8060a","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:c9ec4254986e4ce09ac5d7f94e55b60b4e8cd381c5fa81e3a71c9c8ec1aa0f51","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:7e1dbab4a784150341e739ba4ecfa58adddfd3c39bb99ea771b1279e28f13908","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:3ed5aae774312217f6e866dadb709a0eb448ccb043ab58591099baa3c0eb1763","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:16060d3a5f4b4bcf211f46a424c91b17ae46b696512d16b6771afbf325873365","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:d3a4b79fe9cef7ae6b8af00e861466fe9451e61c48137dea7e2a4d5c9c09db16","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:27f4029e1b3eaa932e9bfebcf73be6e4aa3298c23f651470385c67083af7db60","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:65d7ad5510057fd1b0db69545be591248c1cf77fe90b4e9aabab5156f410db0b","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:2fc600e96d7cd7781de1ea798bea9fa03f58a8054e3ff01a30b3ee6dffe8e8a6","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:0aa5ce7a5cda79e4e4bf80ea967185d823fa799d50b17c3cef5252677ccc7e2d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:db85841dd0f59bbfd9bf9fd96895aa47e5a93dab8b8bf3c09806ab4297a90ab4","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:6c597ab45066f65733e199b69b21a9f2fce8d548c1f089151c08d262c3c5ea18","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:38584837ebd861f4e7cb2ea82741f5a9590ea143d1c11f66c26606d9dbdcddab","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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."}