Paper Citation Record · LEDGER

Towards Bridging Formal Methods and Human Interpretability

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

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

pith.paper-citation-record.v1
2506.09759 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T04:45:23.941325Z

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

42 of 42 outbound references displayed

verified exact1
verified fuzzy35
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0c5da360-4bf3-4f2f-8a9d-86fae323e67e · outbound

This paper cites Magee and J.

Towards Bridging Formal Methods and Human Interpretability Magee and J

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:26.483685Z

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.

Observation 32340699-3073-4693-8c25-ac48c1bfacd2 · outbound

This paper cites Jackson,Software Abstractions: logic, language, and analysis.

Towards Bridging Formal Methods and Human Interpretability Jackson,Software Abstractions: logic, language, and analysis

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:26.316376Z

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.

Observation b5e99ac2-44c7-453c-b1cf-12482fbdad1e · outbound

This paper cites The complexity of social groups and social systems described by graph structures,.

Towards Bridging Formal Methods and Human Interpretability The complexity of social groups and social systems described by graph structures,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:26.127668Z

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.

Observation 28f90782-5635-4017-ba30-3f014aeb9c1e · outbound

This paper cites Edmonds,Syntactic measures of complexity.

Towards Bridging Formal Methods and Human Interpretability Edmonds,Syntactic measures of complexity

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:25.904308Z

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.

Observation f0c83539-3b2f-44e1-8853-78d3d2b1d931 · outbound

This paper cites The model checker spin,.

Towards Bridging Formal Methods and Human Interpretability The model checker spin,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T04:45:23.783471Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c23dd541-1d94-4be6-b53d-9259124ef699 · outbound

This paper cites Further Generalizations of the Jaccard Index.

Towards Bridging Formal Methods and Human Interpretability Further Generalizations of the Jaccard Index

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T04:45:23.787887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ed73d43-b279-4089-86ea-a25b0ddd57c8 · outbound

This paper cites Modularity and community structure in networks,.

Towards Bridging Formal Methods and Human Interpretability Modularity and community structure in networks,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:25.693729Z

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.

Observation 5139733d-0988-4c4b-9252-c9ce29f90a15 · outbound

This paper cites Magee and J.

Towards Bridging Formal Methods and Human Interpretability Magee and J

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:25.502809Z

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.

Observation 128692af-f9ea-40a5-aebc-8c51fe6ab698 · outbound

This paper cites Decreasing Annotation Burden of Pairwise Comparisons with Human-in-the-Loop Sorting: Application in Medical Image Artifact Rating.

Towards Bridging Formal Methods and Human Interpretability Decreasing Annotation Burden of Pairwise Comparisons with Human-in-the-Loop Sorting: Application in Medical Image Artifact Rating

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T04:45:23.801016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1724c65-81c9-401f-b82e-ce0e14175d3e · outbound

This paper cites Mm algorithms for generalized bradley-terry models,.

Towards Bridging Formal Methods and Human Interpretability Mm algorithms for generalized bradley-terry models,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:25.388147Z

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.

Observation 2ba89388-8ef8-4788-b250-2d28b778d12f · outbound

This paper cites A new measure of rank correlation,.

Towards Bridging Formal Methods and Human Interpretability A new measure of rank correlation,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T04:45:23.809742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f4b055d-e13f-40cd-891f-11a49996cb6d · outbound

This paper cites Fortis: A tool for analysis and repair of robust software systems,.

Towards Bridging Formal Methods and Human Interpretability Fortis: A tool for analysis and repair of robust software systems,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:25.215276Z

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.

Observation 1cfdaa04-6d91-4f66-9732-2662dbcb6432 · outbound

This paper cites Metric based evaluation and improvement of software designs,.

Towards Bridging Formal Methods and Human Interpretability Metric based evaluation and improvement of software designs,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:25.036341Z

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.

Observation fd1e6bcd-8b95-4f10-8965-a26e435b0b00 · outbound

This paper cites Software engineering: a practitioner’s approach,.

