{"as_of":"2026-08-15T02:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8d70d5b0fb5be2cf58d98fae5f994908794862196f6f5a1ffbc5dc9c4f2d84fb","coverage":[{"denominator":60,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":60,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T22:57:11.339156Z","state":"measured"},{"denominator":60,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":60,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2412.03028/citation-record","integrity":"/paper/2412.03028/integrity","json":"/paper/2412.03028/citation-record.json","paper":"/paper/2412.03028"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T22:57:11.008380Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.008380Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:1c45b1f032d339da30c6d6e1054177d8a6b8325bff05d7ab13ebf0ad7008917e","observation_id":"43a5920c-6a1b-4068-86f7-d5795dc5bbbc","resolution":{"observed_at":"2026-08-11T22:57:11.008380Z","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-11T22:57:11.016226Z","title":"Maximal specification synthesis","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.016226Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:9b494c6a83ba5d1fe7899734cba460006f6e7feab2230cea8fbc9cc1f2f911ad","observation_id":"d0a3fc08-49b9-4ebc-8202-79feffc2534c","resolution":{"observed_at":"2026-08-11T22:57:11.016226Z","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-11T22:57:11.022768Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.022768Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:90fe8dd4420d507a0b37de7336af31e86c6d3bded6bc25cdde98d9fe6612e0d8","observation_id":"4149e28a-e651-4222-8bcb-5a098b55c35c","resolution":{"observed_at":"2026-08-11T22:57:11.022768Z","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-11T22:57:11.029174Z","title":"Madhusudan, Shambwaditya Saha, Shiyu Wang, and Tao Xie","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.029174Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:809173588c5d5cc1eab5ccd4ed3f85b8c4aeaff9a8564e9cdb30ed86b110fb5f","observation_id":"9c859a0d-c86a-492f-8bb2-eee5b7e073f0","resolution":{"observed_at":"2026-08-11T22:57:11.029174Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3485481","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T22:57:11.440177Z","title":"Madhusudan, and Tao Xie","venue":null,"work_id":"b48852bb-2af7-490a-9dbc-4200200c24dc","year":2021},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.034885Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:bbc887dca2cc914f7000121da488c519dbd73e0ff52c58f9ef2065e8ea1343b0","observation_id":"5ae06987-72d7-4606-9666-d15e6aa3c8f9","resolution":{"observed_at":"2026-08-11T22:57:11.586638Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:11.040270Z","title":"Madhusudan, and Sayan Mitra","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.040270Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:4391d61683a154bb3d3e4860bcf026cf274a19c916d8953673c5706d980d711b","observation_id":"abe43d4e-53ca-48a1-8703-742cc742ae8a","resolution":{"observed_at":"2026-08-11T22:57:11.040270Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1707.07397","last_updated":"2018-06-07T16:25:12Z","snapshot_observed_at":"2026-08-14T20:45:49.587140Z","submitted_at":"2017-07-24T04:17:33Z","title":"Synthesizing Robust Adversarial Examples","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.07397","snapshot_observed_at":"2026-08-11T22:57:11.045573Z","title":"Synthesizing robust adversarial examples, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.045573Z"},"links":{"cited_paper":"/paper/1707.07397","citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:2ea614f54663a1a6edbe342f1b67aca2fe00bf213d44c0da32a5e3b7e91e4b23","observation_id":"aa16a610-b541-4de9-97af-251b5a82b3d2","resolution":{"observed_at":"2026-08-11T22:57:11.045573Z","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-11T22:57:11.051697Z","title":"Developing a predictive model of quality of experience for internet video","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.051697Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:7315d0ad912e3c9d408d5bce49916507f01ed35617c19aaf93707ef442eb1160","observation_id":"f4a4876e-563c-48c2-bff3-fedad90da23f","resolution":{"observed_at":"2026-08-11T22:57:11.051697Z","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-11T22:57:13.358330Z","title":"Certifying geometric robustness of neural networks","venue":null,"work_id":"017fe9a7-981c-45a7-b6ba-b9205d8636d9","year":2019},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.058092Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:c06962113a9b1f4513e0bcdd47fc85f79a6d17993e45843fe0c347b0db863690","observation_id":"18981b45-7616-4f1b-8657-55c5eb2ab528","resolution":{"observed_at":"2026-08-11T22:57:13.365095Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:13.340293Z","title":"The Satisfiability Modulo Theories Library (SMT-LIB)","venue":null,"work_id":"2f64f0a7-f9ac-4047-a15e-344070d59592","year":2016},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.063129Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:c560dbe79c9f61ed007f7c36f9f36d5d49f492ab217f04ed046350d7d68dcd05","observation_id":"78ae049e-fb00-4edd-8f90-33e35fd91c8e","resolution":{"observed_at":"2026-08-11T22:57:13.345467Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:11.068385Z","title":"Specification inference using context-free language reachability","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.068385Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:523f83d97d06a4b9f03c3bb6622d4480fdecec7ab6dda2094be669653b1da4be","observation_id":"f5d3b4e5-7409-4e1e-9d22-0e29c9c6180c","resolution":{"observed_at":"2026-08-11T22:57:11.068385Z","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-11T22:57:13.320845Z","title":null,"venue":null,"work_id":"b65baa6f-6618-4c52-9708-dc94ea366a61","year":2023},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.073358Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:5c03b994d80d7e3de91ef59988c34671b9bc10aad4096e2e031485851d5d662a","observation_id":"d951d692-3030-4df8-8da6-8abe37074a01","resolution":{"observed_at":"2026-08-11T22:57:13.327606Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:11.078720Z","title":"Stephen Gunn, Soheil Hassas Yeganeh, and Van Jacobson","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.078720Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:5d67978d0061723258d766004e61c3bd4e04935cd4ba97eb6e63054fafdf5f89","observation_id":"b3dcc975-5d0d-4424-ae61-7dee55d8e131","resolution":{"observed_at":"2026-08-11T22:57:11.078720Z","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-11T22:57:13.299271Z","title":"Property-driven evaluation of rl-controllers in self-driving datacenters","venue":null,"work_id":"b8bf3e00-07c5-4732-b2d4-a4e12872653f","year":2022},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.083893Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:41e388697b8d39892d9b744f9c885adacc35595aaff35dd240d577e73cc3319a","observation_id":"27d1e931-a715-43a7-bb6d-a6d92bf43491","resolution":{"observed_at":"2026-08-11T22:57:13.305178Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:13.282646Z","title":"Comet: Neural cost model explanation framework","venue":null,"work_id":"441c1ce3-8c9e-4366-bdd9-fd6b2b69f4e8","year":2024},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.089735Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:ebe1f7ecb78f085fef1d50b745fa3d35241f9d988822fad4e89697326ed5432c","observation_id":"8ef3ba0c-505d-442c-acf9-15cc9706a1cb","resolution":{"observed_at":"2026-08-11T22:57:13.287768Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:13.262100Z","title":"Z3: an efficient smt solver","venue":null,"work_id":"a40918ea-35e0-4761-b991-8c79e8067d35","year":2008},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.094597Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:a2033129aaeedcd4af5d62a2a540b2f12be942d82272d386e0898ed244b252a8","observation_id":"08167fac-7423-4024-9b0f-affda12d5855","resolution":{"observed_at":"2026-08-11T22:57:13.268993Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/5pdh","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T22:57:11.398944Z","title":"Supporting standardization of neural networks verification with vnnlib and coconet","venue":null,"work_id":"8efc9b70-d8cb-4656-b72b-c4a0ad6714ec","year":2023},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.100963Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:88a2867052766eae124b31812eea82c02a4ad4d9c33499b93e8f0931374df3a2","observation_id":"60f1cbcf-cb75-4fb5-bad8-1ed95d20411f","resolution":{"observed_at":"2026-08-11T22:57:11.406160Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:11.108077Z","title":"The mnist database of handwritten digit images for machine learning research [best of the web]","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.108077Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:9bbed1a3018a5d66b69bc33b18670483ab567272c6da14f5c260fef393a8e289","observation_id":"7e77480b-c1d6-45ac-9b2e-ec9c7dcd402e","resolution":{"observed_at":"2026-08-11T22:57:11.108077Z","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-11T22:57:13.241084Z","title":"PCC vivace: Online-Learning congestion control","venue":null,"work_id":"9fc473b5-9cd3-46eb-965a-1bf378c6dc30","year":2018},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.113723Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:872741d866e59724224b121fe4457b87c8a9ce798763cf3a2dc2a586380b57fd","observation_id":"783a287f-0e15-49ac-8063-c507b42474d9","resolution":{"observed_at":"2026-08-11T22:57:13.247620Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:13.214749Z","title":"Verifying learning-augmented systems","venue":null,"work_id":"8019844b-99f3-4241-b931-582a5c2fac63","year":2021},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.118886Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:7de545b2c6134112e84b9d2eb225a1f629eeb06b157be3f688700973a4f47602","observation_id":"ed64ae70-3d46-4003-a673-ccc1a06964c1","resolution":{"observed_at":"2026-08-11T22:57:13.222543Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2405.30246","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T22:57:12.191349Z","title":"Ernst, Jake Cockrell, William G","venue":null,"work_id":"9b7c5331-22a0-47e4-baff-ba0afd89a2e1","year":1999},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.124504Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:f77f830045d1ed6392afb067c70263984ee4abb5df96f87b8f5c9b21a92f3310","observation_id":"76c4bfce-2122-4602-b0ea-d80e44b0294a","resolution":{"observed_at":"2026-08-11T22:57:12.200981Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:11.129851Z","title":"A density-based algorithm for discovering clusters in large spatial databases with noise","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.129851Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:9e2281f0792f639e8150569354505a21084ce5b529c16dd7466645a8cddae2b8","observation_id":"b3fc53e6-969f-4602-9269-9319c6ede673","resolution":{"observed_at":"2026-08-11T22:57:11.129851Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1707.08945","last_updated":"2018-04-10T16:22:47Z","snapshot_observed_at":"2026-08-14T20:44:49.961329Z","submitted_at":"2017-07-27T17:37:22Z","title":"Robust Physical-World Attacks on Deep Learning Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.08945","snapshot_observed_at":"2026-08-11T22:57:11.135438Z","title":"Robust physical-world attacks on deep learning models, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.135438Z"},"links":{"cited_paper":"/paper/1707.08945","citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:187de7d24775bfe3f23668afdd0e6c499b326a58d32d93073798643e7456a5f3","observation_id":"fa5cf8d7-766a-407c-87cb-b5eb2a9a9d6c","resolution":{"observed_at":"2026-08-11T22:57:11.135438Z","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-11T22:57:13.180127Z","title":"Complete verification via multi-neuron relaxation guided branch-and-bound","venue":null,"work_id":"1dc61103-badb-4e78-b9b3-e47c36006140","year":2022},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.140613Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:5783ad0872915cef776d9c5080cc50ac91c77643c8c0444e01c7d7e42b7cd575","observation_id":"fcd7b10d-8271-4ba2-8bab-02ac682c4a88","resolution":{"observed_at":"2026-08-11T22:57:13.187911Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:11.145678Z","title":"Ai2: Safety and robustness certification of neural networks with abstract interpretation","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.145678Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:67ace66bc3cadb8145695ed11526020706f990ed20019583d896166e526e2f94","observation_id":"bcc261e1-9cf2-4fe8-9cff-a9b264aaa284","resolution":{"observed_at":"2026-08-11T22:57:11.145678Z","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-11T22:57:13.158156Z","title":"Towards reliable neural specifications","venue":null,"work_id":"aa3e67f8-3a99-4375-920f-79f298ad9974","year":2023},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.150563Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:67a2862720093036ae79ca75dc50f72adab0a2cfd073a7748e1e5d964307b8c7","observation_id":"34134f55-4cdb-4fe1-ba02-a24111125f52","resolution":{"observed_at":"2026-08-11T22:57:13.168200Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.04662","last_updated":"2025-03-14T14:34:56Z","snapshot_observed_at":"2026-08-14T10:01:55.512654Z","submitted_at":"2024-04-06T15:31:20Z","title":"Learning Minimal Neural Specifications","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.04662","snapshot_observed_at":"2026-08-11T22:57:11.156671Z","title":"Learning minimal nap specifications for neural network verification","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.156671Z"},"links":{"cited_paper":"/paper/2404.04662","citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:cc1aa50f28919eaca6ef730e0701b95eefc5b62693ca064b4b845b2868e1b7de","observation_id":"d4b7535c-6dca-4563-a715-f009fabf8591","resolution":{"observed_at":"2026-08-11T22:57:11.156671Z","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-11T22:57:13.139260Z","title":"Cubic: a new tcp-friendly high-speed tcp variant","venue":null,"work_id":"9e3fdad1-0999-46d6-81ec-66291cb4816b","year":2008},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.164516Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:aa6b80bb0b793447cf740b53ae4a11c3650cb7cde6c9ca565958ab4685b17e7e","observation_id":"ef34fe8f-da6b-4a2e-ae7d-d07c2f540645","resolution":{"observed_at":"2026-08-11T22:57:13.145220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:13.121481Z","title":"Data Mining: Concepts and Techniques","venue":null,"work_id":"4bff500d-038d-4fda-aaf3-354781f941d6","year":2011},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.169851Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:b6e4dfdfb5ecb1e7386d4198469f8b3aa0ce74e0f03629c6e57f4069777b9a76","observation_id":"5e18cae4-3d23-4342-a0c2-1f4b848b36e9","resolution":{"observed_at":"2026-08-11T22:57:13.127353Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:13.097170Z","title":"Characterizing neural network verification for systems with NN4SysBench","venue":null,"work_id":"54b384d1-9d27-4e14-a535-fd103d7cc8f7","year":2022},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.174698Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:e27c06ed0459f135e9ae77b0fab9e30d4c5828463797fa94dd2aeb054ef97e5e","observation_id":"0421c728-ed93-4f58-83d9-bad2be1b5b2f","resolution":{"observed_at":"2026-08-11T22:57:13.103759Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:13.076304Z","title":null,"venue":null,"work_id":"312bab9d-bf9d-432e-8fd6-6b118f7e800d","year":1969},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.180113Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:84dd3062bbab8b22f4ecd84c69557e87e259a18c0fc9a0bd49ab422cf7f56bfa","observation_id":"c97b92c8-2615-4304-baf9-980a2d5e8803","resolution":{"observed_at":"2026-08-11T22:57:13.083343Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:13.054819Z","title":"A buffer-based approach to rate adaptation: Evidence from a large video streaming service","venue":null,"work_id":"2ed22819-b8a5-4fd1-a511-e8e192da49be","year":2014},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.185847Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:6d48539fe5551a8611e18e27629ecc8ac1da9c333b4e17146d6436b63b855d8b","observation_id":"e37e8b6b-4976-4f50-9021-1e2edade9908","resolution":{"observed_at":"2026-08-11T22:57:13.061714Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.12855","last_updated":"2021-07-27T14:42:57Z","snapshot_observed_at":"2026-08-14T10:01:54.925945Z","submitted_at":"2021-07-27T14:42:57Z","title":"Neural Network Branch-and-Bound for Neural Network Verification","version":1},"cited_work":{"arxiv_id":"2107.12855","doi":null,"metadata_source":"pith","pith_arxiv_id":"2107.12855","snapshot_observed_at":"2026-08-11T22:57:11.954993Z","title":"Neural Network Branch-and-Bound for Neural Network Verification","venue":"cs.LG","work_id":"5b72b43c-cce9-4f78-b199-99fd6223cf5c","year":2021},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.190846Z"},"links":{"cited_paper":"/paper/2107.12855","citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:d1db8d8d27d78a0e1a4c1c6a463d2b905079996e84819cca07e9fb97541e5b8b","observation_id":"b44ce24a-3d73-40dd-ba36-1d09d9336994","resolution":{"observed_at":"2026-08-11T22:57:11.962405Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:13.032278Z","title":"A deep reinforcement learning perspective on internet congestion control","venue":null,"work_id":"421487c8-19c4-46f1-81f6-b0978ee1ea45","year":2019},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.196390Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:76da8f918b0070874f79809e3e57962365edc317ef5e1a8121f5c25be1853f64","observation_id":"c6d5ec9b-836a-4b2d-a95a-8c09080252bd","resolution":{"observed_at":"2026-08-11T22:57:13.038793Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2010.11397","last_updated":"2020-10-22T03:03:45Z","snapshot_observed_at":"2026-07-06T10:07:02.034022Z","submitted_at":"2020-10-22T03:03:45Z","title":"When Machine Learning Meets Congestion Control: A Survey and Comparison","version":1},"cited_work":{"arxiv_id":"2010.11397","doi":null,"metadata_source":"pith","pith_arxiv_id":"2010.11397","snapshot_observed_at":"2026-08-11T22:57:11.925584Z","title":"When Machine Learning Meets Congestion Control: A Survey and Comparison","venue":"cs.NI","work_id":"924a41d7-b198-4f12-9d40-528753a28718","year":2020},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.201950Z"},"links":{"cited_paper":"/paper/2010.11397","citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:aa7241454e778e3c0ca0ba271e5d1d283ac0b4e46c030e9cb03d1ff3b2d6ace9","observation_id":"f30eca8c-aedd-4358-904d-1e0be889cf18","resolution":{"observed_at":"2026-08-11T22:57:11.932777Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1702.01135","last_updated":"2017-05-19T04:50:29Z","snapshot_observed_at":"2026-08-14T21:18:04.501600Z","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-11T22:57:11.207575Z","title":"Reluplex: An efficient smt solver for verifying deep neural networks, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.207575Z"},"links":{"cited_paper":"/paper/1702.01135","citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:081b670d7bcd2179c94520db230751b7985b866c21442831745fcb0d65da1542","observation_id":"fe893030-027b-48f3-b48d-e4060a4e6750","resolution":{"observed_at":"2026-08-11T22:57:11.207575Z","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-11T22:57:13.009272Z","title":"Towards instance-optimized data systems","venue":null,"work_id":"4fe8bf0f-8485-4fbf-a63a-4ea1aae58d2d","year":2021},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.213997Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:ff9d1d1f354353880abf4df3b103ebc9fe1573b2ae1ea893af606113b28e1b1c","observation_id":"1a26b3e1-221b-4cd7-9bf6-311124399c03","resolution":{"observed_at":"2026-08-11T22:57:13.015024Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:11.219667Z","title":"General ltl specification mining (t)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.219667Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:a5962a196ad3764ccca159b6bbeda49e3b32da531feaeafdbde6638d0f33b43c","observation_id":"42626cb8-c0c4-4ab5-a9bd-fa6502716134","resolution":{"observed_at":"2026-08-11T22:57:11.219667Z","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-11T22:57:12.989568Z","title":"Exploring practical vulnerabilities of machine learning-based wireless systems","venue":null,"work_id":"47bb359d-2f82-44ea-a37c-4cf1bcc28918","year":2023},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.225151Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:e50f04c03562bd2f0eb22068c22ce5a3c640c98b113d19ef02bd7be540a0bfcd","observation_id":"85f9df20-53da-43aa-901a-8713b298fd95","resolution":{"observed_at":"2026-08-11T22:57:12.996312Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1706.06083","last_updated":"2019-09-04T18:53:10Z","snapshot_observed_at":"2026-08-07T14:27:46.872660Z","submitted_at":"2017-06-19T17:53:11Z","title":"Towards Deep Learning Models Resistant to Adversarial Attacks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1706.06083","snapshot_observed_at":"2026-08-11T22:57:11.230235Z","title":"Towards deep learning models resistant to adversarial attacks, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.230235Z"},"links":{"cited_paper":"/paper/1706.06083","citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:e5a2bf498c4447f3b62bd0dcbdae729240699f43d388564bcbb0605fd77338e3","observation_id":"1eb4515b-3c65-42e4-9a15-4db6b20e0c50","resolution":{"observed_at":"2026-08-11T22:57:11.230235Z","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-11T22:57:12.967452Z","title":"Neural adaptive video streaming with pensieve","venue":null,"work_id":"2ceb4d67-33c0-4346-893d-07181dd0b55b","year":2017},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.235842Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:04db0cd5098b0c9b601d4e1758ea45e32757548ebec6d822fbd7f819e157325f","observation_id":"01c6154e-bbf2-49c7-85a0-96843ff56461","resolution":{"observed_at":"2026-08-11T22:57:12.975009Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.01963","last_updated":"2019-08-21T21:53:52Z","snapshot_observed_at":"2026-08-14T18:19:48.447336Z","submitted_at":"2018-10-03T20:43:31Z","title":"Learning Scheduling Algorithms for Data Processing Clusters","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.01963","snapshot_observed_at":"2026-08-11T22:57:11.241081Z","title":"Learning scheduling algorithms for data processing clusters, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.241081Z"},"links":{"cited_paper":"/paper/1810.01963","citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:277efbe4e7c15f038ff78b51cedb1e4a5d2fccfe0f9f109c51cee8bbede4cdcd","observation_id":"862f17b6-553a-474d-8a6a-0bd6d3e4d502","resolution":{"observed_at":"2026-08-11T22:57:11.241081Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1808.07412","last_updated":"2019-05-30T13:32:47Z","snapshot_observed_at":"2026-08-14T18:39:02.307493Z","submitted_at":"2018-08-21T03:40:21Z","title":"Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks","version":2},"cited_work":{"arxiv_id":"1808.07412","doi":null,"metadata_source":"pith","pith_arxiv_id":"1808.07412","snapshot_observed_at":"2026-08-11T22:57:11.828791Z","title":"Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks","venue":"cs.DC","work_id":"975ff8e1-29e0-4f8f-9d3a-8fab5076c5fe","year":2018},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.246798Z"},"links":{"cited_paper":"/paper/1808.07412","citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:decf8bf7d3b5731d62cafac29257911c0f7633d1fa2119638a74a1f90ab5b506","observation_id":"69010dbd-e6b4-495f-9a6c-e7de5a638ae4","resolution":{"observed_at":"2026-08-11T22:57:11.837012Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:12.946222Z","title":"Interpreting deep learning-based networking systems","venue":null,"work_id":"be087b3c-b569-4c5a-9a4d-0757489e905d","year":2020},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.252051Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:38aefd1abf505b9cb8c5a3ab902421a09f137c23c2c04c29021374bf2d65e392","observation_id":"bb61087f-ca4d-406b-90d1-62081c3f13f0","resolution":{"observed_at":"2026-08-11T22:57:12.952103Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2004.14756","last_updated":"2020-04-30T13:23:02Z","snapshot_observed_at":"2026-08-14T10:02:28.971348Z","submitted_at":"2020-04-30T13:23:02Z","title":"Robustness Certification of Generative Models","version":1},"cited_work":{"arxiv_id":"2004.14756","doi":null,"metadata_source":"pith","pith_arxiv_id":"2004.14756","snapshot_observed_at":"2026-08-11T22:57:11.792743Z","title":"Robustness Certification of Generative Models","venue":"cs.LG","work_id":"dfd8b2a9-2fc8-446f-b1e1-d7cf0f1b81f1","year":2020},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.258005Z"},"links":{"cited_paper":"/paper/2004.14756","citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:2f43b8f238140f25479b9103dd572dcba7068c73079691c04c318e05142a2dc6","observation_id":"dc086a8b-8c57-4692-9cab-573266458b67","resolution":{"observed_at":"2026-08-11T22:57:11.799573Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:12.926720Z","title":"Synthesizing specifications, 2023","venue":null,"work_id":"705ce64a-918d-4693-80e7-532da7018a25","year":2023},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.263103Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:e2a7fab76ce55436dd457a92fc7f905ba546a228411ac4d3bd91e5bd82ea1d47","observation_id":"6379bcb7-3be4-4285-8dad-54b82e3d7674","resolution":{"observed_at":"2026-08-11T22:57:12.934000Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:12.907630Z","title":"Adaptive bitrate selection: A survey","venue":null,"work_id":"64360118-e8e4-4aea-af2c-d991de52de86","year":2017},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.268006Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:96d63cb79b56253e46b181b3ca34d8a572ee88aa9ff37421e195019e7d268918","observation_id":"eda5cf79-37f5-4147-a23d-4b525ff7f7f6","resolution":{"observed_at":"2026-08-11T22:57:12.913691Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:12.887613Z","title":"Seshia, Ankush Desai, Tommaso Dreossi, Daniel J","venue":null,"work_id":"b4f2b6aa-12a4-4533-90e0-942ae83dcce3","year":2018},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.272940Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:de11b306fde5d30d2d81a835010f1bd4b7ac21cbddda5c37dbec15f3e9724602","observation_id":"2484586f-4f2a-4e9c-9da9-41358bff8934","resolution":{"observed_at":"2026-08-11T22:57:12.895627Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:11.277695Z","title":"An abstract domain for certifying neural networks","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.277695Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:e54b8c3aa8f110c02f3df5c7a4c006d7acd51e3bfacb6f70e333ce7845e284e5","observation_id":"00789309-545f-4a6f-a062-646fdc763a0b","resolution":{"observed_at":"2026-08-11T22:57:11.277695Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1312.6199","last_updated":"2014-02-19T16:33:14Z","snapshot_observed_at":"2026-07-06T03:31:33.797310Z","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-11T22:57:11.283052Z","title":"Intriguing properties of neural networks, 2014","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.283052Z"},"links":{"cited_paper":"/paper/1312.6199","citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:50198da3e249ad7cff41c822ca02dc5082c1fe1ad911abcafbf0983266c7ac47","observation_id":"ad2b4f4b-752f-414d-849f-26353601befa","resolution":{"observed_at":"2026-08-11T22:57:11.283052Z","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-11T22:57:12.865771Z","title":"Building verified neural networks for computer systems with ouroboros","venue":null,"work_id":"7d05f08e-054d-4786-a2b9-9966875c6101","year":2023},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.288707Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:e7669a9d9226f4920d2cf4aa458084b54d4a29a63a30e4b1f76ea4f94acac61a","observation_id":"3a2157b4-954b-4b5d-bc0e-bb76a136b4c7","resolution":{"observed_at":"2026-08-11T22:57:12.871667Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.00762","last_updated":"2024-04-02T05:44:02Z","snapshot_observed_at":"2026-08-14T10:02:39.986468Z","submitted_at":"2024-03-31T18:15:49Z","title":"Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.00762","snapshot_observed_at":"2026-08-11T22:57:11.293730Z","title":"Enchanting program specification synthesis by large language models using static analysis and program verification, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.293730Z"},"links":{"cited_paper":"/paper/2404.00762","citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:db0d6e77051ec6554455fe14026b7ae3499db66b525fec2ad51a021cf0e366dd","observation_id":"0c0f8858-da98-4af7-b7ea-24eaf66a65ef","resolution":{"observed_at":"2026-08-11T22:57:11.293730Z","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-11T22:57:12.846419Z","title":"Stochastic forecasts achieve high throughput and low delay over cellular networks","venue":null,"work_id":"8de43394-97b9-431d-abac-1ed80c845113","year":2013},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.299828Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:b5ae28a3d844d3e6047e9f9f32484af1fb69dc927c95699ca40d3384ea80d939","observation_id":"ecd83072-02ab-40a3-a7da-6c7c268b4123","resolution":{"observed_at":"2026-08-11T22:57:12.853366Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:12.823417Z","title":"Scalable verification of gnn-based job schedulers","venue":null,"work_id":"833fff60-3775-4847-9409-4abad7cf5b75","year":2022},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.305021Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:14acfc499fb2efe0624df0af3b0e9d57795dee18cb95bd11be2fdc9a7118ec0e","observation_id":"613a52d5-c625-4185-ada0-e1718adfb28f","resolution":{"observed_at":"2026-08-11T22:57:12.829947Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:12.802942Z","title":"Automatic perturbation analysis for scalable certified robustness and beyond","venue":null,"work_id":"755ab7b3-d436-4db2-b747-9afea207ad81","year":2020},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.310211Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:7d1ddb67d004162db7f4a1e16b8b3c8edd6251fb0857c0fdcffa4274db638f91","observation_id":"d0686f7b-b32d-433d-9208-9e807ec78f9b","resolution":{"observed_at":"2026-08-11T22:57:12.808887Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2011.13824","last_updated":"2021-03-16T16:35:00Z","snapshot_observed_at":"2026-08-14T10:01:52.320701Z","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-11T22:57:11.315769Z","title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.315769Z"},"links":{"cited_paper":"/paper/2011.13824","citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:24545c13546720e5b68029b8de77c99acbb880ad8f348fe9296dc7d3e039a7bb","observation_id":"822fd003-ba22-4063-b4cb-930c1aaa70fb","resolution":{"observed_at":"2026-08-11T22:57:11.315769Z","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-11T22:57:12.784687Z","title":"Yan, Jestin Ma, Greg D","venue":null,"work_id":"1302f63a-cd20-4c70-bbdd-13667d967b28","year":2018},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.322225Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:b18bd97fdcfa288a4136b561c48b94f581fd75a96569e0fcc8259662d0a9e19c","observation_id":"6b7730a3-745d-477f-a9b7-cd065cd13d84","resolution":{"observed_at":"2026-08-11T22:57:12.790637Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:12.762873Z","title":"Provable defense against geometric transformations","venue":null,"work_id":"71ea1aed-abc9-4898-9e5c-4f67027d6479","year":2023},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.327579Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:dc60be960d299106ddc2f65365aeca5f0808850db5f04e65c15c50dfbc4b39a8","observation_id":"3d1d788b-3809-4220-9a5f-0e35a8542f80","resolution":{"observed_at":"2026-08-11T22:57:12.770384Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T22:57:12.744608Z","title":"A control-theoretic approach for dynamic adaptive video streaming over http","venue":null,"work_id":"f3992f82-fe9d-4214-8eab-5c12fe8a321b","year":2015},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.333812Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:234b7ac1272f24c8b0c630811b822d1f7c817dc1ebc601030df3365690fdddc7","observation_id":"aa46e715-0c5f-4c60-ad89-73a2f539dc33","resolution":{"observed_at":"2026-08-11T22:57:12.750361Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5326.89707","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T22:57:11.678852Z","title":null,"venue":null,"work_id":"002cbf12-eacc-4807-92b4-fb8eb370ef28","year":2000},"citing_paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-11T22:57:11.339156Z"},"links":{"citing_paper":"/paper/2412.03028"},"observation_digest":"sha256:f7905f8bb9e46d34aae0966011a94b43e1204eef8c388eeb988ac3e826400993","observation_id":"18152e83-9d3e-4e84-a2d5-577f64c7ca63","resolution":{"observed_at":"2026-08-11T22:57:11.691713Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.03028","last_updated":"2024-12-04T04:45:36Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-14T17:14:08.802297Z","submitted_at":"2024-12-04T04:45:36Z","title":"Specification Generation for Neural Networks in Systems"},"reference_resolution":{"displayed":60,"state_counts":{"malformed_identifier":1,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":24,"verified_exact":5,"verified_fuzzy":28},"total_outbound_references":60},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 60 of 60 outbound references and 0 inbound Pith citation observations for arXiv:2412.03028."}