Paper Citation Record · LEDGER

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression

As of 19 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2506.04268.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.04268 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T11:20:48.127323Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

31 of 31 outbound references displayed

verified exact0
verified fuzzy22
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 714e3e15-1643-4505-b1ab-1f2082d88b93 · outbound

This paper cites an unresolved cited work.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:20:51.303764Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fcc88c86-dcec-4a6b-a576-8650b1e3c7aa · outbound

This paper cites In: Handbook of Satisfiability, Frontiers in Artificial Intelligence and Appli- cations, vol.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: Handbook of Satisfiability, Frontiers in Artificial Intelligence and Appli- cations, vol

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:51.294305Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8cebd210-63f0-4580-81fa-7a7f9b1838ba · outbound

This paper cites In: 2017 IEEE Symposium on Security and Privacy (S&P 2017).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 2017 IEEE Symposium on Security and Privacy (S&P 2017)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:51.285292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 01149745-e2cc-4eba-b818-22b63283cf28 · outbound

This paper cites In: Advances in Neural Information Processing Systems 36: Annual Confer- ence on Neural Information Processing Systems 2023, NeurIPS 2023, (2023).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: Advances in Neural Information Processing Systems 36: Annual Confer- ence on Neural Information Processing Systems 2023, NeurIPS 2023, (2023)

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:51.276046Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d7b25e29-19ca-4596-af69-24bfce136e09 · outbound

This paper cites In: Computer Aided Verification - 34th International Conference, CAV 2022.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: Computer Aided Verification - 34th International Conference, CAV 2022

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:51.266647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 900d7d07-12e2-4057-8806-4ecbabae50da · outbound

This paper cites In: 2018 IEEE Symposium on Security and Privacy, (SP 2018).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 2018 IEEE Symposium on Security and Privacy, (SP 2018)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:51.258684Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f1ad6d2a-4732-40cd-9a5b-19ee24ec1888 · outbound

This paper cites In: 2019 IEEE/CVF International Conference on Computer Vision, ICCV 2019.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 2019 IEEE/CVF International Conference on Computer Vision, ICCV 2019

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:51.250064Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4c6d5f3e-b0c7-4169-b48e-2140cf594112 · outbound

