{"as_of":"2026-08-12T14:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c3c47038934ba91dc22cd87d93b1e4a54c0c9410b042aa448b6b48de8733a429","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:20:48.127323Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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/2506.04268/citation-record","integrity":"/paper/2506.04268/integrity","json":"/paper/2506.04268/citation-record.json","paper":"/paper/2506.04268"},"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-07T11:20:51.300525Z","title":null,"venue":null,"work_id":"3e8c6314-87e0-4c0c-a813-e45bafbfa1ce","year":2021},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:45.768147Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:cea2f9c6db8160cb51b1610761497e9d45cc2cc26f9e3f6c6d4157506b44badd","observation_id":"714e3e15-1643-4505-b1ab-1f2082d88b93","resolution":{"observed_at":"2026-08-07T11:20:51.303764Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:51.291432Z","title":"In: Handbook of Satisfiability, Frontiers in Artificial Intelligence and Appli- cations, vol","venue":null,"work_id":"f9dd1111-915e-449b-8d26-92a33455da56","year":2009},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:45.857430Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:30fc909a09ad1142f7706ff8b347851397053bb031de150f9eac8073deb59773","observation_id":"fcc88c86-dcec-4a6b-a576-8650b1e3c7aa","resolution":{"observed_at":"2026-08-07T11:20:51.294305Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:51.281982Z","title":"In: 2017 IEEE Symposium on Security and Privacy (S&P 2017)","venue":null,"work_id":"2f146f4f-c19e-4e34-a0a6-6058edb3cc27","year":2017},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:45.936287Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:e0619c74c219dee1cfdc7a44b9e5b41e16c9f9d0b43f11d10c0e013f1a830c15","observation_id":"8cebd210-63f0-4580-81fa-7a7f9b1838ba","resolution":{"observed_at":"2026-08-07T11:20:51.285292Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:51.272776Z","title":"In: Advances in Neural Information Processing Systems 36: Annual Confer- ence on Neural Information Processing Systems 2023, NeurIPS 2023, (2023)","venue":null,"work_id":"8fc355db-3b4e-4bab-9747-ccd293974d66","year":2023},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:46.032724Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:56f4b04acb08f7832ef3732ca2b8eb3c3561d7ca27d6757210e74fde125233ce","observation_id":"01149745-e2cc-4eba-b818-22b63283cf28","resolution":{"observed_at":"2026-08-07T11:20:51.276046Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:51.263908Z","title":"In: Computer Aided Verification - 34th International Conference, CAV 2022","venue":null,"work_id":"8f6e5a5d-172c-4108-8021-9b5af3b8900a","year":2022},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:46.118257Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:0cfb3cb1e7b824713e20583df7af5841733d49b15a90748f1b883839f6566e51","observation_id":"d7b25e29-19ca-4596-af69-24bfce136e09","resolution":{"observed_at":"2026-08-07T11:20:51.266647Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:51.255879Z","title":"In: 2018 IEEE Symposium on Security and Privacy, (SP 2018)","venue":null,"work_id":"579d8c6f-1d66-4a8f-8309-4f4ce0406222","year":2018},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:46.198709Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:72feb6a79b643bb2066ee454820ea09612f3f6699925519d5196270709225771","observation_id":"900d7d07-12e2-4057-8806-4ecbabae50da","resolution":{"observed_at":"2026-08-07T11:20:51.258684Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:51.246618Z","title":"In: 2019 IEEE/CVF International Conference on Computer Vision, ICCV 2019","venue":null,"work_id":"ab2666c0-91b3-4126-8008-4a1b2a3894ef","year":2019},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:46.286900Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:2c01016547f13ac23ec285dc4570122b3750956ac4d2b2b305268fcc7a1e6e97","observation_id":"f1ad6d2a-4732-40cd-9a5b-19ee24ec1888","resolution":{"observed_at":"2026-08-07T11:20:51.250064Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:51.236847Z","title":"In: 3rd International Conference on Learning Representations, (ICLR","venue":null,"work_id":"55998fcc-b827-47e8-b41f-8977962991e6","year":null},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:46.388705Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:7460e38be6943348947b3553432b2396ae4d286c700d4e10fc34be619b51de2c","observation_id":"4c6d5f3e-b0c7-4169-b48e-2140cf594112","resolution":{"observed_at":"2026-08-07T11:20:51.240287Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:51.227003Z","title":"In: 4th International Conference on Learning Representations, ICLR 2016 (2016)","venue":null,"work_id":"d1e9195e-d8b9-469d-9236-201878d23dc6","year":2016},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:46.493766Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:56ef3683ef967487bebe9daae9343e9d1cf98a6c867c5be57dbef50c067fa7d4","observation_id":"1f35c26e-8a29-4d3f-9ca1-b72575ab2f35","resolution":{"observed_at":"2026-08-07T11:20:51.230714Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:51.217741Z","title":"In: Computer Aided Verification - 29th International Conference, (CAV 2017)","venue":null,"work_id":"38d27d80-9d3e-4f20-8c6a-8d87f650f61a","year":2017},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:46.563112Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:6e14487d8bdbed748b4e67a98bf93e42c0e3173109825cff277777b259a4574e","observation_id":"81e81089-b6df-4953-848e-9a4ac827fc5e","resolution":{"observed_at":"2026-08-07T11:20:51.221101Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:51.209068Z","title":"In: 29th International Conference on Computer Aided Verification (CAV 2017)","venue":null,"work_id":"34b1199b-a330-4f70-9288-55848f1c1d75","year":2017},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:46.638094Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:98b6608a3542a1ee650e9be92d5e28549d8cc5ad3225500a3a28feba4af818ef","observation_id":"693ae2ac-a618-4d93-b101-dd161b395f4e","resolution":{"observed_at":"2026-08-07T11:20:51.211921Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:51.199617Z","title":"In: 31st International Conference on Computer Aided Verification, (CAV 2019)","venue":null,"work_id":"9c1d9040-f97d-4eb0-9618-ba60d0dfc5a7","year":2019},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:46.727304Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:caa3e6a0325f0b153267b70f66a9269c02aac7bc94dce5a671eb842798add04c","observation_id":"2f5ee939-44e3-4f4f-bf1e-c3a7355db017","resolution":{"observed_at":"2026-08-07T11:20:51.202711Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:51.189445Z","title":null,"venue":null,"work_id":"2d1a9263-f111-4cc2-9087-82d205ca2800","year":2019},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:46.805573Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:0a0743741662183390b27665b4e0aff156ff7dc552f71d0aabe62f8dbf6a269d","observation_id":"725aeb0b-2fce-4e9f-b596-acf8c4c75aab","resolution":{"observed_at":"2026-08-07T11:20:51.192708Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:51.179386Z","title":null,"venue":null,"work_id":"cb253dd4-a6cc-4aea-9299-6949961ff10d","year":2024},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:46.873147Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:1ef4ad26adc0e4a14950f945c4f3cf34f0b2ec10101d606145384d87244b9318","observation_id":"ae5c2831-28b6-4e3b-9c17-7846d79552dc","resolution":{"observed_at":"2026-08-07T11:20:51.182311Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1706.07351","last_updated":"2017-06-22T14:59:49Z","snapshot_observed_at":"2026-07-06T05:48:00.958213Z","submitted_at":"2017-06-22T14:59:49Z","title":"An approach to reachability analysis for feed-forward ReLU neural networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1706.07351","snapshot_observed_at":"2026-08-07T11:20:46.967268Z","title":"CoRRabs/1706.07351 (2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:46.967268Z"},"links":{"cited_paper":"/paper/1706.07351","citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:2226e4f0c85d520dbc4a79c027453764b091386817121121fcd0c3fe389ff9de","observation_id":"f04b4bd2-393a-4d50-a4e8-cbdcc4bc8fd8","resolution":{"observed_at":"2026-08-07T11:20:46.967268Z","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-07T11:20:51.169702Z","title":"In: 6th International Conference on Learning Representations, (ICLR 2018) (2018)","venue":null,"work_id":"b590b86c-2a95-4803-89b1-9b7c645409d0","year":2018},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:47.033465Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:7f3f814102ea3c8177fdb4dbcb91e6e891cbdde48449a13e55920f45bf59bb80","observation_id":"43bbb803-d5e0-4299-bffb-aa2bc9e84957","resolution":{"observed_at":"2026-08-07T11:20:51.172888Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:50.940754Z","title":"In: Handbook of Satisfiability - Second Edition, Frontiers in Artificial Intelligence and Applications, vol","venue":null,"work_id":"deef170c-5437-4be9-a361-b586fa5df8e3","year":2021},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:47.088776Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:2b547314a8330b43350b0dc5cc660c1b7ffeaa5640b27327d28b91c40c3506f2","observation_id":"c56957c7-4bce-40de-af93-31df8c66c61e","resolution":{"observed_at":"2026-08-07T11:20:51.061313Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:50.611706Z","title":"In: IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2019","venue":null,"work_id":"eaf6d511-3738-466c-9ffd-d664c1c64e35","year":2019},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:47.156401Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:54c1196d88e7a8988ca6e5a38f24d77647126ed52e14b2c1cd1e75bbf1659914","observation_id":"78679bdb-2e19-4283-88ce-5f7b7a1d7d17","resolution":{"observed_at":"2026-08-07T11:20:50.772047Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:50.379823Z","title":"In: 32nd AAAI Conference on Artificial Intelligence, (AAAI 2018) (2018)","venue":null,"work_id":"fbb7fc15-1158-41d8-b209-648ca03fead6","year":2018},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:47.239444Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:ff8d380aec54eea14d57d866ce84c7825fa951395a15a584a4c62939281fd77a","observation_id":"ed70d1b4-df3e-47f4-8f8a-b5d17ccee498","resolution":{"observed_at":"2026-08-07T11:20:50.479935Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:20:47.319710Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:47.319710Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:6a3aa02971dc7f5c6f9ea17291ad4f6e0ce28027d31b2858ea97af96869d4834","observation_id":"7154921b-53a2-41c9-b17b-b6602a22377c","resolution":{"observed_at":"2026-08-07T11:20:47.319710Z","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-07T11:20:50.180202Z","title":null,"venue":null,"work_id":"9a54be21-a714-4fb7-bc75-dd317636799f","year":2007},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:47.394138Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:fc22aefc29888d14eecc1a3381ae99819c78be6f537525232113ce7737bc629d","observation_id":"16a28fd5-730b-49a9-a435-1b7953ef1cee","resolution":{"observed_at":"2026-08-07T11:20:50.272791Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:49.967342Z","title":"In: 31st Annual Conference on Neural Information Pro- cessing Systems 2018, (NeurIPS 2018)","venue":null,"work_id":"063e0fbe-b9a2-4145-bef6-ca8c51200fad","year":2018},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:47.475329Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:61ecdcf2ac61e2b482e16f5f8c23d5c8f4579f08dafd316abba6fa0105c17009","observation_id":"f4ac3ed9-a1c0-445f-84b3-f15f8d8717e6","resolution":{"observed_at":"2026-08-07T11:20:50.074083Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:49.704565Z","title":"Proceedings of the ACM on Programming Languages3, 1 – 30 (2019)","venue":null,"work_id":"2f107309-f2c0-48a6-8e31-7c1b4469521c","year":2019},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:47.534069Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:9b9f70409b6d4e8e48dd686a2930e409e900886e5b8f9951c176119ee290256b","observation_id":"6cc0316f-ac44-41a9-b5d0-f76ee08ceebb","resolution":{"observed_at":"2026-08-07T11:20:49.830032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:49.453447Z","title":"In: 31st Annual Conference on Neural Informa- tion Processing Systems, (NeurIPS 2018)","venue":null,"work_id":"f56feba3-f3e6-407a-aabd-be044172e82d","year":2018},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:47.596985Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:0ba6798fa551105c749cf4dba9f31b5afc721279b93f8462bd7ad3ffbc4e7a14","observation_id":"2ef144c2-07d3-4364-a3f9-50ceb0f57968","resolution":{"observed_at":"2026-08-07T11:20:49.583356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:49.098916Z","title":"In: 2nd International Conference on Learning Representations, (ICLR 2014) (2014)","venue":null,"work_id":"a11ca054-1598-4a45-be64-e1ac644a34a4","year":2014},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:47.669698Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:3d09af3aaa154660219fc2f21a8ffafff3481004497c206c00802a69e110383b","observation_id":"b7c5af9a-8ec6-4c1e-af22-b884a47f0efb","resolution":{"observed_at":"2026-08-07T11:20:49.258666Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:48.892099Z","title":null,"venue":null,"work_id":"6195556f-05b6-41dd-810b-c450f684f32f","year":2023},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:47.761948Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:7693c9b239fbfe9663b39352faade23f2e83acbef4e840c42f478b0a3e529ab5","observation_id":"246b02fd-0f8d-469e-96e8-b86a6edeeeee","resolution":{"observed_at":"2026-08-07T11:20:49.009035Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:48.765817Z","title":null,"venue":null,"work_id":"6d5754f1-dc78-49b3-974b-c7c367f42c51","year":2022},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:47.838164Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:032aac46eb7541bc8c92d4b7277df81a31ef7ad5669f4a0467321ff9cdc9cf7c","observation_id":"e9273cd9-ee19-4998-8d19-8792ea75cab4","resolution":{"observed_at":"2026-08-07T11:20:48.787876Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:48.549996Z","title":"In: 27th USENIX Security Symposium, (USENIX Security 2018)","venue":null,"work_id":"e7361585-d1de-40dc-bd53-63cc2f0c5042","year":2018},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:47.918974Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:6c2e226d65689057dc243be596cde954ff75710b0eefc5d372aed26ab77a444e","observation_id":"1ea70d5d-28e8-4569-bda8-509e73a94a90","resolution":{"observed_at":"2026-08-07T11:20:48.654585Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-07T11:20:48.364359Z","title":"In: 34th Annual Conference on Neural Information Processing Systems, (NeurIPS 2021)","venue":null,"work_id":"6b26c781-42af-4c14-b69d-aa845553e4c8","year":2021},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:47.971942Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:be37c6c923fd11a6af787ea2103efa30bb676b9a968372dec1fe0ea3d4b6a5c9","observation_id":"6e57c48f-a3d2-4036-abaf-7ee44cbbb8fa","resolution":{"observed_at":"2026-08-07T11:20:48.427800Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.06455","last_updated":"2023-02-10T04:31:28Z","snapshot_observed_at":"2026-07-06T14:51:19.104522Z","submitted_at":"2023-02-10T04:31:28Z","title":"Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.06455","snapshot_observed_at":"2026-08-07T11:20:48.043062Z","title":"CoRR abs/2302.06455 (2023) Title Suppressed Due to Excessive Length 21","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:48.043062Z"},"links":{"cited_paper":"/paper/2302.06455","citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:d35a66bba3602f1c57eea1406498afb02f5eb1054458d6c1bc04999dc385dd11","observation_id":"8cef2f46-8e63-4e12-99b7-8bc2c9a46034","resolution":{"observed_at":"2026-08-07T11:20:48.043062Z","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-07T11:20:48.223119Z","title":"In: 31st Annual Conference on Neural Information Processing Systems 2018, (NeurIPS 2018)","venue":null,"work_id":"686cc03c-8ea5-4d4d-a006-98566e2eec0f","year":2018},"citing_paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T11:20:48.127323Z"},"links":{"citing_paper":"/paper/2506.04268"},"observation_digest":"sha256:71908daf9039647515d987bd6caccbe1fdbdfee0b6ecef9201fd93435c82d9ed","observation_id":"46b40bf2-0e2f-4c13-bfaf-3ed20c39c810","resolution":{"observed_at":"2026-08-07T11:20:48.270477Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.04268","last_updated":"2025-06-03T12:42:15Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-09T02:50:05.500453Z","submitted_at":"2025-06-03T12:42:15Z","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":0,"verified_fuzzy":22},"total_outbound_references":31},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2506.04268."}