Paper Citation Record · LEDGER

CAPRI: Contract-Aware Proof Repair for Isabelle

As of 15 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2608.13459.

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

pith.paper-citation-record.v1
2608.13459 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T10:48:40.070304Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+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

22 of 22 outbound references displayed

verified exact6
verified fuzzy2
unresolved13
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8f42f439-cfd6-410e-af6e-7557613757be · outbound

This paper cites In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.

CAPRI: Contract-Aware Proof Repair for Isabelle In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-14T10:48:39.745215Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0384311-c1ae-43a5-a0ee-777f1634c048 · outbound

This paper cites Science of Com- puterProgramming197,102510(2020).

CAPRI: Contract-Aware Proof Repair for Isabelle Science of Com- puterProgramming197,102510(2020)

Reference 2

Resolution: verified exact; doi, observed 2026-08-14T10:48:40.336429Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 81ee9562-d489-4690-ac1f-c7492ebecbeb · outbound

This paper cites arXiv preprint arXiv:2601.04653 (2026),https://arxiv.org/abs/2601.04653.

CAPRI: Contract-Aware Proof Repair for Isabelle arXiv preprint arXiv:2601.04653 (2026),https://arxiv.org/abs/2601.04653

Reference 3

Resolution: verified exact; raw_fallback, observed 2026-08-14T10:48:40.960266Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 30574fbe-a0aa-493d-aa67-6532e87dd101 · outbound

This paper cites In: Koyejo, S., Mohamed, S., Agar- wal, A., Belgrave, D., Cho, K., Oh, A.

CAPRI: Contract-Aware Proof Repair for Isabelle In: Koyejo, S., Mohamed, S., Agar- wal, A., Belgrave, D., Cho, K., Oh, A

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:48:41.211820Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b6b1ffb8-36c8-4cbe-af88-6e677db7e055 · outbound

This paper cites IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus.

CAPRI: Contract-Aware Proof Repair for Isabelle IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus

Reference 5

Resolution: metadata mismatch; local_arxiv, observed 2026-08-14T10:48:40.894479Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 182d8105-773e-40a3-8e37-9daed66bc8dc · outbound

This paper cites Empirical Software Engineering23(5), 3007–3033 (2018).

CAPRI: Contract-Aware Proof Repair for Isabelle Empirical Software Engineering23(5), 3007–3033 (2018)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:48:41.087703Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d9bcf2b2-6c8b-4213-84df-e84368416dde · outbound

This paper cites an unresolved cited work.

CAPRI: Contract-Aware Proof Repair for Isabelle Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-14T10:48:39.785987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a0291dd-5a46-4c12-b882-9fffbd5453bb · outbound

This paper cites an unresolved cited work.

CAPRI: Contract-Aware Proof Repair for Isabelle Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-14T10:48:41.041148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 05e537b4-6cb1-4034-af81-955341e5189a · outbound

This paper cites arXiv preprint arXiv:2505.05758 (2025), https://arxiv.org/abs/2505.05758.

CAPRI: Contract-Aware Proof Repair for Isabelle arXiv preprint arXiv:2505.05758 (2025), https://arxiv.org/abs/2505.05758

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-14T10:48:39.795654Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f91847f-e6c2-4aca-958b-cd2e2ec9e063 · outbound

This paper cites In: Proceedings of the 2015 International Symposium on Software Testing and Analysis.

CAPRI: Contract-Aware Proof Repair for Isabelle In: Proceedings of the 2015 International Symposium on Software Testing and Analysis

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-14T10:48:39.858412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db669108-4e34-4c44-9769-2e57c1a8030b · outbound

This paper cites A Minimal Agent for Automated Theorem Proving.

CAPRI: Contract-Aware Proof Repair for Isabelle A Minimal Agent for Automated Theorem Proving

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-14T10:48:39.912935Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f396ede8-8583-4268-83c9-4ca38b2b549b · outbound

This paper cites In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation.

CAPRI: Contract-Aware Proof Repair for Isabelle In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T10:48:39.916740Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4600c96-4c6d-4490-820b-84c589304988 · outbound

