Pith. sign in

Paper Citation Record · LEDGER

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

As of 11 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-11T06:34:44.6726+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-11T06:34:44.6726+00:00.

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

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:a89b6fd4e7e5529c05f32bd857afb046f7808f572106f705c8fba79ddfce1ff5

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-07T05:19:39.117815Z digest=sha256:75c3813841c4ededa30d34a3cdbec2bcdb45d84ac15c2bb279cc98ea69ae5188

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-07T05:19:39.128848Z digest=sha256:6aa05401fcba1378a4ed62e457bb770eaa20d5a1b8e5df5e1ace956a476e22b4

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-07T05:19:39.091378Z digest=sha256:7a4b884f6150e03cfe1b9da7500445b005b1b68e208825adc93cba32da22115a

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:0f3932af09c3fcee03bb72234fe16cdd2d5e32a47e7cc6f41da1523e55394dcb

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-07T05:19:39.062720Z digest=sha256:2e6d8bfc2f4d22289407f868a6cb5e4b896483a36f0c9a7229590070fe720429

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-07T05:19:39.056425Z digest=sha256:1f66fd3a8c159671c0156a5b489bdc0070506dc416f3c6fe48d815b151734a37

Pith citing papers

No inbound Pith citation observations are available.