Paper Citation Record · LEDGER

Interpretable DNFs

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

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

pith.paper-citation-record.v1
2505.21212 v1

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:47:02.307505Z

measured 25 of 25 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

25 of 25 outbound references displayed

verified exact1
verified fuzzy22
unresolved2
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 35ac86b0-9e58-45c0-ace5-a7038ff4c222 · outbound

This paper cites Axiomatic foundations of explainability.

Interpretable DNFs Axiomatic foundations of explainability

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:07.498869Z

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.

Observation b78f1127-6fe8-4576-b054-cc54982e5b70 · outbound

This paper cites Computational Com- plexity: A Modern Approach.

Interpretable DNFs Computational Com- plexity: A Modern Approach

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:07.269930Z

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.

Observation 4e99cf07-0e5d-4607-9ac3-4636bcc6bbc6 · outbound

This paper cites On the computational intelligibility of boolean classifiers.

Interpretable DNFs On the computational intelligibility of boolean classifiers

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:07.085839Z

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.

Observation b5449668-9eb2-43d5-9134-1300831d0726 · outbound

This paper cites Model interpretability through the lens of computational complexity.

Interpretable DNFs Model interpretability through the lens of computational complexity

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:06.867154Z

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.

Observation 055a9037-4f4a-4a2a-b2f3-df5a95aaa52a · outbound

This paper cites Hypergraphs: Combinatorics of finite sets.

Interpretable DNFs Hypergraphs: Combinatorics of finite sets

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:06.660972Z

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.

Observation 9e43fa0a-1b8d-4c0d-830b-d285cd267e94 · outbound

This paper cites The query complexity of certification.

Interpretable DNFs The query complexity of certification

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:06.435905Z

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.

Observation f3c93bf1-b5ae-48e4-8ab0-be6a2b1153e8 · outbound

This paper cites an unresolved cited work.

Interpretable DNFs Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:47:06.257116Z

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.

Observation 7ae82036-3e70-4222-a4d3-9d54bb49ffe0 · outbound

This paper cites Cooper, and Jo ˜ao Marques-Silva.

Interpretable DNFs Cooper, and Jo ˜ao Marques-Silva

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:06.017318Z

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.

Observation 0d726d23-a354-41d0-9f32-68175b9fb15d · outbound

This paper cites Diameter versus cer- tificate complexity of boolean functions.

Interpretable DNFs Diameter versus cer- tificate complexity of boolean functions

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:05.775024Z

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.

Observation 24868833-475f-4878-9797-8851f89037a3 · outbound

This paper cites Cooper and Leila Amgoud.

Interpretable DNFs Cooper and Leila Amgoud

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:05.534774Z

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.

Observation 65b8a0fc-4367-41f3-8d21-0455778a0d5c · outbound

This paper cites Cooper and Jo ˜ao Marques-Silva.

Interpretable DNFs Cooper and Jo ˜ao Marques-Silva

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:05.289704Z

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.

Observation fbe59ee5-cc6e-426d-b32f-a1503eb2f770 · outbound

This paper cites Blossom: an anytime algorithm for computing optimal decision trees.

Interpretable DNFs Blossom: an anytime algorithm for computing optimal decision trees

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:05.100598Z

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.

Observation aa059a46-d873-4b11-a152-c7637539455f · outbound

This paper cites Bounds on depth of decision trees derived from decision rule systems with discrete attributes.

Interpretable DNFs Bounds on depth of decision trees derived from decision rule systems with discrete attributes

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:04.810625Z

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.

Observation 2f1090b7-3e73-4c97-b18e-fca17d8dbf00 · outbound

This paper cites Cooper, Nicholas Asher, and Jo˜ao Marques-Silva.

Interpretable DNFs Cooper, Nicholas Asher, and Jo˜ao Marques-Silva

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:04.650216Z

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.

Observation f8954a5a-723c-46ed-a09e-71aabd914571 · outbound

This paper cites Stuckey, and Jo˜ao Marques-Silva.

Interpretable DNFs Stuckey, and Jo˜ao Marques-Silva

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:04.444296Z

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.

Observation db8e40ee-3f6c-44c9-afd5-ec531e0d0528 · outbound

This paper cites SAT-based rigorous explanations for decision lists.

Interpretable DNFs SAT-based rigorous explanations for decision lists

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:04.209154Z

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.

Observation b9f9fae3-c26f-4624-8486-ba006c242e5d · outbound

This paper cites Abduction-based explanations for machine learn- ing models.

Interpretable DNFs Abduction-based explanations for machine learn- ing models

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:04.053844Z

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.

Observation b1bf601c-ff0a-4f60-96b3-0fc8196d39dd · outbound

This paper cites On tackling explanation redundancy in decision trees.J.

Interpretable DNFs On tackling explanation redundancy in decision trees.J

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:03.822940Z

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.

Observation 935fa850-e4a8-41d5-b44e-3f5405e50587 · outbound

This paper cites On explaining ran- dom forests with SAT.

Interpretable DNFs On explaining ran- dom forests with SAT

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:03.609603Z

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.

Observation ae99f95c-513c-42e2-a6a9-d551ded75d12 · outbound

This paper cites Logic-Based Explainability: Past, Present & Future.

Interpretable DNFs Logic-Based Explainability: Past, Present & Future

Reference 20

Resolution: verified exact; local_arxiv, observed 2026-08-07T13:47:02.607567Z

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.

Observation 61f7597b-e059-45ff-9a85-6e1aefbaef63 · outbound

This paper cites Cooper, Alexey Ignatiev, and Nina Narodytska.

Interpretable DNFs Cooper, Alexey Ignatiev, and Nina Narodytska

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:03.393038Z

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.

Observation 6fe743f9-bcb8-46f7-9207-823c25fdc8ec · outbound

This paper cites Cooper, Alexey Ignatiev, and Nina Narodytska.

Interpretable DNFs Cooper, Alexey Ignatiev, and Nina Narodytska

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:03.171855Z

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.

Observation 947bdc00-13a2-4a01-95b1-a44acb844a9b · outbound

This paper cites Interpretable Machine Learning -- A Brief History, State-of-the-Art and Challenges.

Interpretable DNFs Interpretable Machine Learning -- A Brief History, State-of-the-Art and Challenges

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T13:47:02.071317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c120093-f729-4459-a8a3-e36cc7dbbf6a · outbound

This paper cites Stop explaining black box machine learning models for high stakes decisions and use inter- pretable models instead.

Interpretable DNFs Stop explaining black box machine learning models for high stakes decisions and use inter- pretable models instead

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:03.001731Z

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.

Observation b1d6bb04-6775-4d29-9bb7-092930097328 · outbound

This paper cites A sym- bolic approach to explaining bayesian network classi- fiers.

Interpretable DNFs A sym- bolic approach to explaining bayesian network classi- fiers

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:47:02.788811Z

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.

Pith citing papers

No inbound Pith citation observations are available.