This paper cites In: Andronick, J., Felty, A.P.

CAPRI: Contract-Aware Proof Repair for Isabelle In: Andronick, J., Felty, A.P

Reference 13

Resolution: verified exact; doi, observed 2026-08-14T10:48:40.243551Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 22ce438c-f09e-4382-9411-866ec2c5ae78 · outbound

This paper cites In: Nitto, E.D., Harman, M., Heymans, P.

CAPRI: Contract-Aware Proof Repair for Isabelle In: Nitto, E.D., Harman, M., Heymans, P

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T10:48:39.925069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 484aff61-d324-43c3-b0a7-87d020f00292 · outbound

This paper cites In: Proceedings of the 21st International Conference on Software Technologies - ICSOFT.

CAPRI: Contract-Aware Proof Repair for Isabelle In: Proceedings of the 21st International Conference on Software Technologies - ICSOFT

Reference 15

Resolution: verified exact; doi, observed 2026-08-14T10:48:40.231545Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 33f65d1e-c5f3-43fa-8472-5b8ca8061fa8 · outbound

This paper cites An In-Context Learning Agent for Formal Theorem-Proving.

CAPRI: Contract-Aware Proof Repair for Isabelle An In-Context Learning Agent for Formal Theorem-Proving

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-14T10:48:39.932480Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92f9dcff-fd47-47fe-b915-c53171e95db8 · outbound

This paper cites arXiv preprint arXiv:2602.02990 (2026),https: //arxiv.org/abs/2602.02990.

CAPRI: Contract-Aware Proof Repair for Isabelle arXiv preprint arXiv:2602.02990 (2026),https: //arxiv.org/abs/2602.02990

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-14T10:48:39.936479Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1b00953-4133-4ec9-90e1-7bea5b5fa86e · outbound

This paper cites Proceedings of the ACM on Software Engineering3(FSE), 4804–4826 (Jun 2026).https://doi.org/ 10.1145/3808218,http://dx.doi.org/10.1145/3808218.

CAPRI: Contract-Aware Proof Repair for Isabelle Proceedings of the ACM on Software Engineering3(FSE), 4804–4826 (Jun 2026).https://doi.org/ 10.1145/3808218,http://dx.doi.org/10.1145/3808218

Reference 18

Resolution: verified exact; doi, observed 2026-08-14T10:48:40.151851Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7c687230-cc2a-4f9c-bec3-84cf1ca62bb1 · outbound

This paper cites arXiv preprint arXiv:2603.20449 (2026),https: //arxiv.org/abs/2603.20449.

CAPRI: Contract-Aware Proof Repair for Isabelle arXiv preprint arXiv:2603.20449 (2026),https: //arxiv.org/abs/2603.20449

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-14T10:48:39.965121Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56b32f15-2e17-4d4e-acfa-f045916a71e7 · outbound

This paper cites Journal of Systems and Software220, 112229 (2025).https://doi.org/10.1016/j.jss.2024.112229.

CAPRI: Contract-Aware Proof Repair for Isabelle Journal of Systems and Software220, 112229 (2025).https://doi.org/10.1016/j.jss.2024.112229

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-14T10:48:40.041433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f58ee33b-1101-42c4-897b-0323f03b53d4 · outbound

This paper cites Empirical Software Engineering26(2) (Feb 2021).https://doi.

CAPRI: Contract-Aware Proof Repair for Isabelle Empirical Software Engineering26(2) (Feb 2021).https://doi

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-14T10:48:40.065595Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7c5cffe-fbd5-4b4d-b2ff-8d540158b6c3 · outbound

This paper cites arXiv preprint arXiv:2602.08384 (2026),https://arxiv.org/abs/2602.08384.

CAPRI: Contract-Aware Proof Repair for Isabelle arXiv preprint arXiv:2602.08384 (2026),https://arxiv.org/abs/2602.08384

Reference 22

Resolution: verified exact; raw_fallback, observed 2026-08-14T10:48:40.412673Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Pith citing papers

No inbound Pith citation observations are available.