Pith. sign in

Paper Citation Record · LEDGER

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

As of 20 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-19T06:32:44.657259+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-19T06:32:44.657259+00:00.

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

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:31fb52fbd2d681ba5b14f3248a1089f9d3a2b482d8babeab8c9ef3d63caa230d

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-07T05:19:39.117815Z digest=sha256:50f95560fc2c2d61fc0d351ecf5f69536221bb565d7240c23767da95277b8d23

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-07T05:19:39.128848Z digest=sha256:847dce74f68a15c088401d1274d583f7623f1e512c14b743df3247b9c15ad1b0

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-07T05:19:39.091378Z digest=sha256:0023a46eb3057a61d40036aa9b489caae678b25fd190821474bcccf5dd164808

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:11d6d6a1bd19581d67af78df39fcf35aa5c8527bcc60a99ec52ad38bff362990

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-07T05:19:39.062720Z digest=sha256:09bfc8517d9929a4a55e3221e829fdebcea4491210eb34ce8c940caace9f370f

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-07T05:19:39.056425Z digest=sha256:087eb36aa83ff940eb4259e0a8e9176988d042aef82be760715b6bb8ecd79a1a

Pith citing papers

No inbound Pith citation observations are available.