{"as_of":"2026-08-23T11:24:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:10b94f31d6ddd0d47143a348e6b9b26aaecf50f37a42e18166bac11c6fa2b486","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T04:41:20.824751Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+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/1909.03835/citation-record","integrity":"/paper/1909.03835/integrity","json":"/paper/1909.03835/citation-record.json","paper":"/paper/1909.03835"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:41:24.364753Z","title":"Real time road edges detection and road signs recognition,","venue":null,"work_id":"54d81460-c3f2-46b7-88cc-51f91f5db8b6","year":2015},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:19.834751Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:7770b42906c843b98dc8f262b120bfb17c019134dbf8553a7d603d675a0246bb","observation_id":"adbf7af7-cbb6-436c-a237-40caf75af1a6","resolution":{"observed_at":"2026-08-14T04:41:24.399628Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:24.273503Z","title":"Guest editorial deep learning in medical imaging: Overview and future promise of an exciting new technique,","venue":null,"work_id":"7d403427-3c61-400e-9564-1fef8eb5125b","year":2016},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:19.865442Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:3914cce95235e52cf4378d435c70354106e83f6f6cdf57c4c0ed222182390942","observation_id":"064213c1-1558-40f1-a836-2b55db14b14c","resolution":{"observed_at":"2026-08-14T04:41:24.297061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:24.239416Z","title":"Testing advanced driver assistance systems using multi-objective search and neural networks,","venue":null,"work_id":"c019c954-f2dc-4852-a46c-a28369b03d35","year":2016},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:19.894768Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:05ea7337cea8ca9bf092b03ea87773bb049f72eaa402845222f5f60e62393312","observation_id":"8da45b8c-f8ac-441e-860f-a789c890276a","resolution":{"observed_at":"2026-08-14T04:41:24.266319Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:24.144821Z","title":"A domain strategy for computer program testing,","venue":null,"work_id":"76cd694d-1fe5-4cb8-8f5c-0652fc8b6692","year":1980},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:19.914848Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:07a5c23c2624efc0020c96eadfb975dc07e9fed5847b423495c0b1e3c743dd8a","observation_id":"b035224d-86b7-4487-b236-39f1c927f4df","resolution":{"observed_at":"2026-08-14T04:41:24.191977Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:24.002430Z","title":"Mitv: multiple- implementation testing of user-input validators for web applications,","venue":null,"work_id":"57d07bec-2736-43bd-ab79-d5405a4e872a","year":2010},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:19.964752Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:c46bde83ee38b24c25a3f1e1c884d4eb52bc814f2dcf13375f87c22a9bfdc74f","observation_id":"4646c20b-e436-4bb9-89f3-647f070f6764","resolution":{"observed_at":"2026-08-14T04:41:24.054754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:23.875047Z","title":"Perturbation-based user-input- validation testing of web applications,","venue":null,"work_id":"50d9533e-53e8-4499-95a2-4f70df1a19d2","year":2010},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.004231Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:dbddbf98cdbee268377ec0806b9b3bcb9687ef88ddd2bb6e64260c4f6b626e53","observation_id":"50a6e03c-e3de-44e7-9eb4-46058626ad8c","resolution":{"observed_at":"2026-08-14T04:41:23.914870Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:23.732767Z","title":"Semi-valid input coverage for fuzz testing,","venue":null,"work_id":"e1327d60-3d68-494f-8487-285b58e0d689","year":2013},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.064746Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:0ff161cd1f138eda9b543179cbceef76134b2084a3be8ee4ffbb478aec146cd0","observation_id":"2f92fadf-29fc-4457-8a26-a1bf5437956f","resolution":{"observed_at":"2026-08-14T04:41:23.774758Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:23.586642Z","title":"Bugs as deviant behavior: A general approach to inferring errors in systems code,","venue":null,"work_id":"83ffdefc-24d4-4677-9c3e-4d518f6aac05","year":2001},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.099777Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:63162e89a06e8c70a97131d4b28b51a5642045b42fb355fc3eb3bfab8dd886f8","observation_id":"124edf24-fa57-46fd-8f3d-0c6f454c382c","resolution":{"observed_at":"2026-08-14T04:41:23.620105Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:20.134747Z","title":"Reducing the dimensionality of data with neural networks,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.134747Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:31cf06680522d0a7fc0bbfcdec6fba19177d5c7dc9b1cebb0e9f85f734b8e0cb","observation_id":"4a541ffe-caa8-401e-a8fd-6607f9ecc353","resolution":{"observed_at":"2026-08-14T04:41:20.134747Z","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-14T04:41:23.342897Z","title":"Detection of traffic signs in real-world images: The German Traffic Sign Detection Benchmark,","venue":null,"work_id":"77099bf9-8e13-4ea3-84a9-7b6bf0079462","year":2013},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.149339Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:a351de3b229bf517302e505de615f6f48b9d3bd539c321da1a2e6eb634860674","observation_id":"c246abbc-76a1-4c6d-8702-1de23bfb0286","resolution":{"observed_at":"2026-08-14T04:41:23.390217Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:23.231771Z","title":"Scalable triangulation-based logo recognition,","venue":null,"work_id":"773d8c53-9de2-43b1-82d1-fbdd4a983907","year":2011},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.184750Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:54ed7b58d41f32562ea92fa8efa5ed5bf0a0d2663007208a45db7a4380905b83","observation_id":"b2b9bfbc-3341-4a0f-8dda-7801b237ff44","resolution":{"observed_at":"2026-08-14T04:41:23.264838Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:23.154746Z","title":"Gradient-based learning applied to document recognition,","venue":null,"work_id":"cc2e2425-fc94-4ba0-9f5b-2c5aa2e79532","year":1998},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.264771Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:109ec63cbdc6963ab26eea3a670cf5ceed7af5e0f02b61f4307be75aed69f6f1","observation_id":"4c85f95b-9d88-4647-b7c1-b6e171c0f1d7","resolution":{"observed_at":"2026-08-14T04:41:23.202966Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:20.293913Z","title":"Imagenet classification with deep convolutional neural networks,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.293913Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:008479b4b017aa6397d38f23a61d78c46ae7f63e3673a808c08b3a28e88c6dcf","observation_id":"ee9f17be-9cbf-430f-81e9-bf3b83d36ab4","resolution":{"observed_at":"2026-08-14T04:41:20.293913Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1409.1556","last_updated":"2015-04-10T16:25:04Z","snapshot_observed_at":"2026-08-17T19:17:06.411141Z","submitted_at":"2014-09-04T19:48:04Z","title":"Very Deep Convolutional Networks for Large-Scale Image Recognition","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1409.1556","snapshot_observed_at":"2026-08-14T04:41:20.314741Z","title":"Very deep convolutional networks for large-scale image recognition,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.314741Z"},"links":{"cited_paper":"/paper/1409.1556","citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:41221dd5467b4d022188cbc5a4b95b2040ae02c8000292baa593c6021c506770","observation_id":"67c7ba28-5f3d-469b-a7e5-931bb00a4787","resolution":{"observed_at":"2026-08-14T04:41:20.314741Z","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-14T04:41:22.994762Z","title":"Increased software reliability through input validation analysis and testing,","venue":null,"work_id":"c1bdcbf6-c601-49ea-b3b6-8a18e2786b56","year":1999},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.339335Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:93c3710ef5e5cd0c067cff33becd686d514fced65d2a24557943e63a11955363","observation_id":"e437af4c-e761-444d-b440-9890f9c1794b","resolution":{"observed_at":"2026-08-14T04:41:23.014746Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:22.864754Z","title":"Security testing of web applications: A research plan,","venue":null,"work_id":"2d4d3ba9-a2d3-4f0c-b8c7-bcd82062e69c","year":2012},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.362599Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:c15e4dc0ca6d67145221b4488e18431d6cb2201cfdcb3a496502e165a0579768","observation_id":"e90a27bd-cb7b-4c4e-ba97-cd2f9edc66dd","resolution":{"observed_at":"2026-08-14T04:41:22.903698Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:22.744751Z","title":"Semantic differential repair for input validation and sanitization,","venue":null,"work_id":"3c4c30a6-a6ba-462f-94df-73b33c8fe459","year":2014},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.393479Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:903ec0b556e97c62fe5b51be2477e69ee22bf389e8e4e9b61d86fa3453d2b017","observation_id":"b305d7e2-48bc-48cc-a395-d9a217ac2c46","resolution":{"observed_at":"2026-08-14T04:41:22.797241Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:22.621958Z","title":"Using parse tree validation to prevent SQL injection attacks,","venue":null,"work_id":"fae15e2d-8082-4f24-b5c4-49b5bdb1bade","year":2005},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.413048Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:eca3b2108cceb98c7b9295bee4ba3383ccf9d8647d9113af3177a9f45e884b14","observation_id":"347f35d4-1c19-4300-9fe7-8b87edf26697","resolution":{"observed_at":"2026-08-14T04:41:22.664754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:22.514864Z","title":"Saner: Composing static and dynamic anal- ysis to validate sanitization in web applications,","venue":null,"work_id":"5c49fa49-f93b-4700-8672-c1404ebcd50a","year":2008},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.423579Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:b8a2b7d2f3afa75995ae918fd3185be061a76778faddf970596b7e3ad1df8d20","observation_id":"49a3dc7a-79a0-49d9-b772-10e43e2cff02","resolution":{"observed_at":"2026-08-14T04:41:22.545137Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:22.421119Z","title":"Predicting common web application vulnerabilities from input validation and sanitization code patterns,","venue":null,"work_id":"be5d1616-fc71-474b-ad4c-0126292050d7","year":2012},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.434480Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:9447da320c94356bb6b0055c8da1ceb46848e2db366e6c2c6720eea246767d8b","observation_id":"22e2156a-5f40-41a9-adf2-d8d126f0cef8","resolution":{"observed_at":"2026-08-14T04:41:22.444750Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:22.303764Z","title":"Preventing input validation vulnerabilities in web applications through automated type analysis,","venue":null,"work_id":"c85d6582-1eab-44af-8834-d06435f6de80","year":2012},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.452352Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:809cb33ad4769aa56fbe0ceb0d42ee09b46757601ec744a671914d054cb41220","observation_id":"bb4011fb-8787-41d3-9d34-d27c3e6c5c37","resolution":{"observed_at":"2026-08-14T04:41:22.325299Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:22.191573Z","title":"Web application intrusion detection system for input validation attack,","venue":null,"work_id":"eca4d8b6-ebf9-4273-96c4-b5f041f6f38b","year":2008},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.483919Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:46ce80701c1f8ed835dd925c04040895ec617e32d0f2f09a1e939ce4e5081b4b","observation_id":"ac0df6b7-0cc5-47e1-ab3d-dcb9872040fd","resolution":{"observed_at":"2026-08-14T04:41:22.208745Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:22.114467Z","title":"Testing deep neural networks,","venue":null,"work_id":"73f1a69e-5d5b-405a-a0fd-12e6079cb347","year":null},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.502303Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:6d3cabc4518c0d7e2307796100043ffb705a3ef51e0a9020e86d394d60f41c78","observation_id":"94eb60ba-9df4-4b6a-a87c-524e3d26e1f2","resolution":{"observed_at":"2026-08-14T04:41:22.128158Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1807.10875","last_updated":"2018-07-28T02:11:40Z","snapshot_observed_at":"2026-08-18T03:58:55.469141Z","submitted_at":"2018-07-28T02:11:40Z","title":"TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1807.10875","snapshot_observed_at":"2026-08-14T04:41:20.556585Z","title":"Tensorfuzz: Debugging neural networks with coverage-guided fuzzing,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.556585Z"},"links":{"cited_paper":"/paper/1807.10875","citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:4bcdc1dcb62af79006de3e595db0f966b2556174ccf4cc924a4e457631d6ecaf","observation_id":"b21be7fa-2d81-4088-bf46-abfd1c64529b","resolution":{"observed_at":"2026-08-14T04:41:20.556585Z","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-14T04:41:22.020373Z","title":"MODE: automated neural network model debugging via state differential analysis and input selection,","venue":null,"work_id":"f1f4e4ac-160d-4568-828c-d0ffdb9b6dbe","year":2018},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.593284Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:bf41816bca3d7de01679b38b371a59b57a1c69d0cf300b0562d30605dd1f420e","observation_id":"7ccd2543-5e1f-4fbd-8d7b-ff351cf5151f","resolution":{"observed_at":"2026-08-14T04:41:22.044738Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1710.00486","last_updated":"2020-01-30T19:29:12Z","snapshot_observed_at":"2026-08-18T03:58:04.955301Z","submitted_at":"2017-10-02T05:09:52Z","title":"DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks","version":2},"cited_work":{"arxiv_id":"1710.00486","doi":null,"metadata_source":"pith","pith_arxiv_id":"1710.00486","snapshot_observed_at":"2026-08-14T04:41:21.000907Z","title":"DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks","venue":"cs.NE","work_id":"11487399-fb55-410f-b2ee-517b9e6545d3","year":2017},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.617874Z"},"links":{"cited_paper":"/paper/1710.00486","citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:d9a08ea2a55a8c640ced4f4d6dfa6ebf86ebb1445675b5b01c25333743b31fb3","observation_id":"c61cbfd3-e102-4e76-b507-aa8c44f8fe51","resolution":{"observed_at":"2026-08-14T04:41:21.024749Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:21.915036Z","title":"Deepmutation: Mutation testing of deep learning systems,","venue":null,"work_id":"4864b815-095b-4ba9-a8eb-a74d1788db67","year":2018},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.684874Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:a159297c8a38e46fd2933c4f21dab9d824e7a2a72783e42937021a7929374971","observation_id":"66817e8f-3d5a-46a9-9b5e-f5102a395bb0","resolution":{"observed_at":"2026-08-14T04:41:21.938453Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:21.784751Z","title":"Deepgauge: multi- granularity testing criteria for deep learning systems,","venue":null,"work_id":"c4a3c547-5a68-41b1-b4f8-4db3bcb1326a","year":2018},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.710923Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:6733364d6ab4992d33c5fb584032c7115837e1de919e64c93116415afcf89bbb","observation_id":"b1a2db65-8826-4029-8ac6-269ed779dda5","resolution":{"observed_at":"2026-08-14T04:41:21.815322Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:21.671476Z","title":"Concolic testing for deep neural networks,","venue":null,"work_id":"8e4376c1-61bb-4792-88bb-7cea0edcf340","year":2018},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.744750Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:54bfd9dfe6605be2aa9eb92d289df65636df79e4b28c4b198502f3599ebcf86e","observation_id":"dff4f841-7eb2-4cf8-864b-1961ebd6408c","resolution":{"observed_at":"2026-08-14T04:41:21.703889Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:21.584749Z","title":"Deeproad: Gan-based metamorphic testing and input validation framework for autonomous driving systems,","venue":null,"work_id":"37e118a9-9dd3-45dc-b8ff-fb428c6d51e4","year":2018},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.782714Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:1676f4a593669c87dd482c10ca3fe4f85e43769a474cc9da64c6532501242c7d","observation_id":"f54a864f-fe5a-4609-8de5-7554aab5e945","resolution":{"observed_at":"2026-08-14T04:41:21.606409Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:21.464826Z","title":"Deepxplore: Automated whitebox testing of deep learning systems,","venue":null,"work_id":"dafd73d2-458e-4f17-b38f-efea77835cda","year":2017},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.800312Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:464699bd6e13b75d5456bbabb1e3c1a9fbba82f1249117e3dc96c24dfde9a570","observation_id":"ee8b91cc-71d9-4d03-a3b7-6e0bda68175a","resolution":{"observed_at":"2026-08-14T04:41:21.494745Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-14T04:41:21.364753Z","title":"Deeptest: automated testing of deep-neural-network-driven autonomous cars,","venue":null,"work_id":"a585d812-75a3-4c43-b7df-f60eca433ef4","year":2018},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.824751Z"},"links":{"citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:89f20af0693c084915d1a1659cc5f526d0d8d6256e70f4527d2c69d917e1c6e3","observation_id":"1a40b245-79bd-4113-9107-57c87f3f6602","resolution":{"observed_at":"2026-08-14T04:41:21.403131Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1803.04792","last_updated":"2019-04-15T16:49:14Z","snapshot_observed_at":"2026-08-17T17:09:33.205199Z","submitted_at":"2018-03-10T23:19:13Z","title":"Testing Deep Neural Networks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1803.04792","snapshot_observed_at":"2026-08-14T04:41:20.522035Z","title":"Available: http://arxiv.org/abs/1803.04792","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions","version":3},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-14T04:41:20.522035Z"},"links":{"cited_paper":"/paper/1803.04792","citing_paper":"/paper/1909.03835"},"observation_digest":"sha256:7d08384cb5135b5a040512f2ee5c362e35ec7a286640ac4a1687b6e2ed65bf2b","observation_id":"eb3e146f-69b7-4961-a01e-5c93c4577707","resolution":{"observed_at":"2026-08-14T04:41:20.522035Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"1909.03835","last_updated":"2019-09-28T09:55:00Z","latest_version":3,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-15T09:48:26.479377Z","submitted_at":"2019-09-06T10:15:21Z","title":"Data Sanity Check for Deep Learning Systems via Learnt Assertions"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":5,"verified_exact":1,"verified_fuzzy":27},"total_outbound_references":33},"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-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:1909.03835."}