{"as_of":"2026-08-16T17:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:be6d34f101b720ca7c7301c9d79bd0ebb3cf547d71703de0959e05a1d143214c","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-16T06:30:59.297886+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:9c1dc4edbddb2515ff781dce9c6ae2bf3aa7281014d200c00d223e4cf2197661","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:afecad920241106be34ddb3392460ba4271418f25aeabe8cd09b4e121c29e68f","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:e4c6ac44e21c130ce6c218671394becbeba30e8b77f9f1cd6f53292db03981ba","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T14:07:58.642009Z","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:6eebd3e920b46ff52a5f05c3c58dbcac1ed8893eeae322749b465999f7bccb16","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:ef8da794b2c3450a8c7ea0cc31691a0c94d7a9bb68feac964dc65804df41bdb2","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T02:46:04.262270Z","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:44beacd8840070a048fbff9e8e47981f90ecfe9a689c055b991b2c4557591dac","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-14T20:06:42.494794Z","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:d89bf93b686140bbda79f0c9748651f1c4e8d458c8706ec72530a1cfc67df753","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:a7f65bffdef31eb7d3c79ae01fb17a1aad7caba5364a7124aa3ef7706fe87a40","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:a1fbf2c58a8304ac7bf611e45c171c0b4716e202f44f5ee2e870765e5cb29f21","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:1761f1d58230b38e8134c7c6b4f7c63e1fa20447c4af1cdfbee2b346b2ed0529","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:48c9688149d20ed3b15477877f3d8cc386f0eb850e4401e060d2f450062c60a0","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:44957a56671ee8ec3ce81bb13c5215de07c0c76814c4b6c2477c5aa39141fa88","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:9f33f5cd2c56ba2360156b0ed549aeb98ca376a258299f64d4f047ef05d3ee44","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:21e9dae9e1af63323aebc98dc282b6d4bf3e42578f672f2538f4a37ddd179617","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:939401d3248c55b5378d742f37a317a691a31c985b71d09b8ff1d5e458d7e71c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:bdea98f125ed53dc933c8fac46b8d4ba5b38caf0de33c5a2a8586b12b24e1ce2","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:baa73e7f64252867332e92f54a90a7b820e3276beb0713499f6ea230dfedf922","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:79fcd5019d6b8725e226d549beadfb6b29c005caa5571ceea90948b366e9be90","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:21d207feba02fd796f277c29229822a10d982c03943b831837fe04d28097e7bb","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:8e3b5c1899cac2338b7f6949d9e008681d04e7dd8e4a8258ef86cb1a8db13e53","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:2bbf728135a9bc87a37bcef2733716a5b55b8dc913a84c978128d2c3940bea76","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:7ebdcbcf8d3d9650448a938dc49bf03be3fc23601350a9b23a0ef0bd67fae644","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:a5698bfe84171d5bb8abdf00c11a14aa73062a609d1ee2e37152345f4a05b06a","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:35a14762af14d9f48cb9d61c7a925f72bda0f51d07769f56696e08999b3b2b1d","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:156a71d29df7aeb396cc45e8a8e9e0a9b90b0665960136f10931863a14d7ac4e","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:5a8ed3d12a9433cb501d401056d701213c25e4c2ed7a546083ed4d2558d94409","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:fd98f0a900e9384563874fb71a308ff87a64574cc7782e20b3585563449d85c3","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:8fcb2e3924408d33c72ead801b27a29bf1960aac4aff79f3ca7feadf4fc0f0ca","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:e9518d7baf6d39686515f34b6d7880a18809ba8a606fed8b3cdd79f4fdf6d55b","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:aa47cc93552ec8edddde86ffc6b557896b73fd90156618de2fcfb4cf36a896e2","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:ff43eb268e5fdd17680264f8a2894014aa36345df7347ae06ad4d2a50148e1dc","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:6e4bbb1f52d49d611cc698f756883d0e1fa62d4038de51bc654b8699846e4b63","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:50808cf01e4153827bb559e36c2dfec04f382caa3a3aa39074126c2512be35bb","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T06:48:14.164725Z","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:083780c7edca7bedfddf3eb073d36f37b07865b2a095b65eff1495156475975e","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-16T13:56:17.093663Z","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:a316c8f87f4067cce58ef9beab7e21825a674234f2d804ef1961f68977ec2e26","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-08T14:50:29.644660Z","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:9011775a35f8e3b8958f0f1b74a73f596e522403830b84760159510794448fe4","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:2a1079749ff14e9908986b79fb59a770b82604e0248ea55ea7d4e649539ed595","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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:f92f2122781ee98bc2c9088b33c21004d520477976e56770307c78810ce9abeb","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-15T13:00:16.363751Z","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:eb90d628f6de13f6836d36357e3c341c2240e8b7bd86339955101a61df6a989c","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-16T16:39:47.419557Z","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:baaa0f3af8303b903729c0af1637825e6e488926d1db5fe217c3c818dc44fa41","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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 76 of 76 outbound references and 3 inbound Pith citation observations for arXiv:2505.00466."}