{"as_of":"2026-08-17T07:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d0c837c5b905b9e12557b1e0e5ec0bfa99c4b150694d7f3bf952f231a1917c1b","coverage":[{"denominator":76,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":76,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T04:48:46.666730Z","state":"measured"},{"denominator":79,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":79,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-26T18:39:21.979619Z","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":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"cited_work":{"arxiv_id":"2505.00466","doi":"10.48550/arxiv.2505.00466","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.00466","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ArXiv.org","work_id":"15c07c90-9c60-4adb-a093-81891b180c83","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":16,"source":"arxiv_source","source_observed_at":"2026-05-14T17:29:39.346689Z"},"links":{"cited_paper":"/paper/2505.00466","citing_paper":"/paper/2605.13845"},"observation_digest":"sha256:005c4855a57bd205ac49d97fc5ec9ea912a9b25b8af30c374a1f5701cf595d5e","observation_id":"283ad881-d0be-48d9-affd-316e328fe479","resolution":{"observed_at":"2026-05-14T17:32:30.253386Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"cited_work":{"arxiv_id":"2505.00466","doi":"10.48550/arxiv.2505.00466","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.00466","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ArXiv.org","work_id":"15c07c90-9c60-4adb-a093-81891b180c83","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":16,"source":"arxiv_source","source_observed_at":"2026-05-15T05:40:16.030363Z"},"links":{"cited_paper":"/paper/2505.00466","citing_paper":"/paper/2605.13845"},"observation_digest":"sha256:f0d1ade7e53113a94970d6dd01bb4c43e96518f2e21f5e938ba84b7c69d3db91","observation_id":"d2cd5336-54db-4141-905d-a979470a4a0a","resolution":{"observed_at":"2026-05-15T05:45:05.185436Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"cited_work":{"arxiv_id":"2505.00466","doi":"10.48550/arxiv.2505.00466","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.00466","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ArXiv.org","work_id":"15c07c90-9c60-4adb-a093-81891b180c83","year":2025},"citing_paper":{"arxiv_id":"2606.19532","last_updated":"2026-06-17T19:26:01Z","snapshot_observed_at":"2026-07-06T23:54:51.451358Z","submitted_at":"2026-06-17T19:26:01Z","title":"Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-26T18:39:21.979619Z"},"links":{"cited_paper":"/paper/2505.00466","citing_paper":"/paper/2606.19532"},"observation_digest":"sha256:c709702a9463bba05741a8bb5bb6b6bf47c13bdc1a7d2cdf0d3c038654f986b3","observation_id":"a6564622-67e3-4868-81cb-ddf7f1db3cd1","resolution":{"observed_at":"2026-07-04T02:59:25.869968Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.00466/citation-record","integrity":"/paper/2505.00466/integrity","json":"/paper/2505.00466/citation-record.json","paper":"/paper/2505.00466"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2403.13700","last_updated":"2024-07-05T07:37:34Z","snapshot_observed_at":"2026-08-16T23:31:09.299739Z","submitted_at":"2024-03-20T16:04:57Z","title":"Taming Differentiable Logics with Coq Formalisation","version":2},"cited_work":{"arxiv_id":"2403.13700","doi":"10.48550/arxiv.2403.13700","metadata_source":"pith","pith_arxiv_id":"2403.13700","snapshot_observed_at":"2026-08-16T12:16:17.039197Z","title":"Taming Differentiable Logics with Coq Formalisation","venue":"cs.LO","work_id":"2d68941a-ef7e-4e9e-9c3a-9c27d8e7a76e","year":2024},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:44.988451Z"},"links":{"cited_paper":"/paper/2403.13700","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:8b49859db4bd61292e1afb1592429948a80861ede1032f31acd56e148af26e61","observation_id":"06dbaedd-57cd-4c4f-bf22-c41fd4902170","resolution":{"observed_at":"2026-08-16T04:48:47.271760Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:45.037370Z","title":"Proceedings of the AAAI Conference on Artificial Intelligence36(11), 13152–13154 (Jun 2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.037370Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:6f66e68856d052a8696f45ef81f0f8536387c0cef2d49304af96598ebd7dcf79","observation_id":"66949848-c373-4dca-8aec-246a205be368","resolution":{"observed_at":"2026-08-16T04:48:45.037370Z","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-16T04:48:49.463857Z","title":"In: Advances in Neural Information Processing Systems (Oct 2022)","venue":null,"work_id":"c9c5257f-5f40-459c-89ed-156f9b32ade4","year":2022},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.042245Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:da0a73a2821fb9fa611aa220350b2ca279734c16177fa078647c6fece6eff077","observation_id":"dac08955-cf89-4faf-bf3e-c049387324b8","resolution":{"observed_at":"2026-08-16T04:48:49.468494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2109.10317","last_updated":"2021-10-04T18:38:55Z","snapshot_observed_at":"2026-08-16T17:55:04.076391Z","submitted_at":"2021-09-21T16:57:01Z","title":"Introduction to Neural Network Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.10317","snapshot_observed_at":"2026-08-16T04:48:45.046682Z","title":"https: //doi.org/10.48550/arXiv.2109.10317","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.046682Z"},"links":{"cited_paper":"/paper/2109.10317","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:d39d0be11b336a631673cd1ec0824f5555f816893a0e6ea7875a8ad7f1c408df","observation_id":"23bdc485-ec28-49a6-bc5b-b0dd6dd51494","resolution":{"observed_at":"2026-08-16T04:48:45.046682Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.00498","last_updated":"2021-08-31T01:29:56Z","snapshot_observed_at":"2026-08-16T17:59:55.152335Z","submitted_at":"2021-08-31T01:29:56Z","title":"The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.00498","snapshot_observed_at":"2026-08-16T04:48:45.051783Z","title":"https://doi.org/10.48550/arXiv.2109.00498","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.051783Z"},"links":{"cited_paper":"/paper/2109.00498","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:6f04c02db5e452cba9c723c083918f15869ecc677d3d3ec3c7f5849a1395cd45","observation_id":"66bdc893-1070-4a38-99f1-03734ebffe34","resolution":{"observed_at":"2026-08-16T04:48:45.051783Z","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-16T04:48:49.448819Z","title":"In: Beklemishev, L.D., Blass, A., Dershowitz, N., Finkbeiner, B., Schulte, W","venue":null,"work_id":"6403ea3b-512e-4099-9091-207153bb77c1","year":null},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.056554Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:7b017e6c82ffe6b627e5fa05dc1600c06efd97c22e6416d33d055376694350b5","observation_id":"e6eff693-7ea3-4e4c-8e12-31a461daae80","resolution":{"observed_at":"2026-08-16T04:48:49.454427Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-08-16T14:31:18.143526Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-16T04:48:45.066925Z","title":"https://doi.org/10.48550/arXiv.2312.16760","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.066925Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:bd049e959b59cf9d1b353c57fd51faec49f97f4fd0faccf5b1e9cfba1e6a39cc","observation_id":"4e73aea8-5cff-4cf6-8372-febe1d042617","resolution":{"observed_at":"2026-08-16T04:48:45.066925Z","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-16T04:48:45.178727Z","title":"Interna- tional Journal on Software Tools for Technology Transfer25(3), 329–339 (Jun 2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.178727Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:d3090578913bf90894547f16cc15754d1c74a384d8d5dcace36844c5ab26f556","observation_id":"07e75016-41cc-43da-8947-bc255e7ce617","resolution":{"observed_at":"2026-08-16T04:48:45.178727Z","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-16T04:48:49.268192Z","title":"Journal of Machine Learning Research 21 (2020)","venue":null,"work_id":"27b16616-b6de-4081-bc8b-5bf40f8495b3","year":2020},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.291625Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:11dd476109439c6fe8674ea60f05bb54e29d4a38f7c5abe9c6a5d54d4cef404d","observation_id":"013c0363-c438-4da1-97dc-36d8a01811c7","resolution":{"observed_at":"2026-08-16T04:48:49.272570Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:49.140787Z","title":"In: Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems","venue":null,"work_id":"13e4f789-acc6-457d-ac00-a8da50eaea5e","year":null},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.296232Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:d2ca4f009ded685ff1adfc74a9732232585143304c087830165f10adff1b55cb","observation_id":"8d5f6cc0-dc5f-483b-b33c-3fffd42b7beb","resolution":{"observed_at":"2026-08-16T04:48:49.256623Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:45.301262Z","title":"European Journal of Applied Mathematics pp","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.301262Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:3ed893caf7f47b1aef5cd94dc6d349c3396c7c2ca2eca3587d2273b88b1349d5","observation_id":"a151a0fb-14f1-414d-84c2-cce68350a135","resolution":{"observed_at":"2026-08-16T04:48:45.301262Z","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-16T04:48:45.306510Z","title":"In: Shoham, S., Vizel, Y","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.306510Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:9cc7d61f959c23eaaf91e625a99aff1acb417fa5ee02a0ac87d8f5d9b531381f","observation_id":"58394031-06f9-4437-881e-52ee0cd1dc5b","resolution":{"observed_at":"2026-08-16T04:48:45.306510Z","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-16T04:48:45.310831Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.310831Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:bc3cacee1a8333bf252679fb579e2220238a951d06ab2056b3197b10d2f1c3c6","observation_id":"1a5f4792-ff02-45dc-a492-9418485e9988","resolution":{"observed_at":"2026-08-16T04:48:45.310831Z","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-16T04:48:49.084342Z","title":"In: Pro- ceedings of the 35th International Conference on Machine Learning","venue":null,"work_id":"ffb337f9-b506-444f-a183-b286e81287df","year":2018},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.315384Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:2ab957756059c3c2b11ac90b3aed8d16c60b7073f510c8e850e54847d051b03d","observation_id":"92fc8c37-3b61-450b-a281-f16d29997df3","resolution":{"observed_at":"2026-08-16T04:48:49.089835Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:49.069755Z","title":"In: Proceedings of the 37th International Conference on Machine Learning","venue":null,"work_id":"ed3c399c-13a5-4df8-96af-17225ee67b91","year":2020},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.319154Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:d6a78e8b6c7c41167ee42a8120f3776471de20b364e4c0a4761fb19916684c5b","observation_id":"0d1ea177-0410-4f24-9731-e0cbef51fc06","resolution":{"observed_at":"2026-08-16T04:48:49.074185Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:45.323045Z","title":"International Journal of Computer Vision128(4), 1028–1046 (Apr 2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.323045Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:fb7d9ac501e7d4661d27a68754910fe57a3971ef1b1b47bc218ecfb2a082cb02","observation_id":"84dedc72-09f6-4380-8b53-b8e29f5c3602","resolution":{"observed_at":"2026-08-16T04:48:45.323045Z","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-16T04:48:45.328141Z","title":"In: Kalpa Publications in Computing","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.328141Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:347c5328d4e7dc4dea938ad389f1c1a5934a5e06137dc1af81ad66d0029c34b0","observation_id":"ecb93d9b-3372-4d56-9461-090b4ad1e325","resolution":{"observed_at":"2026-08-16T04:48:45.328141Z","resolver_source":null,"status":"malformed_identifier"},"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-16T04:48:45.446815Z","title":"In: Proceedings of the 12th ACM SIGPLAN International Conference on Cer- tified Programs and Proofs","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.446815Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:2afaba91c40ac1ab7935d6294466b6076567fe2ceb3b5a847f7fc2320d6842f2","observation_id":"88aeef53-577d-4766-9e17-1677d7e0447b","resolution":{"observed_at":"2026-08-16T04:48:45.446815Z","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-16T04:48:45.477965Z","title":"https://doi.org/10.48550/ arXiv.2402.01353","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-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.477965Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:99505d58aa95902f2548b1ca2ab401c651d1dc52b22bae59aa87abc657c518e3","observation_id":"e2dc5f27-8e3e-43a6-b118-23e4e47a945f","resolution":{"observed_at":"2026-08-16T04:48:45.477965Z","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-16T04:48:48.895065Z","title":null,"venue":null,"work_id":"e2fd8af8-6629-4461-ae75-a7a090f04966","year":2022},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.482126Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:f7661e03060a5875350b6e27c6bd9c49b70b63bd8518d3b1c578a66e25ab34e3","observation_id":"7e92b4e3-df7a-41c9-a38e-711b9e308b72","resolution":{"observed_at":"2026-08-16T04:48:49.002918Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.06379","last_updated":"2025-06-06T00:25:20Z","snapshot_observed_at":"2026-08-16T14:28:02.903083Z","submitted_at":"2024-01-12T05:01:47Z","title":"Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.06379","snapshot_observed_at":"2026-08-16T04:48:45.486816Z","title":"https://doi.org/10.48550/arXiv.2401.06379","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-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.486816Z"},"links":{"cited_paper":"/paper/2401.06379","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:1d147d2d567d50f954bfd91479cecfa6418773d5718c41ba26e0e302440e8004","observation_id":"7e8c3299-b5b1-4063-a323-74f0cef8a61c","resolution":{"observed_at":"2026-08-16T04:48:45.486816Z","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-16T04:48:48.880994Z","title":"Artificial Intelligence244, 143–165 (Mar 2017)","venue":null,"work_id":"828e7812-b5f5-43ee-9d96-5633dd802af7","year":2017},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.491468Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:eec6938489ea3a544a9ed22db6e150882cf2794047c409050588e5869803f98a","observation_id":"de9d7d4c-aef3-48dd-8c28-f9d7721c772b","resolution":{"observed_at":"2026-08-16T04:48:48.885796Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:45.496054Z","title":"In: Ferrari, A., Penzenstadler, B","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.496054Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:5f569a5c5c1ad26f62be5c491196b3bd034219097b48c734bd3ef23d780e0a73","observation_id":"77155035-f6ff-45cc-b0e5-d100e040603e","resolution":{"observed_at":"2026-08-16T04:48:45.496054Z","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-16T04:48:48.867805Z","title":"In: Proceedings of the 36th International Conference on Machine Learning","venue":null,"work_id":"3b7ef918-8aa9-4354-81ff-cdc897964267","year":1931},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.500366Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:9dc6c25604437ed1c97bdf96b658a53668e4e08af3f1f9297af454deeb8ee7ab","observation_id":"828ca1c2-b747-4221-9bb4-155a089011cb","resolution":{"observed_at":"2026-08-16T04:48:48.872054Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:45.504753Z","title":"Science of Computer Programming244, 103280 (Sep 2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.504753Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:6a4e0ccca17aa39f1c25ffaae978831603ed4d0bdc9050af4c240b16b5e2c19d","observation_id":"68143c37-5910-45ef-ac40-2cbe93978e7e","resolution":{"observed_at":"2026-08-16T04:48:45.504753Z","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":"2608.37079","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:48:47.723161Z","title":"In: Pro- ceedings of the 40th ACM/SIGAPP Symposium on Applied Computing","venue":null,"work_id":"5e9bd41f-466e-4ecf-9915-8074f77d2eb4","year":2025},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.509012Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:a8d5aeb2be82ccb66fc8cb4882a47526205087bc316a0ef9af19bf1156f452c9","observation_id":"7d3706a5-74a8-4864-a2cc-fd77cc6b1553","resolution":{"observed_at":"2026-08-16T04:48:47.784460Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:48.854164Z","title":"In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","venue":null,"work_id":"97ca95ae-f24a-4c96-83aa-60407ff8f9be","year":2022},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.560151Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:f3598d90da1c6f4a141185424568ad6c1b9b17902e3803d332fcde366d3aec8a","observation_id":"b2ae1cb5-f14d-4125-ad48-f6b8fec1003b","resolution":{"observed_at":"2026-08-16T04:48:48.858739Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:45.609748Z","title":null,"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-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.609748Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:edd1ce9f139842bd04e713f8aabfa5b8c56fa031096cc9d2c4bce8f5142eaa2f","observation_id":"ed6190ae-4968-414b-a079-4a5ab863e344","resolution":{"observed_at":"2026-08-16T04:48:45.609748Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6572","last_updated":"2015-03-20T20:19:16Z","snapshot_observed_at":"2026-08-12T17:13:46.394331Z","submitted_at":"2014-12-20T01:17:12Z","title":"Explaining and Harnessing Adversarial Examples","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6572","snapshot_observed_at":"2026-08-16T04:48:45.697244Z","title":"https://doi.org/10.48550/arXiv.1412.6572 A General Framework for Property-Driven Machine Learning 21","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.697244Z"},"links":{"cited_paper":"/paper/1412.6572","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:c74499a605a1a5a33a9b1eb91c1bc67add670b23e5318455d3ba02155a43bf6b","observation_id":"d0c8ee4b-4e7e-4e9f-b5bf-12e02a8b4e82","resolution":{"observed_at":"2026-08-16T04:48:45.697244Z","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-16T04:48:45.794159Z","title":"In: 2019 IEEE/CVF International Conference on Computer Vision (ICCV)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.794159Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:07f72c992c9af204eb68e443a7432f741a7782338bfce2db78ac14988b910c2a","observation_id":"ad4f4ef3-e817-424c-b3ca-3adeea59347f","resolution":{"observed_at":"2026-08-16T04:48:45.794159Z","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-16T04:48:45.799758Z","title":"Computer Science Review37, 100270 (Aug 2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.799758Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:c500f81075441afd0e4f347dcbaa14f242ade0ab8b44f38686cbe9913454a4ad","observation_id":"9bd22e90-acd5-431c-b862-e939e934a6a0","resolution":{"observed_at":"2026-08-16T04:48:45.799758Z","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-16T04:48:45.804376Z","title":"In: 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.804376Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:91a6cec3af1ff34ad8c97099c156799adf00b992a981a7e793f093f017895b48","observation_id":"bdde50d4-c5ce-41a4-9244-ad114f3a313c","resolution":{"observed_at":"2026-08-16T04:48:45.804376Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1702.01135","last_updated":"2017-05-19T04:50:29Z","snapshot_observed_at":"2026-08-16T00:29:34.658589Z","submitted_at":"2017-02-03T19:26:01Z","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1702.01135","snapshot_observed_at":"2026-08-16T04:48:45.809270Z","title":"https://doi.org/10.48550/arXiv.1702.01135","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.809270Z"},"links":{"cited_paper":"/paper/1702.01135","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:ecebafc7e44ba0ea50281f0f4e21e455eea2dd218b592324e61b595ab0d70868","observation_id":"fc22028c-e2d9-4cb5-9d14-43453cd5a062","resolution":{"observed_at":"2026-08-16T04:48:45.809270Z","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-16T04:48:45.853090Z","title":"In: Majumdar, R., Kunčak, V","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.853090Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:ed0a07747f9b478c1735d2f6268725c6a1d318e2162c819b300b0e248185eaba","observation_id":"4c8ca27f-a295-40dd-9b99-7211bf48f8cb","resolution":{"observed_at":"2026-08-16T04:48:45.853090Z","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-16T04:48:45.930359Z","title":"In: Dillig, I., Tasiran, S","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.930359Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:e92879649485c2e74df4ea795da1e537488e3548e7b5125d6ca1a7e6f81750a5","observation_id":"3b68f9d4-35a7-4d8c-ae1e-44c9b6d09128","resolution":{"observed_at":"2026-08-16T04:48:45.930359Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.00622","last_updated":"2025-05-01T16:03:38Z","snapshot_observed_at":"2026-08-16T14:34:31.607260Z","submitted_at":"2025-05-01T16:03:38Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","version":1},"cited_work":{"arxiv_id":"2505.00622","doi":"10.48550/arxiv.2505.00622","metadata_source":"pith","pith_arxiv_id":"2505.00622","snapshot_observed_at":"2026-08-16T12:16:17.039197Z","title":"Neural Network Verification for Gliding Drone Control: A Case Study","venue":"cs.RO","work_id":"747312c6-625c-465c-979b-08e28b8dec53","year":2025},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.934818Z"},"links":{"cited_paper":"/paper/2505.00622","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:032007c88ac439c57ef7851ca675dd02cc67514930d96b61a9aa70e6940c59e0","observation_id":"ba4ac81f-752e-4623-9e3d-c29b177d2a59","resolution":{"observed_at":"2026-08-16T04:48:46.991499Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:48.789020Z","title":"In: Decision Making Under Uncertainty: Theory and Application, pp","venue":null,"work_id":"9dbf4c73-7766-46fe-8492-3c24bab26dd8","year":2015},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.939035Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:6b8f9646893823f21432c645631d4ba86621adb1780085107a554424287eb9ce","observation_id":"72b24d88-b11a-4d03-a5b0-76fe97b23903","resolution":{"observed_at":"2026-08-16T04:48:48.843888Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:48.662487Z","title":null,"venue":null,"work_id":"67402793-0349-4c14-bed4-e877b02532bb","year":2011},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.943122Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:8c459222eb420091546808947175b8989545c192cce041ed3d7fc1545daebf1f","observation_id":"110687c0-76d5-42e2-a382-9275674f8059","resolution":{"observed_at":"2026-08-16T04:48:48.680878Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:48.648797Z","title":null,"venue":null,"work_id":"ba303fa4-bda6-4d10-9daf-81aa0d65d14f","year":2009},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.981575Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:e7921a36adabe6bfedca08a448ad5ea0b43b50397edef25e64b5c55222609978","observation_id":"250a4219-e213-402c-9d3d-970f4053e9c5","resolution":{"observed_at":"2026-08-16T04:48:48.653263Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.19466","last_updated":"2025-06-16T10:05:22Z","snapshot_observed_at":"2026-08-16T12:47:04.176437Z","submitted_at":"2025-03-25T08:58:04Z","title":"A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.19466","snapshot_observed_at":"2026-08-16T04:48:46.081704Z","title":"https://doi.org/10.48550/arXiv.2503.19466","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.081704Z"},"links":{"cited_paper":"/paper/2503.19466","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:ccc1b8462e5d7c0a87767e0e37f30f0dcc9fe2b134f32b9834fc4fdae017fcff","observation_id":"66948541-ee31-4448-9911-04814050b725","resolution":{"observed_at":"2026-08-16T04:48:46.081704Z","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-16T04:48:46.108861Z","title":"Proceedings of the IEEE86(11), 2278–2324 (Nov 1998)","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.108861Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:89600c123b9b5f115b4ddbf62ab842f03d9bdd5c74a11a89cefc901338ba0a8b","observation_id":"277295a8-2ecc-4688-ba47-5fd0d80f6bbd","resolution":{"observed_at":"2026-08-16T04:48:46.108861Z","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-16T04:48:46.113556Z","title":"Journal of Fluid Mechanics937, A6 (Apr 2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.113556Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:c585192536f66fd0492299c345b44b7457c64d708f48b2a8fe71211769bf7771","observation_id":"891ce532-1c91-4838-913a-24ec2102f8c8","resolution":{"observed_at":"2026-08-16T04:48:46.113556Z","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-16T04:48:46.117757Z","title":"Foundations and Trends in Optimization 4(3-4), 244–404 (Feb 2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.117757Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:a3d3698ad8a0e08f4c7891048ea8a213b38de743e55d5e6fb74789a14bc30de9","observation_id":"9cb4d379-ab46-401a-ac3d-02e6c5e5cf32","resolution":{"observed_at":"2026-08-16T04:48:46.117757Z","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-16T04:48:48.634284Z","title":"In: Enea, C., Lal, A","venue":null,"work_id":"d0b16bf6-ac2a-4e13-89c9-75be86ce9e64","year":2023},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.121948Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:cec803a50f83eedb3fd08e7e75c8b028f70c4a1f6d1033823f707bbeac7a3533","observation_id":"6a99fcb6-97dc-476c-b94d-d3b93c47b4e0","resolution":{"observed_at":"2026-08-16T04:48:48.639471Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:48.549447Z","title":"In: International Conference on Learning Representations (Sep 2018)","venue":null,"work_id":"11cf642d-b9f7-4e5f-a605-6b8ad0bfb0b1","year":2018},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.215772Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:0e142c334d2aefb5c2e567de684188d3f5db89da5158bbb6c4f44bfb69e3ca8f","observation_id":"49fba81c-2459-45f6-bb37-94a17a321fe3","resolution":{"observed_at":"2026-08-16T04:48:48.624281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:48.396384Z","title":"In: International Conference on Learning Representations (Feb 2018)","venue":null,"work_id":"b847da30-136b-4f37-b712-fcb81309fdd5","year":2018},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.311139Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:26537e5340acef9c657d7ff0718e25a30ede15c4c9204846c51e8d3e43497af4","observation_id":"6bec7bf5-6da6-46ee-85df-676d2813c6d0","resolution":{"observed_at":"2026-08-16T04:48:48.446246Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:48.383018Z","title":"In: Advances in Neural Infor- mation Processing Systems","venue":null,"work_id":"dd410d6e-20ae-46a6-9c64-f3f3b027e82d","year":2018},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.315430Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:b5bf1af19da8fc20b91515bcae2ccb42c0fb364beb13872e7390750e0e3a8257","observation_id":"5959df6d-988f-4115-a24b-708b8c9e7d94","resolution":{"observed_at":"2026-08-16T04:48:48.387135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:46.319780Z","title":"In: Proceedings of the 11th Int","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-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.319780Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:5d27587c2df33aa1f01957f0bf3a085ae9370c75f1d53f9172fecd4c9c572358","observation_id":"59cec8bb-9959-4a92-a6b5-2f6b85997350","resolution":{"observed_at":"2026-08-16T04:48:46.319780Z","resolver_source":null,"status":"malformed_identifier"},"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-16T04:48:46.324886Z","title":"Cambridge Uni- versity Press, 1 edn","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.324886Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:f115a1036ff95e8cd5365d754dc3b507d0db5c66c906d3660c2b2645d827c2fb","observation_id":"14ed66f9-c971-4fed-897a-79254a433629","resolution":{"observed_at":"2026-08-16T04:48:46.324886Z","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-16T04:48:48.369368Z","title":"In: Proceedings of the 35th International Conference on Machine Learning","venue":null,"work_id":"a82b1da5-622e-4ec4-85ae-650682076de4","year":2018},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.329506Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:bb889b3f4b90845c740b4c0144e351bec9044d976def303f5f203bee7015edc9","observation_id":"3c5d5843-b55f-4da6-b2ba-5818ecfde1c6","resolution":{"observed_at":"2026-08-16T04:48:48.373923Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:49.365668Z","title":"https://doi.org/10.1007/ 978-3-319-23534-9_2","venue":null,"work_id":"47d2ca4c-05aa-4531-b070-222af611217b","year":2015},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:45.061658Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:ee385689c2d72785fc801a35e4a0d3d6ccc1bb15ef0fc65f36087ef0ef9d90cb","observation_id":"065865c9-aca0-43ef-85c4-519977461663","resolution":{"observed_at":"2026-08-16T04:48:49.439429Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12042","last_updated":"2019-03-12T08:13:30Z","snapshot_observed_at":"2026-08-15T08:46:38.148298Z","submitted_at":"2018-10-29T10:30:20Z","title":"Logit Pairing Methods Can Fool Gradient-Based Attacks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12042","snapshot_observed_at":"2026-08-16T04:48:46.333591Z","title":"https://doi.org/10.48550/ arXiv.1810.12042","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.333591Z"},"links":{"cited_paper":"/paper/1810.12042","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:90b08176a4fd58893c767966d2bbe571374848e34f9dd0179de59328ef24a4e5","observation_id":"6fb0ccc9-437f-4791-a555-c3ff82c5d35b","resolution":{"observed_at":"2026-08-16T04:48:46.333591Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2212.10376","last_updated":"2023-02-16T08:06:35Z","snapshot_observed_at":"2026-08-16T16:07:15.893730Z","submitted_at":"2022-12-20T15:58:01Z","title":"The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.10376","snapshot_observed_at":"2026-08-16T04:48:46.376534Z","title":"https://doi.org/10.48550/arXiv.2212.10376","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.376534Z"},"links":{"cited_paper":"/paper/2212.10376","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:3c62fdf53fbe2e059961ab35b9c9fd2c23ce2e2b1cec38f4aa1e5cb1e2453675","observation_id":"cf0e2fd4-646d-4bc3-bf77-a605bb5d536a","resolution":{"observed_at":"2026-08-16T04:48:46.376534Z","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-16T04:48:48.294550Z","title":"In: Advances in Neural Information Processing Systems","venue":null,"work_id":"047082ab-5635-43e3-8870-cd2a2a89cf62","year":2019},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.404388Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:b9a015f2bae40b3b33e3b4197f40b56e8d0b86dd448f6f980475b940573ab39f","observation_id":"b004d68c-cc4d-4822-9b04-a36f5d7d6995","resolution":{"observed_at":"2026-08-16T04:48:48.299469Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:48.196187Z","title":"In: International Conference on Learning Representations (Feb 2018)","venue":null,"work_id":"395b724d-e175-4e66-b6fa-f3ef23687dc0","year":2018},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.409634Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:a303e82d693d080f2a3cb4306f3ef165765c6afb5f7dce6ee537ca1d4d123b5c","observation_id":"68b07ac8-a4de-4b86-ab52-638517487c3c","resolution":{"observed_at":"2026-08-16T04:48:48.284518Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1606.04422","last_updated":"2016-07-07T12:28:57Z","snapshot_observed_at":"2026-08-14T21:52:48.572464Z","submitted_at":"2016-06-14T15:25:28Z","title":"Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1606.04422","snapshot_observed_at":"2026-08-16T04:48:46.413613Z","title":"https://doi.org/10.48550/arXiv","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.413613Z"},"links":{"cited_paper":"/paper/1606.04422","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:0177d402adae75fc3cf996d2b950da80c80aa4e773bfa3f917bbd5945975e4b3","observation_id":"ed2c1804-d7b0-47c4-a619-8c1c67c87ac2","resolution":{"observed_at":"2026-08-16T04:48:46.413613Z","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-16T04:48:46.418174Z","title":"In:Lahiri,S.K.,Wang,C.(eds.)AutomatedTechnologyforVerificationandAnalysis","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.418174Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:8f2333bd001e36c700d1ad885b9e4b5f4b9e2d6f5813a6ff4c8d8797459040ec","observation_id":"daf141dd-960c-4f33-9527-efc935963a00","resolution":{"observed_at":"2026-08-16T04:48:46.418174Z","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-16T13:47:19.522086Z","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-16T04:39:11.785049Z","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:bd75a7866c09a7b1d23be954fcedae5f4789399a464b3777bd07fa8c23afd805","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T04:48:48.141276Z","title":"In: EPiC Series in A General Framework for Property-Driven Machine Learning 23 Computing","venue":null,"work_id":"6e3624cc-1877-419b-a801-707d285a2760","year":2023},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.427738Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:ccadc2d571d4c17e17b04c0a684782ce4f763598b0ceb1cec79d72065e2d6b70","observation_id":"7883c6a3-3b14-414a-abb3-4e015a1c7bba","resolution":{"observed_at":"2026-08-16T04:48:48.147953Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:48.125404Z","title":"In: The Thirteenth International Conference on Learning Representations (Oct 2024)","venue":null,"work_id":"a7f78b42-c67e-46e8-a747-77e69546a2fb","year":2024},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.433073Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:7cf8b6f2d8a0f3f59549071f9528ef227829e234d58b67ee3f80da0be796efa2","observation_id":"4fc9d207-643d-484e-a101-f8d56c39371c","resolution":{"observed_at":"2026-08-16T04:48:48.129298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1312.6199","last_updated":"2014-02-19T16:33:14Z","snapshot_observed_at":"2026-08-15T16:41:15.505782Z","submitted_at":"2013-12-21T03:36:08Z","title":"Intriguing properties of neural networks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1312.6199","snapshot_observed_at":"2026-08-16T04:48:46.437271Z","title":"https://doi.org/10","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.437271Z"},"links":{"cited_paper":"/paper/1312.6199","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:ba31bd36d8a4e9d255cc3015448291f51dd9ab17f9fc12ea170cbc42ced98ebb","observation_id":"bcea39d9-eaf8-4e5e-baee-ee2536e54993","resolution":{"observed_at":"2026-08-16T04:48:46.437271Z","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-16T04:48:48.112242Z","title":"In: Lahiri, S.K., Wang, C","venue":null,"work_id":"31538cce-0802-435a-b36f-166156d71f5f","year":2020},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.506558Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:793fcd07d2f609fdba926885e3817bf43246ef72851dfeaa06592d8eea4b1aa9","observation_id":"9ae5e574-c5ac-4f39-998e-dbf571219674","resolution":{"observed_at":"2026-08-16T04:48:48.116063Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:48.097714Z","title":"In: International Conference on Learning Representations (Sep 2018)","venue":null,"work_id":"32a5123e-7906-4534-8702-475a3cc4aa8b","year":2018},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.561785Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:8941ea1bcc1881a7fdd877c30cf054c0b89c217643e0b16557a660bcd4941ef7","observation_id":"bbcc25a1-3943-4643-92c4-5785bee861ff","resolution":{"observed_at":"2026-08-16T04:48:48.102421Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2104.02466","last_updated":"2021-04-21T15:32:51Z","snapshot_observed_at":"2026-08-16T18:33:35.516674Z","submitted_at":"2021-04-06T12:48:17Z","title":"A Review of Formal Methods applied to Machine Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.02466","snapshot_observed_at":"2026-08-16T04:48:46.585741Z","title":"https://doi.org/10.48550/arXiv.2104.02466","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.585741Z"},"links":{"cited_paper":"/paper/2104.02466","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:6c449710d8e4636dff4848c78d7db1db72074e18baa147ceae92b325c9836e86","observation_id":"d33f7dd0-c9a8-43db-9345-4358bd6fb7e0","resolution":{"observed_at":"2026-08-16T04:48:46.585741Z","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-16T04:48:46.591248Z","title":"Artificial Intelligence302, 103602 (Jan 2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.591248Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:c4e038e2537a7345b0df77d45e5da93c7e34d36561e42f210ce6b4166819e82d","observation_id":"deaa34eb-06af-42a2-8559-60e73eefa220","resolution":{"observed_at":"2026-08-16T04:48:46.591248Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.00532","last_updated":"2024-07-03T06:34:31Z","snapshot_observed_at":"2026-08-17T04:32:51.911148Z","submitted_at":"2024-05-01T14:05:52Z","title":"ULLER: A Unified Language for Learning and Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.00532","snapshot_observed_at":"2026-08-16T04:48:46.595708Z","title":"https://doi.org/10.48550/arXiv","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-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.595708Z"},"links":{"cited_paper":"/paper/2405.00532","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:7e8f28fb08fc27e10f86cf2f06d2f43af1269362b1a403289872e4a8f3b49057","observation_id":"cd848517-ea2a-4442-a145-467b6379f053","resolution":{"observed_at":"2026-08-16T04:48:46.595708Z","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-16T04:48:46.600375Z","title":"In: 2020 American Control Conference (ACC)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.600375Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:e50ae8e113e0b76e09911866a5209e36af61c14c7a6a751531bec1f4a3936792","observation_id":"2738b62c-7f1d-4454-925e-eb753eca2ad0","resolution":{"observed_at":"2026-08-16T04:48:46.600375Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.06624","last_updated":"2021-10-31T22:51:18Z","snapshot_observed_at":"2026-08-16T18:39:38.974852Z","submitted_at":"2021-03-11T11:56:54Z","title":"Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.06624","snapshot_observed_at":"2026-08-16T04:48:46.604422Z","title":"https://doi.org/10.48550/arXiv.2103.06624","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.604422Z"},"links":{"cited_paper":"/paper/2103.06624","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:9b51479d0027f4e152f762265f892bd0fdd58a263599f092d16c8bf5edfad3b0","observation_id":"8d0fecc0-8e92-4611-899b-00a28f7932bc","resolution":{"observed_at":"2026-08-16T04:48:46.604422Z","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-16T04:48:48.083964Z","title":"In: Proceedings of the 35th International Conference on Machine Learning","venue":null,"work_id":"f89c8260-5a38-4f4e-8e01-50e0e97a47e5","year":2018},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.609054Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:b08db98fbe0398b8fcd943760a921825a5c1dd462899ecab823a22c9ddc3d653","observation_id":"8fef05d3-1aae-4e8f-b559-85deb394490c","resolution":{"observed_at":"2026-08-16T04:48:48.088490Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:47.992413Z","title":"In: Advances in Neural Information Processing Systems","venue":null,"work_id":"d04a8bc4-be2e-46ae-a2d2-979fe3ed78ad","year":2018},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.613308Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:5826736c031d1d00b4a14c249d3a86ed902e10c75800e90d174dc098827e1fed","observation_id":"bc520266-9679-4757-a42e-c779058a1635","resolution":{"observed_at":"2026-08-16T04:48:48.051460Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-16T04:48:46.617351Z","title":"https://doi.org/10.48550/arXiv.2401","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-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.617351Z"},"links":{"citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:d9c50af42ca88393940450ab5da6d4a874718bea99276f0ce3648e307bd740e3","observation_id":"f86be59f-cc34-442e-b295-06524b758742","resolution":{"observed_at":"2026-08-16T04:48:46.617351Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1711.11157","last_updated":"2018-06-08T00:05:58Z","snapshot_observed_at":"2026-08-14T20:08:38.467653Z","submitted_at":"2017-11-29T23:49:55Z","title":"A Semantic Loss Function for Deep Learning with Symbolic Knowledge","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1711.11157","snapshot_observed_at":"2026-08-16T04:48:46.621630Z","title":"https://doi.org/ 10.48550/arXiv.1711.11157","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.621630Z"},"links":{"cited_paper":"/paper/1711.11157","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:5e0540501a79255c9e987fd7adc6c9abfe2e1c16c71b65bda5ab607e5468ebbc","observation_id":"e058184c-88ad-4871-ad18-83a5f064077c","resolution":{"observed_at":"2026-08-16T04:48:46.621630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.12920","last_updated":"2020-10-26T03:26:40Z","snapshot_observed_at":"2026-08-16T01:59:06.393628Z","submitted_at":"2020-02-28T18:47:43Z","title":"Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.12920","snapshot_observed_at":"2026-08-16T04:48:46.625865Z","title":"https://doi.org/10.48550/arXiv.2002.12920 24 T","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.625865Z"},"links":{"cited_paper":"/paper/2002.12920","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:9453f63d022cbe76450a6a341566fd4a48b0da6cb181b03043d5a4cab4ce28b5","observation_id":"d624ae71-fffb-40c0-a8d5-b56ee6015daa","resolution":{"observed_at":"2026-08-16T04:48:46.625865Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2011.13824","last_updated":"2021-03-16T16:35:00Z","snapshot_observed_at":"2026-08-16T19:02:48.373981Z","submitted_at":"2020-11-27T16:42:12Z","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2011.13824","snapshot_observed_at":"2026-08-16T04:48:46.629978Z","title":"https://doi.org/10.48550/arXiv","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.629978Z"},"links":{"cited_paper":"/paper/2011.13824","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:76d2b73da311e42174bd4b16d899c1326cd1cb5fa55bddfe136b52fbdfa5077e","observation_id":"c05eb9df-7e12-4e89-9d67-fd40495570f5","resolution":{"observed_at":"2026-08-16T04:48:46.629978Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2208.05740","last_updated":"2022-12-04T09:39:50Z","snapshot_observed_at":"2026-08-17T00:24:53.582577Z","submitted_at":"2022-08-11T10:31:28Z","title":"General Cutting Planes for Bound-Propagation-Based Neural Network Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2208.05740","snapshot_observed_at":"2026-08-16T04:48:46.634837Z","title":"https://doi.org/10.48550/arXiv.2208.05740","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.634837Z"},"links":{"cited_paper":"/paper/2208.05740","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:fadd7832a3dc1d59aa4b43f7f83fec838acb1c24d50b41814b8098764ce583dc","observation_id":"d740f6f9-0c1c-446b-b305-f90dc9c52c5f","resolution":{"observed_at":"2026-08-16T04:48:46.634837Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1811.00866","last_updated":"2018-11-02T14:03:25Z","snapshot_observed_at":"2026-08-14T18:05:10.215431Z","submitted_at":"2018-11-02T14:03:25Z","title":"Efficient Neural Network Robustness Certification with General Activation Functions","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1811.00866","snapshot_observed_at":"2026-08-16T04:48:46.666730Z","title":"https://doi.org/10.48550/arXiv.1811.00866","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning","version":2},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-16T04:48:46.666730Z"},"links":{"cited_paper":"/paper/1811.00866","citing_paper":"/paper/2505.00466"},"observation_digest":"sha256:4f3b5389136fd66d200073c22d8475c6239bccedeb7d1d8dac5e8026bcb3d646","observation_id":"f42cc27a-beb1-414a-9319-4542718ee36c","resolution":{"observed_at":"2026-08-16T04:48:46.666730Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.00466","last_updated":"2025-06-24T01:27:12Z","latest_version":2,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-16T04:39:11.785049Z","submitted_at":"2025-05-01T11:33:38Z","title":"A General Framework for Property-Driven Machine Learning"},"reference_resolution":{"displayed":76,"state_counts":{"malformed_identifier":9,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":46,"verified_exact":0,"verified_fuzzy":18},"total_outbound_references":76},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 76 of 76 outbound references and 3 inbound Pith citation observations for arXiv:2505.00466."}