{"as_of":"2026-08-19T01:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:73bbe28792ecca6b5d2bd40005d4be066a916bf84efb326538d3c19bcce50174","coverage":[{"denominator":58,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":58,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T22:55:08.381466Z","state":"measured"},{"denominator":58,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":58,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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/2507.02916/citation-record","integrity":"/paper/2507.02916/integrity","json":"/paper/2507.02916/citation-record.json","paper":"/paper/2507.02916"},"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-06T22:55:09.318734Z","title":"An introduction to CORA 2015","venue":null,"work_id":"b1a63623-a51c-4bad-87bc-a05f6d4cdede","year":2015},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.080480Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:e6c60d16a5eb904076246195b69c5673f20498c34b4d8957a16e5a3bd6817895","observation_id":"728010e5-53b5-4759-a291-c4361fedb6da","resolution":{"observed_at":"2026-08-06T22:55:09.323476Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.304013Z","title":"Barrett, and Guy Katz","venue":null,"work_id":"a708aac6-2058-4303-9a89-11237aba5955","year":2021},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.085581Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:de0c52ff44edf7bdc1b8a29da6096b6da417244c7e2a21d4dfa8141ea1b6b026","observation_id":"9ead3938-8ea3-4f60-8a39-9b22e6537b8d","resolution":{"observed_at":"2026-08-06T22:55:09.308802Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.288763Z","title":null,"venue":null,"work_id":"ff3b3f82-fe64-4eaa-aa0f-48265462c795","year":2022},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.090667Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:6f75a62c116533b510de9657e1237e48dc15548c43b269bd0cadd8a264195682","observation_id":"c9fefaea-4b55-4556-9f73-5d3b6320ca59","resolution":{"observed_at":"2026-08-06T22:55:09.293493Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.272633Z","title":"nnenum : Verification of ReLU neural networks with optimized abstraction refinement","venue":null,"work_id":"8cb79c5f-b530-4308-9081-2af8e7d885de","year":2021},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.096313Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:b0d2c583721121137b840ac74a16ef5efe46dca33e7d1b454ddba53fe685964c","observation_id":"e445e3a1-4991-4da6-80bc-7a28650e0dd0","resolution":{"observed_at":"2026-08-06T22:55:09.278099Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.257551Z","title":"Meel, and Prateek Saxena","venue":null,"work_id":"abe1bbe7-183f-43be-b17e-dbdfc0a8bf55","year":2019},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.101672Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:34243b3df9eff7c3a786a22cf5e9a6391cbdc88d98d0122d0c31747e2de1c3ce","observation_id":"63c04a1d-bd11-480a-8291-ebdda0a735b4","resolution":{"observed_at":"2026-08-06T22:55:09.262667Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.240440Z","title":"Nori, and Antonio Criminisi","venue":null,"work_id":"8edf360c-6024-40c2-ac73-537a176e553e","year":2016},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.106942Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:0ea7be2db0873b842e2ad978ab1b671fd4a9b1e4ac8e0b98c70edea4420c1665","observation_id":"b075f597-e055-4554-8ba2-1fe84deb554e","resolution":{"observed_at":"2026-08-06T22:55:09.245676Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.225173Z","title":"CaDiCaL 2.0","venue":null,"work_id":"053f4445-946b-4c6f-ad79-090fe8368fe0","year":2024},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.119749Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:27d639f019fe22f2868891ea953b38141824b614f1853d2a9f69325a25ac1b02","observation_id":"2a5cd23e-184f-4f26-9397-0cb9c54f90d7","resolution":{"observed_at":"2026-08-06T22:55:09.230422Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.209590Z","title":"Certified dominance and symmetry breaking for combinatorial optimisation","venue":null,"work_id":"76f25945-6d3b-4646-be4f-b73f7880ce41","year":2023},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.124584Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:cb3098563957d8dcbbfe52db8e5e65338037e20a2cb8ad6b3d1865c6de680635","observation_id":"47b918d1-6c2e-4e91-9278-5f2ae3310361","resolution":{"observed_at":"2026-08-06T22:55:09.214743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1604.07316","last_updated":"2016-04-25T16:03:56Z","snapshot_observed_at":"2026-07-06T04:53:59.754200Z","submitted_at":"2016-04-25T16:03:56Z","title":"End to End Learning for Self-Driving Cars","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1604.07316","snapshot_observed_at":"2026-08-06T22:55:08.129549Z","title":"Jackel, Mathew Monfort, Urs Muller, Jiakai Zhang, Xin Zhang, Jake Zhao, and Karol Zieba","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.129549Z"},"links":{"cited_paper":"/paper/1604.07316","citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:b3604ac84fb5b62990c4cbdfc542a5c36ee716030217643244d5a29db010885f","observation_id":"1410a1fd-0fac-427a-9fff-c6af89fa27be","resolution":{"observed_at":"2026-08-06T22:55:08.129549Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19985","last_updated":"2024-12-28T03:07:00Z","snapshot_observed_at":"2026-08-17T18:49:09.020021Z","submitted_at":"2024-12-28T03:07:00Z","title":"The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19985","snapshot_observed_at":"2026-08-06T22:55:08.135713Z","title":"Johnson, and Haoze Wu","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.135713Z"},"links":{"cited_paper":"/paper/2412.19985","citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:c564da11530c95107139128f617aad89fd7e163332278bad0791d868945f726b","observation_id":"cfd3aa81-6861-4e73-924b-e3fbb248d9ab","resolution":{"observed_at":"2026-08-06T22:55:08.135713Z","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-06T22:55:09.193827Z","title":"Bryant, Wojciech Nawrocki, Jeremy Avigad, and Marijn J","venue":null,"work_id":"e6929c1c-2370-4110-878e-d37fe8e7ae8a","year":2025},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.140783Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:91967db37e8eab56310fd6734dd7dca75d762011cdecff19ea326f2c8cf08387","observation_id":"bac8ec0e-26b9-4472-bafb-dd1e8507ea40","resolution":{"observed_at":"2026-08-06T22:55:09.198855Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.177721Z","title":"Meel, and Moshe Y","venue":null,"work_id":"c702f930-eba0-4fa0-8459-b0058de1344d","year":2013},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.145848Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:4bebdfa3d7af4e1e60de18295dcd032aca75144206b1ddfe0201cd29ccbd4b4a","observation_id":"8015e91b-77a8-40fd-aaed-f5fc3624df41","resolution":{"observed_at":"2026-08-06T22:55:09.183344Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.162274Z","title":"NeVer2 : learning and verification of neural networks","venue":null,"work_id":"c2481b83-06e8-4077-9f1a-059828fe672f","year":2024},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.151881Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:596c0a93bd0513c7752feeb2894604dc935717fc63b9f85863e6e8ee125a7c6b","observation_id":"f2752a65-8a8b-4bc4-a54e-f778502219a1","resolution":{"observed_at":"2026-08-06T22:55:09.167437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.146563Z","title":"Passmore, Kathrin Stark, Ekaterina Komendantskaya, and Guy Katz","venue":null,"work_id":"e7809e4b-3fcf-4390-95bc-c2fb038b0d85","year":2023},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.158304Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:5aacf8d8d921644b1c0f30d1789c577ce8832e2fc4fca8d5d75297fdfb281a20","observation_id":"0eca1e8c-cd7c-4374-a12a-1d1037540629","resolution":{"observed_at":"2026-08-06T22:55:09.151670Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.132095Z","title":"BERT: pre-training of deep bidirectional transformers for language understanding","venue":null,"work_id":"fc868231-7ca0-4ba4-b1e8-21598064a2d0","year":2019},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.163648Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:1fceefb7f9225ab85fb9df4664ad557c2cc440364d294dfeed934f02923e27c1","observation_id":"6ab8662d-d0e9-42e8-8995-f9cae2fee0c1","resolution":{"observed_at":"2026-08-06T22:55:09.136534Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.115730Z","title":"Meel, Roger Paredes, and Moshe Y","venue":null,"work_id":"71a1358f-8dfd-4891-ae0b-925ecb162f98","year":2017},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.168616Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:4097410282c6155ea5f1f9b21108d2c00987dc883a9265e4a7c822140ddaee25","observation_id":"1b0af42a-e2b8-4e7f-81e2-25e97bdeb5c5","resolution":{"observed_at":"2026-08-06T22:55:09.121276Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.100439Z","title":null,"venue":null,"work_id":"843d3f9e-e0d6-4a67-b889-f2efa3f3a29e","year":2024},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.173212Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:92ce44ba0556dd342f21b9e3d0800b087998b4f03f85c36f00b5a0d87a279c66","observation_id":"8ea8740d-3785-4ba3-8f7e-1f9c66354d01","resolution":{"observed_at":"2026-08-06T22:55:09.105170Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.085705Z","title":"Effective preprocessing in SAT through variable and clause elimination","venue":null,"work_id":"17fc2c95-db8b-4a5a-bdfe-ff99149a32fd","year":2005},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.178020Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:44a0f9b8578845547ce2dd0251189a5f5137d7e573842ac05b04c869fd19367f","observation_id":"eac6740f-ff5f-47cd-83be-a140ce8a5f39","resolution":{"observed_at":"2026-08-06T22:55:09.090412Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.070138Z","title":"Divide and conquer: Towards faster pseudo-boolean solving","venue":null,"work_id":"7c4d96c7-ba7f-488a-b6ec-51f4b22a0855","year":2018},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.183151Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:22d7f2f0d0c393c726701b382c49b2987ea0e8dc1db79667106b5ce479d5d00f","observation_id":"5642b4a9-3baf-414d-9e8d-436c97f89e92","resolution":{"observed_at":"2026-08-06T22:55:09.075171Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.054859Z","title":"Proofs for propositional model counting","venue":null,"work_id":"bf5c28aa-4397-47f8-be07-56d79c6c1c80","year":2022},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.188839Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:e12f98c0a21a2b8028e392f3fce8ce3b1f8233ceeafad1302b223de7c7734c32","observation_id":"c783cefb-c7a7-413a-abca-d07da00b64e2","resolution":{"observed_at":"2026-08-06T22:55:09.059875Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.038940Z","title":null,"venue":null,"work_id":"96579480-a044-4c7c-a13f-1ea9ce4d4dfa","year":2022},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.193743Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:34132f2bf6f43e1e51a1bb509542cc7c1b63b4e3bec36c909d66f16dff845cba","observation_id":"69bbec59-b515-4b8e-8ef2-86d6acd2d10e","resolution":{"observed_at":"2026-08-06T22:55:09.043736Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.021374Z","title":"Deep sparse rectifier neural networks","venue":null,"work_id":"84170181-7511-4d0f-8ebc-4ee34cbdc9fe","year":2011},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.199050Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:8d1f2bd55e47e07a38ff322fbb27af2e8c19fc58dfd807102b65db98f43ef49c","observation_id":"a98b8112-4833-45fb-a532-0d1ea37126c5","resolution":{"observed_at":"2026-08-06T22:55:09.027475Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:09.005716Z","title":"BiViT : Extremely compressed binary vision transformers","venue":null,"work_id":"595870b0-f236-40f0-bc04-9896f3f9b803","year":2023},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.204263Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:449c19048f1e33b9913e243093cf943be16e26c1743624efe0287053263b5fa4","observation_id":"c13c9fdd-bfd5-48ab-bdc7-9b068977234e","resolution":{"observed_at":"2026-08-06T22:55:09.010877Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.987860Z","title":"Hunt Jr., Matt Kaufmann, and Nathan Wetzler","venue":null,"work_id":"44cfa022-a175-43a9-bf3b-9b37a44455c0","year":2017},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.210607Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:36bfce64e6fd96f23cdf6ed58a6ade7737c38f1e87e2ad7463d38536e6452c0c","observation_id":"aa538a4b-1d3b-477a-a476-2dd0d52e207a","resolution":{"observed_at":"2026-08-06T22:55:08.994662Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.972619Z","title":"Safety verification of deep neural networks","venue":null,"work_id":"ae9c8cab-cc78-40a8-8b2f-b4e4cd2f1b13","year":2017},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.215696Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:8d80be2eee7b5aaa3301eb0fd2c1198f1c8665024a8db4022aec03ecb6cc8adf","observation_id":"69f33704-bff5-467d-80ee-0a81b07ab956","resolution":{"observed_at":"2026-08-06T22:55:08.977642Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.956889Z","title":"Binarized neural networks","venue":null,"work_id":"dc24a6fc-d717-4bb5-abc5-790c21e9a7c6","year":2016},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.221092Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:fd7f1904e9ec495210b3d764d1341c1cfeb3655bab69ccfb3b447b4fdfd6d08e","observation_id":"d4a9f0f8-7ecd-42cf-a9e6-28669bfc5318","resolution":{"observed_at":"2026-08-06T22:55:08.961893Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.939576Z","title":null,"venue":null,"work_id":"a6a5ffe3-f126-4d8c-989e-be0719c66861","year":2020},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.226409Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:795f526824f14aa3ee723d921d39d7b775ae565c2966d4c3316c3afa0458c5f5","observation_id":"94e07782-f13a-4650-a864-c286caf1ea2f","resolution":{"observed_at":"2026-08-06T22:55:08.944743Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.922648Z","title":"Johnson and Michael A","venue":null,"work_id":"ed1fc3a7-460e-47b7-89e9-90f5a31cc2d8","year":1996},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.231947Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:4253cb613202a76b8093d9572cade79d8ed39c11e92bd8132970ff10208b12db","observation_id":"fcb17ba9-6a5a-4e49-b252-94d1b84108c7","resolution":{"observed_at":"2026-08-06T22:55:08.927590Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.907173Z","title":"Julian, Jessica Lopez, Jeffrey S","venue":null,"work_id":"c21540e1-1d94-4c4c-8b7c-8193ae1af11c","year":2016},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.237365Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:95b7447fb68b82a791e7658353272ba10d2bed16605c4df66fee6ff744b54afe","observation_id":"474434aa-1b96-4641-bf1b-64f5663ae5e4","resolution":{"observed_at":"2026-08-06T22:55:08.912241Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.892526Z","title":"Barrett, David L","venue":null,"work_id":"38612ee2-ced1-4a92-9e0f-5236a59bfb4d","year":2017},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.242808Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:c03795246eeae99203c65db7352053904df4c59730f84eb0ed12e178d55418aa","observation_id":"874a9c95-2282-4718-9e22-711f9a6ce05f","resolution":{"observed_at":"2026-08-06T22:55:08.896917Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.878145Z","title":null,"venue":null,"work_id":"478613a8-5e84-4868-baf6-c7243d534093","year":2012},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.247594Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:fb8781f4a2ec72feb0c0f4596083b97b32a165a9286bdfda5897697fb21f5c66","observation_id":"0c77c1a4-b0d8-494c-a403-911079b31375","resolution":{"observed_at":"2026-08-06T22:55:08.882588Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.863028Z","title":"Efficient verified (UN)SAT certificate checking","venue":null,"work_id":"dee110ee-a20d-49d1-9148-f8b826a6c80c","year":2020},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.252189Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:17ee266d1b3adce14d467d3f1eaa75a405548e9ff5932e2ba2644b85d3ed3007","observation_id":"83b952bd-6866-452c-b39b-3308874f99b5","resolution":{"observed_at":"2026-08-06T22:55:08.867808Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.23903","last_updated":"2025-09-05T15:41:39Z","snapshot_observed_at":"2026-08-16T13:04:10.414038Z","submitted_at":"2024-10-31T13:05:46Z","title":"Neural Network Verification with PyRAT","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.23903","snapshot_observed_at":"2026-08-06T22:55:08.256519Z","title":"Neural network verification with PyRAT","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.256519Z"},"links":{"cited_paper":"/paper/2410.23903","citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:5c3acc41a6b06d45f2a4236d3a381723190eeee23bfd803c4f8cce0a973f5c40","observation_id":"90c3864b-c7b5-4fb4-9fd1-3003d6a08d18","resolution":{"observed_at":"2026-08-06T22:55:08.256519Z","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-06T22:55:08.849038Z","title":"AWQ: activation-aware weight quantization for on-device LLM compression and acceleration","venue":null,"work_id":"d4e7d69b-92ea-4780-9847-94948172abd1","year":2024},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.261283Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:8d529481aca276fffe3c2a5a0a6f87a0b297738924e5fa589546b309e3045a91","observation_id":"ce1e57c2-2438-4bfc-943f-6594d39a16b9","resolution":{"observed_at":"2026-08-06T22:55:08.853494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.835036Z","title":null,"venue":null,"work_id":"cc0fc41a-0e57-41f7-a1e3-eb665ddd7b8f","year":2023},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.265873Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:db342b20eab42d3ab04bd7ab00577177ada2545254fe8bc941ae35e2f7e15cb3","observation_id":"25cdb88f-a4d3-4e45-9998-9ae21d2b29cf","resolution":{"observed_at":"2026-08-06T22:55:08.839230Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.820518Z","title":"McConnell, Kurt Mehlhorn, Stefan N \\\" a her, and Pascal Schweitzer","venue":null,"work_id":"d8e0ba8f-7726-4c8b-9e08-2e0635564a2b","year":2011},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.270690Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:85bebb211d276d4ca4247e793493351689234da6b20ccbcf1a338d3f1446bf4e","observation_id":"1f39f383-e5a3-47b2-900f-289939ac25a9","resolution":{"observed_at":"2026-08-06T22:55:08.825030Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.805908Z","title":null,"venue":null,"work_id":"d31b28ce-e4a8-4555-aa4e-c20ccc61ddc8","year":2017},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.275813Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:8ed7ba1fa49365900b47cccadccd05759d61899277befd473bb3ef50be186d48","observation_id":"a5a1fd01-08a2-4694-adb5-de1a50edcf6c","resolution":{"observed_at":"2026-08-06T22:55:08.810643Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.791048Z","title":"Verifying properties of binarized deep neural networks","venue":null,"work_id":"ea382eee-c243-4c95-9f12-f62e242d3a76","year":2018},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.280823Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:020e3592aa91b7c33ed1dad56a9f530bc84a6ba5d74a12655d9cebadda402df1","observation_id":"7b3e8eeb-a9e3-4b51-bf15-4e80fe99b3b8","resolution":{"observed_at":"2026-08-06T22:55:08.795791Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.776157Z","title":"In search for a SAT -friendly binarized neural network architecture","venue":null,"work_id":"2ffafc0a-892f-4bb4-969a-30978da506ad","year":2020},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.285685Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:535cce896c29404f90cdc875190c042fcf1f4067adc8d8461b58d168a7efacbb","observation_id":"92b3f9a8-ebf7-4e2c-993b-045a6a19013c","resolution":{"observed_at":"2026-08-06T22:55:08.780883Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.761127Z","title":"XNOR-Net : ImageNet classification using binary convolutional neural networks","venue":null,"work_id":"52ac2a79-efe3-485e-afac-d1373e8d8ff7","year":2016},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.291134Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:28a1ef514e5c4e3aaf08f970a840d94f9cacbdc3dc8eddf37b46e91d22323ba9","observation_id":"2663bd3a-1d81-4585-8774-73357f87a02b","resolution":{"observed_at":"2026-08-06T22:55:08.765932Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.746095Z","title":null,"venue":null,"work_id":"568b4235-0680-4c4b-9189-24f579ad060d","year":2019},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.296204Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:dc8920063a2ba3f52a8524e68e0098a4fb5d7d771d104b2672468aae49515c34","observation_id":"e3e88a7b-f5d2-4cf9-9e47-9c8123df1870","resolution":{"observed_at":"2026-08-06T22:55:08.751117Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.729993Z","title":null,"venue":null,"work_id":"0ade265e-bde9-462e-b974-f53e67734fa7","year":2016},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.301266Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:f63e13a685afc72a3a95f298f0e87450d3cfcd5b90bce3f62e35cc36c94f3e92","observation_id":"8628d23f-47f4-48df-aff6-f51652096900","resolution":{"observed_at":"2026-08-06T22:55:08.734988Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.714321Z","title":null,"venue":null,"work_id":"f2287d11-2cfb-42fe-ae35-4549cde01ce2","year":2022},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.306027Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:48f14931bb3e14ba1a246a857728f6e0a3b83604e039888aac5202261822043d","observation_id":"c71d3da7-3548-4ba4-955d-b7a05d24933d","resolution":{"observed_at":"2026-08-06T22:55:08.719693Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.697005Z","title":"Extending SAT solvers to cryptographic problems","venue":null,"work_id":"b727b521-2f1c-4fe2-a7e7-fdc7c36a5a39","year":2009},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.311104Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:5dd7110428a1e6155c2e3a9acf1afbf66303ccb7eb476f82342776d2a472f829","observation_id":"cc93d771-cf96-401a-9a83-59e4fa776046","resolution":{"observed_at":"2026-08-06T22:55:08.701939Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.682036Z","title":"Goodfellow, and Rob Fergus","venue":null,"work_id":"2623cc9d-90cc-4607-9a3b-c39c248c83a4","year":2014},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.315826Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:5b5935bbdeabc43275032f49ab3907c1eb9af93924f0027bb0f1ce5eaf8b8d21","observation_id":"6d5b0128-ad7f-471f-9bec-d70a3d42508f","resolution":{"observed_at":"2026-08-06T22:55:08.686818Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.667227Z","title":null,"venue":null,"work_id":"7145d257-908a-470e-a704-f23401586530","year":2023},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.321296Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:6c074d00cd8abbb6740dc853beb1db02ec9db2ae16f3c057232693057cf1c8ef","observation_id":"ef3ea918-6de5-4ff4-bd64-0fde43988b90","resolution":{"observed_at":"2026-08-06T22:55:08.672014Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.652153Z","title":"Myreen, Ramana Kumar, Anthony C","venue":null,"work_id":"8257385f-a016-45c4-9178-17ab2c4750cf","year":2019},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.326825Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:bef2bcfbb0b3d62f5935bc46a3671d69b5cfaedd8072400a835709c50f13d0fc","observation_id":"4a782c58-1b42-4c58-864a-60f56177bb25","resolution":{"observed_at":"2026-08-06T22:55:08.657153Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.637008Z","title":"Approximate model counting","venue":null,"work_id":"1bf8908a-8c12-41d7-9237-c9439254a828","year":2024},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.331938Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:aeeaadbc25a4e55c447a383728e82ddfeb5d838fd2bc240b038328ebd8f0614d","observation_id":"87c887d6-de27-463c-a709-d165567df7ec","resolution":{"observed_at":"2026-08-06T22:55:08.641780Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.621232Z","title":"Myreen, and Kuldeep S","venue":null,"work_id":"76e92659-d54b-48d0-a634-66431cfcb51b","year":2024},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.337358Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:a7451f7ac2f6cba203a6c58640ecb1137feb0865d5ff31a5cda942a8b620db06","observation_id":"ed6f91e2-e93c-45bd-ba07-505889c332c3","resolution":{"observed_at":"2026-08-06T22:55:08.626278Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.604977Z","title":null,"venue":null,"work_id":"809f903d-08da-493b-ae23-a651e4f6ad50","year":2015},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.342090Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:3a51ff23a583407062bbd561d1a06a914f09f353ecdac4b50fcacb73e298596d","observation_id":"fbc6158f-8540-4b93-83c9-4a2dcc6eb4c2","resolution":{"observed_at":"2026-08-06T22:55:08.609669Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2103.06624","last_updated":"2021-10-31T22:51:18Z","snapshot_observed_at":"2026-08-16T18:39:38.974852Z","submitted_at":"2021-03-11T11:56:54Z","title":"Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.06624","snapshot_observed_at":"2026-08-06T22:55:08.346813Z","title":"Zico Kolter","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.346813Z"},"links":{"cited_paper":"/paper/2103.06624","citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:c8bdf829ce9cfd12f5cb363dcf2feb0367d1251159105ccd6c5b893dbd165120","observation_id":"43fb3c35-88de-4595-8a80-51e73896ffc0","resolution":{"observed_at":"2026-08-06T22:55:08.346813Z","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-06T22:55:08.590145Z","title":null,"venue":null,"work_id":"3b777784-4870-43cd-a011-4b7242e4e18a","year":2014},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.352303Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:edb7be3e36adad06602547d38793f0731f0d3c3d1531da8f9ad2313ff8fcc9bb","observation_id":"757d7fe4-6a58-4597-94c9-9923ddce6b89","resolution":{"observed_at":"2026-08-06T22:55:08.594717Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.572695Z","title":"Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, and Clark W","venue":null,"work_id":"2fec3012-5758-49c3-af8e-39dc84962587","year":2024},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.357014Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:2784d87a800789fd11a6f087071a9d3ba8ec4ca7bcc86a83ba2ad93cc966d291","observation_id":"d956dd6b-2627-488d-a62f-4fc2b7013d28","resolution":{"observed_at":"2026-08-06T22:55:08.578393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.555686Z","title":"SmoothQuant : Accurate and efficient post-training quantization for large language models","venue":null,"work_id":"d70ca1f4-253a-44b9-9c52-66512a1ddf3c","year":2023},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.361531Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:64347afbfbd9ee8c2ae0f0ad363fe75ab8283cc05275bfd1552c82c733f3c11b","observation_id":"6b3d7499-fc6a-4fd0-ae0d-d4f4a80e5cb9","resolution":{"observed_at":"2026-08-06T22:55:08.560753Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.538416Z","title":null,"venue":null,"work_id":"2aaad93c-2999-4c1c-80a2-12086e2fdbb0","year":2021},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.366145Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:dd73f1e09976fcc4089146982016af18733cbd7dab53ff195031871018cf0d25","observation_id":"4e03351e-4197-4b48-aa88-25179243bd40","resolution":{"observed_at":"2026-08-06T22:55:08.543631Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.521853Z","title":null,"venue":null,"work_id":"1989c970-517b-4b3b-a687-ceabeffec148","year":2023},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.372105Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:8a26153ad6a57a0cc90206b344d5a7a409c183dadc7ee383f3905e2239e33e3e","observation_id":"f11476a8-a169-44ac-a7ae-76e0bc5b1023","resolution":{"observed_at":"2026-08-06T22:55:08.526845Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.504916Z","title":null,"venue":null,"work_id":"8585b955-4fb0-464e-897f-6f5c094c1651","year":2024},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.376657Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:3664b41609ef993f76d2050df283d937b226cee9ef92605fd1d3685a7cda5ff9","observation_id":"46bc5d46-2bd2-4299-b9ab-02a7f9504a3b","resolution":{"observed_at":"2026-08-06T22:55:08.509907Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-06T22:55:08.486431Z","title":"Binarized neural machine translation","venue":null,"work_id":"715c33d5-86f2-4f31-a0ac-4a6490e260c1","year":2023},"citing_paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-06T22:55:08.381466Z"},"links":{"citing_paper":"/paper/2507.02916"},"observation_digest":"sha256:e5195014e0c9ccc1d3dccd66f8611c61a679b7fb7c6de1af07d2bc86295b3ec2","observation_id":"327f7d14-fcd8-441b-a03a-82dd1c36ed86","resolution":{"observed_at":"2026-08-06T22:55:08.493448Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.02916","last_updated":"2025-06-25T09:27:02Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-17T21:01:27.401753Z","submitted_at":"2025-06-25T09:27:02Z","title":"Efficient Certified Reasoning for Binarized Neural Networks"},"reference_resolution":{"displayed":58,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":20,"verified_exact":0,"verified_fuzzy":38},"total_outbound_references":58},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 58 of 58 outbound references and 0 inbound Pith citation observations for arXiv:2507.02916."}