Towards Bridging Formal Methods and Human Interpretability Software engineering: a practitioner’s approach,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.887337Z

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.

Observation cdeda052-4483-40aa-ad89-faa6f5c979f1 · outbound

This paper cites Software engineering (ed.),.

Towards Bridging Formal Methods and Human Interpretability Software engineering (ed.),

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.683392Z

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.

Observation a626a8a4-47e8-4cc4-af75-f7763d614606 · outbound

This paper cites Bass,Software architecture in practice.

Towards Bridging Formal Methods and Human Interpretability Bass,Software architecture in practice

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.516309Z

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.

Observation fd6dda8b-8c0b-43b4-8694-70cd80cd185d · outbound

This paper cites Ieee recommended practice for architectural description of software-intensive systems,.

Towards Bridging Formal Methods and Human Interpretability Ieee recommended practice for architectural description of software-intensive systems,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.459642Z

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.

Observation 65327113-e893-4dc5-9fdd-aea6701d0fef · outbound

This paper cites Promoting the use of design evaluation techniques within software development,.

Towards Bridging Formal Methods and Human Interpretability Promoting the use of design evaluation techniques within software development,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.435321Z

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.

Observation 2ca00a21-b611-4a34-b31e-2d3829b72764 · outbound

This paper cites Assessing the comprehension of uml class diagrams via eye tracking,.

Towards Bridging Formal Methods and Human Interpretability Assessing the comprehension of uml class diagrams via eye tracking,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.413795Z

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.

Observation 3c575ca6-f4e6-4997-a575-d64053f66d7d · outbound

This paper cites Evaluating the layout quality of uml class diagrams using machine learning,.

Towards Bridging Formal Methods and Human Interpretability Evaluating the layout quality of uml class diagrams using machine learning,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.389012Z

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.

Observation 2b74fd4e-f3fe-4076-a14c-24aa149d9538 · outbound

This paper cites Hart,Investigating user experience and user engagement for design.

Towards Bridging Formal Methods and Human Interpretability Hart,Investigating user experience and user engagement for design

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.365808Z

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.

Observation e135d8e8-214b-42b3-b8a6-1ec326c872b4 · outbound

This paper cites Evaluation of software impact designed for biomedical research: Are we measuring what’s meaningful?.

Towards Bridging Formal Methods and Human Interpretability Evaluation of software impact designed for biomedical research: Are we measuring what’s meaningful?

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.343075Z

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.

Observation a4768900-f4ab-4b00-97e3-fb00938ac8fe · outbound

This paper cites User engagement by user-centred design in e-health,.

Towards Bridging Formal Methods and Human Interpretability User engagement by user-centred design in e-health,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.319765Z

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.

Observation 3e8de4f8-245d-4865-8d45-a200ca9140dd · outbound

This paper cites Participatory design, user involvement and health it evaluation,.

Towards Bridging Formal Methods and Human Interpretability Participatory design, user involvement and health it evaluation,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.296675Z

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.

Observation 242bdf68-f657-4acc-8c10-05d1e2825805 · outbound

This paper cites Evaluating large language models in software design: A comparative analysis of uml class diagram generation,.

Towards Bridging Formal Methods and Human Interpretability Evaluating large language models in software design: A comparative analysis of uml class diagram generation,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.281743Z

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.

Observation db5a96c8-d085-403b-8f70-c15f9c3cc743 · outbound

This paper cites Three Simulation Algorithms for Labelled Transition Systems.

Towards Bridging Formal Methods and Human Interpretability Three Simulation Algorithms for Labelled Transition Systems

Reference 26

Resolution: verified exact; local_arxiv, observed 2026-08-07T04:45:23.987810Z

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.

Observation 3d4bdd13-c15c-4f17-86af-7380a115c459 · outbound

This paper cites Approximate analyzing of labeled transition systems,.

Towards Bridging Formal Methods and Human Interpretability Approximate analyzing of labeled transition systems,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.267235Z

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.