This paper cites In: 3rd International Conference on Learning Representations, (ICLR.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 3rd International Conference on Learning Representations, (ICLR

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:51.240287Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1f35c26e-8a29-4d3f-9ca1-b72575ab2f35 · outbound

This paper cites In: 4th International Conference on Learning Representations, ICLR 2016 (2016).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 4th International Conference on Learning Representations, ICLR 2016 (2016)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:51.230714Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 81e81089-b6df-4953-848e-9a4ac827fc5e · outbound

This paper cites In: Computer Aided Verification - 29th International Conference, (CAV 2017).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: Computer Aided Verification - 29th International Conference, (CAV 2017)

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:51.221101Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 693ae2ac-a618-4d93-b101-dd161b395f4e · outbound

This paper cites In: 29th International Conference on Computer Aided Verification (CAV 2017).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 29th International Conference on Computer Aided Verification (CAV 2017)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:51.211921Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2f5ee939-44e3-4f4f-bf1e-c3a7355db017 · outbound

This paper cites In: 31st International Conference on Computer Aided Verification, (CAV 2019).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 31st International Conference on Computer Aided Verification, (CAV 2019)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:51.202711Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 725aeb0b-2fce-4e9f-b596-acf8c4c75aab · outbound

This paper cites an unresolved cited work.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:20:51.192708Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ae5c2831-28b6-4e3b-9c17-7846d79552dc · outbound

This paper cites an unresolved cited work.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:20:51.182311Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f04b4bd2-393a-4d50-a4e8-cbdcc4bc8fd8 · outbound

This paper cites An approach to reachability analysis for feed-forward ReLU neural networks.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression An approach to reachability analysis for feed-forward ReLU neural networks

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T11:20:46.967268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43bbb803-d5e0-4299-bffb-aa2bc9e84957 · outbound

This paper cites In: 6th International Conference on Learning Representations, (ICLR 2018) (2018).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 6th International Conference on Learning Representations, (ICLR 2018) (2018)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:51.172888Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation c56957c7-4bce-40de-af93-31df8c66c61e · outbound

This paper cites In: Handbook of Satisfiability - Second Edition, Frontiers in Artificial Intelligence and Applications, vol.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: Handbook of Satisfiability - Second Edition, Frontiers in Artificial Intelligence and Applications, vol

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:51.061313Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 78679bdb-2e19-4283-88ce-5f7b7a1d7d17 · outbound

This paper cites In: IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2019.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2019

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:50.772047Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ed70d1b4-df3e-47f4-8f8a-b5d17ccee498 · outbound

This paper cites In: 32nd AAAI Conference on Artificial Intelligence, (AAAI 2018) (2018).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 32nd AAAI Conference on Artificial Intelligence, (AAAI 2018) (2018)

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:50.479935Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7154921b-53a2-41c9-b17b-b6602a22377c · outbound

This paper cites an unresolved cited work.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T11:20:47.319710Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16a28fd5-730b-49a9-a435-1b7953ef1cee · outbound

This paper cites an unresolved cited work.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:20:50.272791Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f4ac3ed9-a1c0-445f-84b3-f15f8d8717e6 · outbound

This paper cites In: 31st Annual Conference on Neural Information Pro- cessing Systems 2018, (NeurIPS 2018).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 31st Annual Conference on Neural Information Pro- cessing Systems 2018, (NeurIPS 2018)

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:50.074083Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6cc0316f-ac44-41a9-b5d0-f76ee08ceebb · outbound

This paper cites Proceedings of the ACM on Programming Languages3, 1 – 30 (2019).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression Proceedings of the ACM on Programming Languages3, 1 – 30 (2019)

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:49.830032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2ef144c2-07d3-4364-a3f9-50ceb0f57968 · outbound

This paper cites In: 31st Annual Conference on Neural Informa- tion Processing Systems, (NeurIPS 2018).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 31st Annual Conference on Neural Informa- tion Processing Systems, (NeurIPS 2018)

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:49.583356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b7c5af9a-8ec6-4c1e-af22-b884a47f0efb · outbound

This paper cites In: 2nd International Conference on Learning Representations, (ICLR 2014) (2014).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 2nd International Conference on Learning Representations, (ICLR 2014) (2014)

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:49.258666Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 246b02fd-0f8d-469e-96e8-b86a6edeeeee · outbound

This paper cites an unresolved cited work.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:20:49.009035Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e9273cd9-ee19-4998-8d19-8792ea75cab4 · outbound

This paper cites an unresolved cited work.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:20:48.787876Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1ea70d5d-28e8-4569-bda8-509e73a94a90 · outbound

This paper cites In: 27th USENIX Security Symposium, (USENIX Security 2018).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 27th USENIX Security Symposium, (USENIX Security 2018)

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:48.654585Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6e57c48f-a3d2-4036-abaf-7ee44cbbb8fa · outbound

This paper cites In: 34th Annual Conference on Neural Information Processing Systems, (NeurIPS 2021).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 34th Annual Conference on Neural Information Processing Systems, (NeurIPS 2021)

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:48.427800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8cef2f46-8e63-4e12-99b7-8bc2c9a46034 · outbound

This paper cites Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T11:20:48.043062Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46b40bf2-0e2f-4c13-bfaf-3ed20c39c810 · outbound

This paper cites In: 31st Annual Conference on Neural Information Processing Systems 2018, (NeurIPS 2018).

MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression In: 31st Annual Conference on Neural Information Processing Systems 2018, (NeurIPS 2018)

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:20:48.270477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

No inbound Pith citation observations are available.