Pith. sign in

Paper Citation Record · LEDGER

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations

As of 8 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2506.08505.

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

pith.paper-citation-record.v1
2506.08505 v1

Coverage vector

measured 14 of 14 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T05:19:39.128848Z

measured 14 of 14 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+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

14 of 14 outbound references displayed

  • verified exact0
  • verified fuzzy6
  • unresolved5
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 729135d0-401c-450b-985d-997b9ee9ba2c · outbound

This paper cites an unresolved cited work.

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations Unresolved cited work

Reference 1

Resolution
unresolved
raw_fallback, observed 2026-08-07T05:19:39.390405Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T05:19:39.101806Z digest=sha256:2d7da396aa73d79da7dca169327d6d57627fe75080be6cb23e8d9ae3b066be21

Observation 4b59219a-5082-4353-a6c2-601038d181f1 · outbound

This paper cites Causal Explanations for Image Classifiers.

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations Causal Explanations for Image Classifiers

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-07T05:19:39.067951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-07T05:19:39.067951Z digest=sha256:bd197119561ebdf15db3ab852684f97de1c7385f08edd815df9ff466cef56e8f

Observation 768e24cf-b89e-4847-8240-a65b19610814 · outbound

This paper cites Probabilistic Stability Guarantees for Feature Attributions.

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations Probabilistic Stability Guarantees for Feature Attributions

Reference 4

Resolution
metadata mismatch
local_arxiv, observed 2026-08-07T05:19:39.207910Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T05:19:39.073515Z digest=sha256:fd3f0a533ec248c838b32aef19a00a6398c063fcd4f5ed5659dec6e4e160526d

Observation 64c53e5d-33e0-4d13-9cb9-1ffb0fa06570 · outbound

This paper cites an unresolved cited work.

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations Unresolved cited work

Reference 6

Resolution
unresolved
raw_fallback, observed 2026-08-07T05:19:39.374181Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T05:19:39.107284Z digest=sha256:b0aa6da1d6ee074261a3b081c7d9e3712e1b4adac59b886eeede452251098940

Observation 987f26d5-47df-47c7-82df-f746687da192 · outbound

This paper cites an unresolved cited work.

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations Unresolved cited work

Reference 8

Resolution
unresolved
raw_fallback, observed 2026-08-07T05:19:39.406271Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T05:19:39.096959Z digest=sha256:c89f289997fe12fe29d9a796de609f8ab3fee2ed6de0c3b16ab10ed8ec3f562f

Observation 9b187390-ca16-4513-8084-46436b0b1cf4 · outbound

This paper cites Analyzing different network sizes While the previous experiment already show the scalability of our approach on different network sizes (Sec.

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations Analyzing different network sizes While the previous experiment already show the scalability of our approach on different network sizes (Sec

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T05:19:39.338688Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T05:19:39.117815Z digest=sha256:2c9291a3d4798b2ba406dc1bbbf9827fa89f00210e10853f8f91d6f49247d425

Observation 92ae426e-0cb1-45c5-8916-cdfdf8b40595 · outbound

This paper cites Choice of Activation Function In our main experiments, we used networks with either ReLU or sigmoid activation, respectively (Sec.

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations Choice of Activation Function In our main experiments, we used networks with either ReLU or sigmoid activation, respectively (Sec

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T05:19:39.356491Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T05:19:39.112341Z digest=sha256:daaa6c792b33f91ee69770b57241d6380139ef2ec0e634e0b65eccf41b621d10

Observation 0127add0-599c-423f-af11-8753729b5c71 · outbound

This paper cites traditional.

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations traditional

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T05:19:39.319923Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T05:19:39.123514Z digest=sha256:c2886359eaa4a001d60f67213f3038330fc86ac71ad0466ed67136bd4b163e0c

Observation c8d02901-1d66-427c-8348-106dc86ab5eb · outbound

This paper cites We additionally provide visualizations for some of our obtained explanations (Fig.

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations We additionally provide visualizations for some of our obtained explanations (Fig

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T05:19:39.303181Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T05:19:39.128848Z digest=sha256:7562fe4de1e166ae4878733d1f33fa914f809937296e7ade432986d175bdc87a

Observation 0a186dca-ff43-423b-b998-cd01f6cef883 · outbound

This paper cites https://www.cs.toronto.edu/ ~kriz/learning-features-2009-TR.pdf.

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations https://www.cs.toronto.edu/ ~kriz/learning-features-2009-TR.pdf

Reference 2009

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T05:19:39.438076Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T05:19:39.080048Z digest=sha256:6ba31325215cacf2db2840a85611508e91e4017851b22dace72117bc645a1c1b

Observation 7cb757d5-0c54-4699-b320-194aa2a8cbb4 · outbound

This paper cites Logic-Based Explainability in Machine Learning.

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations Logic-Based Explainability in Machine Learning

Reference 2017

Resolution
verified fuzzy
raw_fallback, observed 2026-08-07T05:19:39.422722Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T05:19:39.091378Z digest=sha256:36b2b40e9933c575612f15fbd13bd45f46fc535803ef07841e67947d624f3833

Observation caf0d107-f7cd-43eb-942a-451b0e326952 · outbound

This paper cites Fully Automatic Neural Network Reduction for Formal Verification.

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations Fully Automatic Neural Network Reduction for Formal Verification

Reference 2023

Resolution
unresolved
no resolver link, observed 2026-08-07T05:19:39.085558Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-07T05:19:39.085558Z digest=sha256:59d128318a0b7a9f9267b56227ef5cc0cb691a5a809892a227202f94c4e77ef0

Observation 25135f31-f03a-4c0e-bbe7-469e15f82263 · outbound

This paper cites Self-Explaining Neural Networks for Business Process Monitoring.

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations Self-Explaining Neural Networks for Business Process Monitoring

Reference 2024

Resolution
metadata mismatch
local_arxiv, observed 2026-08-07T05:19:39.259342Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T05:19:39.062720Z digest=sha256:153cb8d60372c8aa3e4392d5179f6479de2d3f0b59f18729cad294e17ba25da7

Observation afdb5d22-6c81-4d72-aba1-ee25f563ead9 · outbound

This paper cites Beyond Topological Self-Explainable GNNs: A Formal Explainability Perspective.

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations Beyond Topological Self-Explainable GNNs: A Formal Explainability Perspective

Reference 2025

Resolution
metadata mismatch
local_arxiv, observed 2026-08-07T05:19:39.284362Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-07T05:19:39.056425Z digest=sha256:77cb46f03d173790b521a3feaa65379d13fc155ee9e353c968a84a034cd74fde

Pith citing papers

No inbound Pith citation observations are available.