Observation 8ebdaf20-49a3-4b13-8728-06af4bdf1427 · outbound

This paper cites On the complexity of techniques that make transition systems implementable by boolean nets,.

Towards Bridging Formal Methods and Human Interpretability On the complexity of techniques that make transition systems implementable by boolean nets,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.252284Z

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.

Observation 9f088b5b-98ea-4786-b8fb-a95b3db3d8a3 · outbound

This paper cites Evaluation of mechanism transitions.

Towards Bridging Formal Methods and Human Interpretability Evaluation of mechanism transitions

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.238699Z

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.

Observation 3e5ee609-2d82-4620-b085-b136d0945183 · outbound

This paper cites Labeled transition systems.

Towards Bridging Formal Methods and Human Interpretability Labeled transition systems

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.225136Z

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.

Observation 10e6e9d8-ce26-4423-82d6-5e1df0d98e90 · outbound

This paper cites Detecting community structure in networks,.

Towards Bridging Formal Methods and Human Interpretability Detecting community structure in networks,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.210839Z

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.

Observation 4dc987b2-4865-44a6-b966-3a8c9f02090e · outbound

This paper cites Enhancing model checking in verification by ai techniques,.

Towards Bridging Formal Methods and Human Interpretability Enhancing model checking in verification by ai techniques,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.195879Z

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.

Observation 8a9985cf-a48a-48db-a3f8-083345a20681 · outbound

This paper cites System design modification with actions,.

Towards Bridging Formal Methods and Human Interpretability System design modification with actions,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.181229Z

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.

Observation 580e0bbb-78e8-4ac6-94de-45b8ef938dc1 · outbound

This paper cites Abstract model repair,.

Towards Bridging Formal Methods and Human Interpretability Abstract model repair,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.165481Z

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.

Observation ccaf3b66-6795-4253-a283-5a33f27c4af5 · outbound

This paper cites Fixing targets and evaluating design alternatives by pairwise comparisons–the compare method,.

Towards Bridging Formal Methods and Human Interpretability Fixing targets and evaluating design alternatives by pairwise comparisons–the compare method,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.149193Z

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.

Observation 310af82e-059d-4c60-b3b2-f951cbdcf578 · outbound

This paper cites an unresolved cited work.

Towards Bridging Formal Methods and Human Interpretability Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:45:24.129927Z

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.

Observation 9f17246d-49bf-48c3-b7ec-5ee0332ba7d6 · outbound

This paper cites Efficient bayesian inference for generalized bradley–terry models,.

Towards Bridging Formal Methods and Human Interpretability Efficient bayesian inference for generalized bradley–terry models,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.113602Z

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.

Observation ab4a50b0-90d7-41c7-801a-ba2015beaee8 · outbound

This paper cites Active ranking using pairwise com- parisons,.

Towards Bridging Formal Methods and Human Interpretability Active ranking using pairwise com- parisons,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.097507Z

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.

Observation 85f81485-1a64-46d4-94c0-7e7e8e572f60 · outbound

This paper cites A graph complexity measure based on the spectral analysis of the laplace operator,.

Towards Bridging Formal Methods and Human Interpretability A graph complexity measure based on the spectral analysis of the laplace operator,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.081551Z

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.

Observation c3d2005b-2772-4da9-a73a-bd900dbc0095 · outbound

This paper cites The state explosion problem,.

Towards Bridging Formal Methods and Human Interpretability The state explosion problem,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.067078Z

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.

Observation 89f70ef2-8a2a-42ec-9a91-c894e483ef99 · outbound

This paper cites On the criteria to be used in decomposing systems into modules,.

Towards Bridging Formal Methods and Human Interpretability On the criteria to be used in decomposing systems into modules,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-07T04:45:23.937354Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c3131d1-c79a-4dda-9f98-0315d0ed4e8a · outbound

This paper cites Symmetry and model checking,.

Towards Bridging Formal Methods and Human Interpretability Symmetry and model checking,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:45:24.041755Z

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.

Pith citing papers

No inbound Pith citation observations are available.