{"as_of":"2026-08-16T17:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:721213029479a0936511b12a83b40e84a32534539b0e93f10acda3af7de829fc","coverage":[{"denominator":53,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":53,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T13:45:34.772135Z","state":"measured"},{"denominator":54,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":54,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T13:45:34.582433Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-11T13:45:34.915918Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"cited_work":{"arxiv_id":"2412.13229","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.13229","snapshot_observed_at":"2026-08-11T13:45:34.915918Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","venue":"cs.LG","work_id":"75a2407b-b3b6-4162-8267-7e16b3e78ca7","year":2024},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.582433Z"},"links":{"cited_paper":"/paper/2412.13229","citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:69adc98b1286423c1135e75417a1761934a549efa6651e08953a7e70e83268a7","observation_id":"17540d9b-9f6d-4e62-b4cf-adcba8a45343","resolution":{"observed_at":"2026-08-11T13:45:34.928282Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2412.13229/citation-record","integrity":"/paper/2412.13229/integrity","json":"/paper/2412.13229/citation-record.json","paper":"/paper/2412.13229"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:34.381168Z","title":", \" * write output.state after.block = add.period write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.381168Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:05f9dd3866149efffa2356d0f91c9d4c8fa55c84da38ed819955dad94f20c377","observation_id":"e660cdba-99ac-4741-9ccd-0c89f3ce7a1b","resolution":{"observed_at":"2026-08-11T13:45:34.381168Z","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-11T13:45:34.390222Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.390222Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:a251c32bbea3e05866b7ef109b703ef75d65d1a7fc77f35cc3143459d19a50a6","observation_id":"c5480d6a-23e4-4030-9092-20ca1c07223d","resolution":{"observed_at":"2026-08-11T13:45:34.390222Z","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-11T13:45:36.318748Z","title":null,"venue":null,"work_id":"12decf35-7d31-4d9e-8ae6-ea77f102c408","year":2021},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.397131Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:15470b12a8baaf91fa530a9b9a066264c35ab58c89db26bdbc754ff88c3dcb2e","observation_id":"8c500a1b-632a-456c-a707-576b073125a6","resolution":{"observed_at":"2026-08-11T13:45:36.327071Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2109.00498","last_updated":"2021-08-31T01:29:56Z","snapshot_observed_at":"2026-08-14T20:06:42.494794Z","submitted_at":"2021-08-31T01:29:56Z","title":"The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.00498","snapshot_observed_at":"2026-08-11T13:45:34.404785Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.404785Z"},"links":{"cited_paper":"/paper/2109.00498","citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:aafda97a43cb19fd596cffb1fcb31811984ec3c96f495dd3cd3dcdb52d75eb4f","observation_id":"6bd00db3-fa74-47fc-a6d2-d4fdb01ad322","resolution":{"observed_at":"2026-08-11T13:45:34.404785Z","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-11T13:45:36.275272Z","title":null,"venue":null,"work_id":"b021a0ab-580e-4527-a240-fa81d41c7fdc","year":2024},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.411168Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:c23dd9eeb073cbfccbfc90c35c68d47be8393e3da454099acbab400233162b4f","observation_id":"32dc2fc3-96d5-4d97-bc48-953b450f3fbb","resolution":{"observed_at":"2026-08-11T13:45:36.291305Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:36.251487Z","title":null,"venue":null,"work_id":"655e247c-abf3-46ec-90d0-39c783883f53","year":2022},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.417837Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:bc45527b200ae542ee0ff487a61ad8e736f1a38e08a895a2fc7ff6f61c9becf7","observation_id":"dec7a72c-cca0-40c6-b624-c3a2d834ee47","resolution":{"observed_at":"2026-08-11T13:45:36.261108Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:36.210716Z","title":null,"venue":null,"work_id":"5fffbe35-bb0d-4224-983b-3cbc29efc87d","year":2021},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.424036Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:4e7f2a7f08ba26fba1fe7484f61426b9366fd68dcf71dca5833943139fa07d02","observation_id":"31fc1376-550d-4787-a113-68d2702ea97f","resolution":{"observed_at":"2026-08-11T13:45:36.222911Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:36.184296Z","title":null,"venue":null,"work_id":"3d2147cc-1cc6-4776-a56b-d8bfc4d09603","year":2023},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.431788Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:aa09cf5a38e35ac69c67abca74b246f5ac9ea41197cf28ae464e919e780d6d6a","observation_id":"bf81f089-d025-4003-94ee-cce9353a48bf","resolution":{"observed_at":"2026-08-11T13:45:36.191148Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:36.151822Z","title":null,"venue":null,"work_id":"226c3fbd-c2b1-4ee2-8df0-6baf31cb5414","year":2022},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.438242Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:3cd345743665cdcdf6eee0d9d1cfc4dafdf94788a6cd0ab14f99a6fad3151616","observation_id":"980cc218-22c6-4b42-b188-3aace1cbabfa","resolution":{"observed_at":"2026-08-11T13:45:36.163960Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:36.125081Z","title":null,"venue":null,"work_id":"c74095fc-be8c-4be5-8ec2-6359169607c6","year":2022},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.448827Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:c0f4f069cc4ad921d27832573f86cbacb0fcb6af3d2ca15ef7f62e79ff636679","observation_id":"1817f20c-e410-46c4-8c22-0647856f156b","resolution":{"observed_at":"2026-08-11T13:45:36.132763Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:36.085842Z","title":null,"venue":null,"work_id":"75461737-27d6-44c3-a5e8-b68f9811f9e9","year":2022},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.464049Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:f15af345551991c1078e3baec2f74bec8afeef1a31e406cb58025a27c776429f","observation_id":"8c08dd65-48c1-4da4-a970-725834ccef2e","resolution":{"observed_at":"2026-08-11T13:45:36.095178Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.14772","last_updated":"2023-05-31T09:35:21Z","snapshot_observed_at":"2026-08-16T16:49:28.394479Z","submitted_at":"2022-06-29T17:13:25Z","title":"IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.14772","snapshot_observed_at":"2026-08-11T13:45:34.472907Z","title":"P.; and Stanforth, R","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.472907Z"},"links":{"cited_paper":"/paper/2206.14772","citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:78d9ed7ea1eb3846ac23e227b799847636f88d51b6748195886ed4c6d37c9e56","observation_id":"f9b97058-6c23-4167-a084-009dfd9b9ff4","resolution":{"observed_at":"2026-08-11T13:45:34.472907Z","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-11T13:45:36.053975Z","title":null,"venue":null,"work_id":"27e7d1f5-32c0-486f-86e4-33a8cb8343f2","year":2017},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.481219Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:6bc3d9b4aa4b93ea033b914d11b7daf1af5fe56ca8356709ffc728e37373df4a","observation_id":"63ba634b-114e-4ef1-a73f-c305ebf25c5a","resolution":{"observed_at":"2026-08-11T13:45:36.067281Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:34.487252Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.487252Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:84d5ad737dde0804e0cc4405c84a00174ef0ac96199e8250489a42a2afdd0408","observation_id":"13aa3aa3-2500-492d-8f62-6161178843c8","resolution":{"observed_at":"2026-08-11T13:45:34.487252Z","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-11T13:45:35.996847Z","title":null,"venue":null,"work_id":"e2685d60-bd81-4b6e-8542-e77db85f8ea5","year":2018},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.494224Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:abf9ed838091fb491efeca4e11454eb4b81e3c82b2e63044f7b0d7f860e99b6a","observation_id":"331d3241-061a-4f8e-af23-1f81379a6e48","resolution":{"observed_at":"2026-08-11T13:45:36.016886Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.12715","last_updated":"2019-08-29T12:23:52Z","snapshot_observed_at":"2026-08-14T18:07:07.555009Z","submitted_at":"2018-10-30T13:12:47Z","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.12715","snapshot_observed_at":"2026-08-11T13:45:34.500647Z","title":"A.; and Kohli, P","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.500647Z"},"links":{"cited_paper":"/paper/1810.12715","citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:390a31cdc9f0f5c062879c50ace05c8e581a9fd19719f6efae959bc7e6a749c7","observation_id":"be6e2e08-2ded-475c-a657-44efcf96b5c2","resolution":{"observed_at":"2026-08-11T13:45:34.500647Z","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-11T13:45:35.964007Z","title":null,"venue":null,"work_id":"f74b9cff-236c-4998-a8e0-9b9a1ae1c91c","year":2021},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.508326Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:f901e7767ddb5b2ed03492caead5ae1ecc3d873cddc995f27b30b9e3ee705661","observation_id":"21fe9255-1e23-4236-8c6b-943006da697e","resolution":{"observed_at":"2026-08-11T13:45:35.972347Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.922941Z","title":null,"venue":null,"work_id":"ef2b6b24-9c72-4a52-b4a9-5f2fda280a9d","year":2017},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.515072Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:ac249d7275916554b15a5923df8319c00514fc1a04580562f883c5997e8f84a9","observation_id":"002708c5-a830-484b-b194-b7aca13be690","resolution":{"observed_at":"2026-08-11T13:45:35.929779Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.882586Z","title":null,"venue":null,"work_id":"5d52814d-7b60-4b86-bd47-3a0ca4b983c4","year":2022},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.521673Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:bb615fb82e08979d21def6a5b387922fb93d327d4f8c7b016c6a45a193cd96f6","observation_id":"9ec8a595-94ab-4efa-b98e-cfe75f9d98fd","resolution":{"observed_at":"2026-08-11T13:45:35.893167Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.852280Z","title":"D.; Kochenderfer, M","venue":null,"work_id":"fc395f20-32bd-4c79-89ec-93caff8df598","year":2019},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.527867Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:773924baeb363c159be5e4d5831e02a0a6fa997b3a452d7e248d9fdd0e9a506a","observation_id":"94da715c-4222-46b8-927f-921e78341ad8","resolution":{"observed_at":"2026-08-11T13:45:35.859033Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.820322Z","title":"L.; Julian, K.; and Kochenderfer, M","venue":null,"work_id":"ffbf2cb5-2918-424d-a64d-70abb956bc0f","year":2017},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.534735Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:721743925116cb6a6133dae27db78a753046783602697b426ad7e09b4a75472c","observation_id":"73505075-0485-4b8b-9b64-57a4f5bea8b1","resolution":{"observed_at":"2026-08-11T13:45:35.827646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.778007Z","title":"A.; Ibeling, D.; Julian, K.; Lazarus, C.; Lim, R.; Shah, P.; Thakoor, S.; Wu, H.; Zeljic, A.; Dill, D","venue":null,"work_id":"260df0f8-0914-4763-a805-caf509fbef37","year":2019},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.543953Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:c17609910c082b684e6ffd635f14891ffd934b46ec00b0bbb96f01f439422b05","observation_id":"1e29564f-c6be-4a51-be11-02664dd65f3d","resolution":{"observed_at":"2026-08-11T13:45:35.797907Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:34.557919Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.557919Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:683a8bd03c9906cd404e973989c2a7f3e1736a89760e0ad439f70585d6978c05","observation_id":"3b0de6af-e946-4056-a13c-531c8d1c29f0","resolution":{"observed_at":"2026-08-11T13:45:34.557919Z","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-11T13:45:34.567560Z","title":null,"venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.567560Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:c474eb2a999f9f7ce2cd8ddab8c873c4d1053e95f80fa41a14569f19e97d1e15","observation_id":"416449ef-ee96-4397-b60c-9085e38c9880","resolution":{"observed_at":"2026-08-11T13:45:34.567560Z","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-11T13:45:35.697642Z","title":null,"venue":null,"work_id":"7d4c8255-eaa9-4f22-83ee-fe85cb676c2c","year":2024},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.575079Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:b3daf74687235ebd8ee3ea77eafa7cb334d25cd68b2cac9fb2db04d4af1b2d4d","observation_id":"0802dce4-da2b-49b7-ae90-832c11a1f6ba","resolution":{"observed_at":"2026-08-11T13:45:35.704982Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"cited_work":{"arxiv_id":"2412.13229","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.13229","snapshot_observed_at":"2026-08-11T13:45:34.915918Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","venue":"cs.LG","work_id":"75a2407b-b3b6-4162-8267-7e16b3e78ca7","year":2024},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.582433Z"},"links":{"cited_paper":"/paper/2412.13229","citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:69adc98b1286423c1135e75417a1761934a549efa6651e08953a7e70e83268a7","observation_id":"17540d9b-9f6d-4e62-b4cf-adcba8a45343","resolution":{"observed_at":"2026-08-11T13:45:34.928282Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.664565Z","title":null,"venue":null,"work_id":"101ec4c3-453a-4723-b7f2-efc611952935","year":2018},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.588404Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:ff39bd722140b1fe46210177c1e794f2def60b1795eecd5a75955033f9fc3448","observation_id":"62246c5b-6c92-4104-be67-ebb98f9a836b","resolution":{"observed_at":"2026-08-11T13:45:35.673085Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.632345Z","title":null,"venue":null,"work_id":"0daeed0f-9776-4f7c-b61e-d5b2da39f267","year":2018},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.598272Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:fdeabc23028aba7e13b615850c57c634705d3a6d0420426898c39693df62e31a","observation_id":"8dc08f4a-f0b4-4aa6-86ff-407f537c4d7b","resolution":{"observed_at":"2026-08-11T13:45:35.640071Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2212.10376","last_updated":"2023-02-16T08:06:35Z","snapshot_observed_at":"2026-08-16T16:07:15.893730Z","submitted_at":"2022-12-20T15:58:01Z","title":"The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.10376","snapshot_observed_at":"2026-08-11T13:45:34.606896Z","title":"N.; Brix, C.; Bak, S.; Liu, C.; and Johnson, T","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.606896Z"},"links":{"cited_paper":"/paper/2212.10376","citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:c4e4669c5950ef69446e35485e57fba57119d82f097c775e9152368c72d58f02","observation_id":"69f481c7-d53f-4763-b11a-12bba393f7c6","resolution":{"observed_at":"2026-08-11T13:45:34.606896Z","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-11T13:45:35.588822Z","title":null,"venue":null,"work_id":"d9f62df6-35c0-42f9-92ac-b8a25fa0ac3b","year":2019},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.612998Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:a112d1f5511bb46e34917068c309e36ae93de70276a7d92af3f1fe6e5516e6e9","observation_id":"e4e34864-b4f1-4bf6-aaef-8823e6fa1e37","resolution":{"observed_at":"2026-08-11T13:45:35.596355Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.559183Z","title":null,"venue":null,"work_id":"64103141-a985-4b4e-a094-9c58906d878c","year":2020},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.620471Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:c7b6b26fd681610611a79195b655b159190880148a4a5ea8255dffda0b823eea","observation_id":"149559e2-dd47-46f0-972a-b9c6030ec97b","resolution":{"observed_at":"2026-08-11T13:45:35.567061Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.533211Z","title":null,"venue":null,"work_id":"6c683b29-b1f6-4f48-a8db-b095d9df0e44","year":2019},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.626802Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:b691e6b7689989f73d8567ff5cce50594d30543abde7afefc8af264c62c40e1c","observation_id":"f53f2c69-3912-4780-bdb7-a9ff78b11078","resolution":{"observed_at":"2026-08-11T13:45:35.540913Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.506984Z","title":null,"venue":null,"work_id":"7a9362ac-ff33-4f7e-b9f2-6d2b4f034fce","year":2021},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.633001Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:4390eb571bec6dccb7bbb3d581e983059f4be38bcbe700775fd64a529b707cca","observation_id":"80bd59f7-8ca3-4ace-a475-de18f35ef67f","resolution":{"observed_at":"2026-08-11T13:45:35.512895Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.484277Z","title":"Y.; and Tedrake, R","venue":null,"work_id":"6f649a22-2748-429b-8fea-3c725303a7fe","year":2019},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.639385Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:753edddeffda2b68d8863605952b659e41ec772473c4767648472301a27baa0c","observation_id":"df447b0c-3cd8-4673-b224-9cdcea899a5a","resolution":{"observed_at":"2026-08-11T13:45:35.492257Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.460355Z","title":"V.; Xiang, W.; Bak, S.; and Johnson, T","venue":null,"work_id":"ee6ccab7-1a64-40f7-b658-c342760c51a9","year":2020},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.646260Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:53e53a6a99214b32516e9fd2e6cbddcdaaa70b7df8108302c516d6335f87e46b","observation_id":"c6392c5f-25b4-44d3-8588-f8fd3a70c9d9","resolution":{"observed_at":"2026-08-11T13:45:35.467430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.428916Z","title":null,"venue":null,"work_id":"f9e4243d-8bef-4620-a65e-7f33f8470cf9","year":2008},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.654017Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:0e47f9da829d8937c16ce0fb5925b3aebe313d661e60d6d833b833375b000010","observation_id":"10338047-b606-490f-a307-d8072609e3b6","resolution":{"observed_at":"2026-08-11T13:45:35.439643Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.405877Z","title":null,"venue":null,"work_id":"0d933c88-5e84-41d0-883b-699664a8ae8d","year":2021},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.660075Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:aae6d19de4c283585ba4c09e244e449ace5c810ba474d67327dbcaa64494c1ea","observation_id":"5acefa06-57bf-45a0-960a-ff49c7ddd167","resolution":{"observed_at":"2026-08-11T13:45:35.413721Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.381534Z","title":null,"venue":null,"work_id":"7d109867-484b-4feb-b163-4c22306a603a","year":2020},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.666054Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:529e7fc5546f0c7afa6e6e3f45de4896193bf30db0ebd1595e0555b87cbf7666","observation_id":"a5f65baa-4a37-4408-b3f1-592a5851920e","resolution":{"observed_at":"2026-08-11T13:45:35.387926Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1708.07747","last_updated":"2017-09-15T21:29:49Z","snapshot_observed_at":"2026-08-13T15:13:33.081929Z","submitted_at":"2017-08-25T14:01:29Z","title":"Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1708.07747","snapshot_observed_at":"2026-08-11T13:45:34.673180Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.673180Z"},"links":{"cited_paper":"/paper/1708.07747","citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:5b8f66a3f885a84844733cc64058cad0ac81b59753b4204958156041e0857639","observation_id":"4cc73ed3-d19a-47af-9f9f-d03c95b68daa","resolution":{"observed_at":"2026-08-11T13:45:34.673180Z","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-11T13:45:35.355675Z","title":"Y.; Tjeng, V.; Shafiullah, N","venue":null,"work_id":"78a98ece-759f-4042-a73e-792001f96625","year":2019},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.682287Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:ba967506a08c704362ff86b7c50c54f63502eaa5534c7e3112c46f6b9f143ecf","observation_id":"746b1887-76ec-475e-8f2f-e70cb2b3d4ed","resolution":{"observed_at":"2026-08-11T13:45:35.361960Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.332738Z","title":"J.; Duong, H.; and Dwyer, M","venue":null,"work_id":"0b372994-cfd0-4b31-bd34-f534893fc4a6","year":2024},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.688044Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:e08f9a6f5fc764af0ecbd1311a7873863e660e82d2966cde828b55596bfd6cce","observation_id":"58a8061c-2e77-4413-ab7a-b573eab62982","resolution":{"observed_at":"2026-08-11T13:45:35.340161Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.310264Z","title":null,"venue":null,"work_id":"77a0fc5e-3728-4824-9b9e-d3677f6390b9","year":2020},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.694139Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:cf3cb51a8a8aa17cb628a05fb53db7edeed395b422ad2487f37c3f656086f1ea","observation_id":"339031d5-b987-4341-bc06-e1575a21d8c5","resolution":{"observed_at":"2026-08-11T13:45:35.316781Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1906.06316","last_updated":"2019-11-27T11:03:27Z","snapshot_observed_at":"2026-08-14T16:15:26.763241Z","submitted_at":"2019-06-14T17:44:40Z","title":"Towards Stable and Efficient Training of Verifiably Robust Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1906.06316","snapshot_observed_at":"2026-08-11T13:45:34.699983Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.699983Z"},"links":{"cited_paper":"/paper/1906.06316","citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:6f24716441c1c4c7af5439b4afcf99be33f1c1ff326a601268483c1027fa7e6e","observation_id":"418923c9-2353-40b4-a9c1-0974a7ef9c85","resolution":{"observed_at":"2026-08-11T13:45:34.699983Z","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-11T13:45:35.277682Z","title":null,"venue":null,"work_id":"9cf251a1-0c7d-4953-9df3-e61bab1724fd","year":2022},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.707159Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:d9c806f398214033a7959f5f93c1e26aabb79dc0371a24c4148b5bf5d250ca24","observation_id":"2792298a-3724-4e02-b39f-c274fa67db7b","resolution":{"observed_at":"2026-08-11T13:45:35.284760Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.248423Z","title":"P.; Ghaoui, L","venue":null,"work_id":"9cfc44c2-a45d-4901-8f18-1aa728e6269c","year":2019},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.713790Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:9a0ca4844a4e027f58920f0d9f48564cc5fcc83f8185fa2bb8232fa415763402","observation_id":"7e24260c-2a4a-4c6b-b895-2eeaaf7c2560","resolution":{"observed_at":"2026-08-11T13:45:35.257787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.221735Z","title":null,"venue":null,"work_id":"0c0a134d-1311-4a8e-8acd-bae5a109423e","year":2024},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.721335Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:53eca526c3dee3b600b85107206d1d0c912c425fa4ddc0ee7b5800f1b4c9c33a","observation_id":"0ed97894-3841-4139-a882-fc462c6e568a","resolution":{"observed_at":"2026-08-11T13:45:35.228685Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.197270Z","title":null,"venue":null,"work_id":"9e702b7c-f922-436e-8306-77762627d2eb","year":2023},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.727566Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:b0c6b5721c7704437cf9ba697bc6b758a9d41ccd0db3ac254f6e129723dd1eb5","observation_id":"3269e9f3-1f5a-49fe-a819-01ec6e675cf6","resolution":{"observed_at":"2026-08-11T13:45:35.203815Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.162710Z","title":null,"venue":null,"work_id":"6c9833fa-eb3b-48f4-b139-1f4a1394abdb","year":2021},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.734061Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:ee4a41648ece5eb9bf0d91262ce65e7b556eb11c38e092ca06c8a2f285da5cf1","observation_id":"43b12340-27c8-466d-9679-eca0d6ad1fa4","resolution":{"observed_at":"2026-08-11T13:45:35.171506Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.137882Z","title":null,"venue":null,"work_id":"854acdf1-475f-461a-9416-005d0c13d89f","year":2023},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.739987Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:130e0874ea5ec7ce85e897f239a01790e828b63fee76ce1146f30f366b64ccc3","observation_id":"3ecfa54d-0d64-4afa-9380-d65e61420263","resolution":{"observed_at":"2026-08-11T13:45:35.143985Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.108106Z","title":null,"venue":null,"work_id":"97aaaaad-fc1f-433e-8892-24c599060114","year":2022},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.745737Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:6f003b85d39ba6bddc744a29dd87a198a3d4df321a955ee1107776885d0393a8","observation_id":"44f2cd24-79f1-46a9-9ce3-71637f4059f0","resolution":{"observed_at":"2026-08-11T13:45:35.119329Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.073537Z","title":null,"venue":null,"work_id":"b8ec3931-4522-416f-8759-29de6339e810","year":2021},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.754452Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:85a385532412fda9fc1b7be9d93ec470dd9ffe1e1d91994b0ad1e87c78d2aa21","observation_id":"672b393a-1b1a-462b-a1b9-fbea9be17040","resolution":{"observed_at":"2026-08-11T13:45:35.081047Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.046070Z","title":null,"venue":null,"work_id":"cd742ed6-408d-442b-a29b-00fdfdd174ea","year":2022},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.762106Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:792d340e4f1ccaf9989b4c9238658cb70a0682ae41ce3b2020114e6563fefdf5","observation_id":"31b6af79-70ce-4c06-a2c0-f6a8556d29df","resolution":{"observed_at":"2026-08-11T13:45:35.052661Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:45:35.016684Z","title":null,"venue":null,"work_id":"dd5e914d-2f7c-46b9-9d5b-f67a9ab1599a","year":2017},"citing_paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","version":2},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-11T13:45:34.772135Z"},"links":{"citing_paper":"/paper/2412.13229"},"observation_digest":"sha256:b42fb77a0d0845dcf1d930fc9c5a7ad1de4d59822d44245e6d8507760fd7345a","observation_id":"c7f63485-86b5-47bc-a9ad-8d2abc8de2cb","resolution":{"observed_at":"2026-08-11T13:45:35.023962Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.13229","last_updated":"2024-12-29T13:48:34Z","latest_version":2,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-14T01:21:15.200347Z","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency"},"reference_resolution":{"displayed":53,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":44,"verified_exact":1,"verified_fuzzy":8},"total_outbound_references":53},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 53 of 53 outbound references and 1 inbound Pith citation observation for arXiv:2412.13229."}