{"as_of":"2026-08-08T19:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6e9d78266089ef429361e968b3f2edfb501712a83a5ada39f6901dc54bf4fa15","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-08T06:32:00.761636+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-08T14:53:37.272706Z","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:24bf214f27e01f48624e3c085384aadcf851ca309ee95d94a6e4e5e1c274ee8f","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:940bf6ed120da411e3a0eb515875831758ec1150053e4870151ce61cf58c5d7d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:039402cecd762678cdfefc320e099ec964ed834c026ffd8fda5d160a4e281f4e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:af1883bcf198eeccbf8de0a7f2ee16dc1423c530e7a4f77b41eb22b4276f0a14","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:3c99e100b32804803eec3acd11a77ec03cd791b38eaa0821cf2cf228ee1762da","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:9c4dd052c97e233fb5236e5f15d079e331021f2331281e7ce51d391861b70a43","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:de9264c1c83b81f413e8b03ac05169e259328bcdea4029008758a86304f44c44","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:a6526e1714b5ec368e8a66e64f9952e822ed71d1f47ad393cd80efd64edf7d78","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:52dbf5e86a4745d7d08f01e23283979b3c7ef24992f9e8234da325c0bcf41ba6","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-07-06T20:13:58.813488Z","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-08T14:53:37.272706Z","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:1b8b3e2883de3d5f4b1ea0ca9e749b7058bbc0083758ed1045568e11d757ea9b","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-08T14:53:37.272706Z","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:df79811d6f80cf378f7b0cda105e135b8523ce811a985b0ad8e4bb1066d960a0","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:23643f036374b7d55bcffd54ea2c04af4039ae60b2c67236defdd0493842f6f7","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:c86a262893a3328a4c381ff2adee34a8bcfb1d977193ddb10f38fb7687726244","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:442e6cc3600d8f3ff6356eeb0c7bf2df699704a94a9ff0931d570c165289c56e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:4775e45a565149cc35910ea3818458c539996bc57bbe17c4749f8551816a996b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:a46aa227145a8f375b1be6b2056008042e88635c9956eacad47040c6b64af3b4","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:18d1d3a0c110ac322898bf414a1edffb098930016a4baf6e16d264d7a2f0c492","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:cc41e3bec73e0672d232aa2841bf2c4f7b6a74978cf8da92110e103fd00412ea","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:854a457a34cc771e593893304d4c78d310c52667586f788a728f5cab8e6ad18f","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:01f68c885d3decfb4cbba01944f7edc3d49a4c1ef72004366e9cc9fb74c8ee09","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:95f4e9c9dcdf92b1af459f2fd0344807c2dbbd539b302b000afc5f2b92a01b47","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:4d8ae0360645200d6f05c99958c2d02c0352d1ffda7fb1acf164ec82287d1156","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:2a92338903a6d534df6b8f85aafc0982cbeb9b87a5eaf02c16f8870aedda9b61","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:39a18000fe5fb768085c0225f1d08cc5bf4ca58be0008d2a5948727b56223cda","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:1b766b941245a499d4f1186dba2e7e1158eb3e05f4ac73b9ff4413342ee3dff9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:40acdcdb396437268e8001ee528af9d3fc3fc29454b7703b6aa0dbead15f1aaa","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:04a6e4f4ca0c81526b3da218836379ec6290f87b4f61f2eca40c5f0bd9411039","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:c318eaa353cd5d5e68df9c8680307eb0e3db4d8ae580932d548ac9c0653b4846","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:86cceecaf66a4350d2137e546d6cfea7205582ee5b4e65dcc6e4c061e0ef631a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:0c1a79aa376832f7eb876f67933028d544702d6894ad257529ba81043351ba01","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:b9c9cb5c3edf83b6b11104048eae8b24c762f32174e9d43a5d0dd9f5b5ae2e6b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:fcbd996e593d8e46897ace6be297ea0814c29c88c0eacc9540da6021372a6cb4","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T13:27:13.023088Z","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-08T14:53:37.272706Z","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:72f24be20b9fd8765e5ff7651c4157705531766124184a6bb11ef95183372780","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-08T14:53:37.272706Z","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:dcb94f80df966aa3efad42282fdaeeea345938f90741fc7c0e64fcce5e5debd9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:c113ff594203a43ddb5848ad50125875300b735976b55ddf56feeffd29c76394","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:4e3e305a6c2ac53e396644f91595f1e77306fd87939e6b168fdffae8d8ba189f","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:73ce0cfbb6723db789db044ddcfda1fdaf0dd169b74c590d7370e03cb38fe162","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:d34b3a71b42d7e3266fe807363ab9e6fba2b88b2451ad8c6b5be2c3f5ec77b79","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:3fd3dc3b3b35a7f2eaeec443cb51ee0d0c5ea952e25293275d28c4510e982953","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:7773921dbdd6fc7f823b0b566f4d5251e0d7fac819d044463b90b7272269cfb6","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:f4337a1804aa3000dc410cfd6b6d735ba644f2d8a185290fdef0eb9fca41b7b4","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:e5b1ae1be5c85d98878f0ce604570722dfd385cb74beb9283557eb215c1da5ce","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:75c936593c2a3c9475c754aad9c0789e33576d19a85ff653cd29a1892b4b1858","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:23159755505c04642235b22163ef7758472099e87add0c05a6774fc67d0fe6f1","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:da59b010c807c21422865df171527a5ba5acc23179e2c7a9850bc203d705b44b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:584409560a3789c9624cd364418132a93e89eeae8c38e0979ed01fe1eb3c0738","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:1f99ee004b8e844750d374abc2383eefd5a8049478eee7df54f7ec9cb2171af0","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:aba3bb05682293ddf56d803e00889d8f423bb7cd4e73255c256600095ea427bc","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:a57ff2d6dee440338515dbf7216826e6aa6b6465955e3d06b6c4ffa8dc53defe","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:2ee83a69e3a2ce884e8336667b14884803d3e42e464fc7d74854f5a34aa8f87b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:50:29.644660Z","submitted_at":"2021-03-11T11:56:54Z","title":"Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.06624","snapshot_observed_at":"2026-08-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-08T14:53:37.272706Z","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:059ec999c009e5611ed6bd892246d0c80ee73d2bfe49a51cf92f1fb3ed9d24ff","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-08T14:53:37.272706Z","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:6edfb227c5d35d5009501c8cfb96fe21bea17bda4decb4fa2e916e8807ef5937","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:ed569dee74037c3a349d8cea338473a4075e9b281f7dca7f73e9de95f55a4e0d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:785e3b7ed2e2d81a684ad019b4cbe2d70d120b115eb22832f0f3553ec6b33282","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:9f6f68ba628fb209fe9223c30b9d594123d987c32e3e1194cc12c37c98e63367","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:c45adf2d137daa83b4f6cfdf8558df72dfd800f2b81d75432819ce29617d6ed1","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:5d1bd40ad30ce80e64d6468bc6f375677dc6b99a7a41d708a13c7971e7dc3ce9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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:74bd53fefd30cf5e225099d889dc2860d1e0b1e22ae8a0503d0b8a0bcf8d788e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T14:53:37.272706Z","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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 58 of 58 outbound references and 0 inbound Pith citation observations for arXiv:2507.02916."}