Paper Citation Record · LEDGER

Case study: solving P-99 with LPTP and an LLM

As of 14 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2607.21196.

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

pith.paper-citation-record.v1
2607.21196 v1

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T08:15:19.403053Z

measured 27 of 27 standing notices

One-hop event checks from named stored sources.

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

27 of 27 outbound references displayed

verified exact8
verified fuzzy0
unresolved19
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2f501539-24f3-41fc-aceb-39ccdbe2b88b · outbound

This paper cites arXiv:2601.13597.

Case study: solving P-99 with LPTP and an LLM arXiv:2601.13597

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:15.791204Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40c4ad96-f4dd-4cc1-a0dc-e5b3dcb62af6 · outbound

This paper cites Anthropic Blog.

Case study: solving P-99 with LPTP and an LLM Anthropic Blog

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:15.871540Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c617c705-46de-4715-8da1-e1635c4b274f · outbound

This paper cites Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity.

Case study: solving P-99 with LPTP and an LLM Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:16.020756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation faa11741-efb0-4d82-a35e-6ddbc628ff35 · outbound

This paper cites CoRR abs/2509.22908, doi:10.48550/ARXIV .2509.22908.

Case study: solving P-99 with LPTP and an LLM CoRR abs/2509.22908, doi:10.48550/ARXIV .2509.22908

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:16.147592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a885244-1f5f-45c3-b1f4-76edab2043e0 · outbound

This paper cites Cousot & R.

Case study: solving P-99 with LPTP and an LLM Cousot & R

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:16.275419Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c20690bd-f1a1-4a0c-8ef8-ad5c14d3eb2a · outbound

This paper cites Cousot & R.

Case study: solving P-99 with LPTP and an LLM Cousot & R

Reference 6

Resolution: verified exact; doi, observed 2026-08-01T08:19:41.937951Z

Source-reported events for the cited work

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

Observation 1892959d-2e3e-422f-b7ab-16d69aba0442 · outbound

This paper cites In: Proceedings of the 48th International Conference on Software Engineering (ICSE 2026), Software Engineering in Practice (SEIP).

Case study: solving P-99 with LPTP and an LLM In: Proceedings of the 48th International Conference on Software Engineering (ICSE 2026), Software Engineering in Practice (SEIP)

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:16.560918Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23214daf-4cab-49aa-b90a-ac4e9685cb68 · outbound

This paper cites Agentic Software Engineering: Foundational Pillars and a Research Roadmap.

Case study: solving P-99 with LPTP and an LLM Agentic Software Engineering: Foundational Pillars and a Research Roadmap

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:16.706443Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06c250b5-c05f-4a6b-b8b0-4ee516bf4886 · outbound

This paper cites an unresolved cited work.

Case study: solving P-99 with LPTP and an LLM Unresolved cited work

Reference 9

Resolution: verified exact; doi, observed 2026-08-01T08:19:41.621762Z

Source-reported events for the cited work

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

Observation 7066ee4d-19ed-4b6f-9689-33474846c87d · outbound

This paper cites an unresolved cited work.

Case study: solving P-99 with LPTP and an LLM Unresolved cited work

Reference 10

Resolution: verified exact; doi, observed 2026-08-01T08:19:41.504320Z

Source-reported events for the cited work

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

Observation b8aa2904-cd54-467f-991f-8ec7fbbc5eb8 · outbound

This paper cites IEEE Access 13, pp.

Case study: solving P-99 with LPTP and an LLM IEEE Access 13, pp

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:17.020585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cca1020-b160-476e-80ed-60def2056141 · outbound

This paper cites Electronic Proceedings in Theoretical Computer Science 439, p.

Case study: solving P-99 with LPTP and an LLM Electronic Proceedings in Theoretical Computer Science 439, p

Reference 12

Resolution: verified exact; doi, observed 2026-08-01T08:19:41.281452Z

Source-reported events for the cited work

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

Observation d271c063-6312-4830-9ebd-e7e0a9b69daf · outbound

This paper cites an unresolved cited work.

Case study: solving P-99 with LPTP and an LLM Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:17.257590Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 078026a5-ef8d-4685-98b8-eb61ea094690 · outbound

This paper cites In: Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages , LMPL ’25, Association for Computing Machinery, New York, NY , USA, p.

Case study: solving P-99 with LPTP and an LLM In: Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages , LMPL ’25, Association for Computing Machinery, New York, NY , USA, p

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:17.382125Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ba69637-8b6b-4121-bd4b-7bec91154d4c · outbound

This paper cites Morales, Salvador Abreu, Daniela Ferreiro & Manuel V.

Case study: solving P-99 with LPTP and an LLM Morales, Salvador Abreu, Daniela Ferreiro & Manuel V

Reference 15

Resolution: verified exact; doi, observed 2026-08-01T08:19:41.157999Z

Source-reported events for the cited work

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

Observation 852aa914-dde6-4fbe-bf8b-d42dd3b256ec · outbound

This paper cites ACM Transactions on Programming Languages and Systems 28(2), pp.

Case study: solving P-99 with LPTP and an LLM ACM Transactions on Programming Languages and Systems 28(2), pp

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:17.593271Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd8289c0-0ffd-4e43-95ac-7b23690e893e · outbound

This paper cites Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI.

Case study: solving P-99 with LPTP and an LLM Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:17.741626Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 446feaf2-0691-4f2d-8e6c-aa8783140267 · outbound

This paper cites In: Proceedings of the 36th Annual Conference of the Psychology of Programming Interest Group (PPIG 2025).

Case study: solving P-99 with LPTP and an LLM In: Proceedings of the 36th Annual Conference of the Psychology of Programming Interest Group (PPIG 2025)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:17.844207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e75cbf40-eb19-42df-8240-daf6382a77e5 · outbound

This paper cites an unresolved cited work.

Case study: solving P-99 with LPTP and an LLM Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-01T08:19:41.055302Z

Source-reported events for the cited work

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

Observation 6f9834a2-01b8-4e85-82a1-87289fe303aa · outbound

This paper cites an unresolved cited work.

Case study: solving P-99 with LPTP and an LLM Unresolved cited work

Reference 20

Resolution: verified exact; doi, observed 2026-08-01T08:19:40.902991Z

Source-reported events for the cited work

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

Observation 4dd9db22-f9a6-4bbb-a197-fb497a7128a1 · outbound

This paper cites an unresolved cited work.

Case study: solving P-99 with LPTP and an LLM Unresolved cited work

Reference 21

Resolution: verified exact; doi, observed 2026-08-01T08:19:40.763831Z

Source-reported events for the cited work

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

Observation 1a099d30-1572-4ea4-9008-f4de52f3719a · outbound

This paper cites In: 2nd AI for Math Workshop @ ICML 2025.

Case study: solving P-99 with LPTP and an LLM In: 2nd AI for Math Workshop @ ICML 2025

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:18.469933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa6ff72c-f36a-4f8a-bde6-f73dc2ebb210 · outbound

This paper cites arXiv:2508.11126.

Case study: solving P-99 with LPTP and an LLM arXiv:2508.11126

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:18.657784Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6111f18c-2ec2-4dfe-81b2-dab6740f4484 · outbound

This paper cites arXiv:2603.15691.

Case study: solving P-99 with LPTP and an LLM arXiv:2603.15691

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:18.885632Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b4baa47-8b37-40ae-9f62-c1670bc8d623 · outbound

This paper cites https://metr.org/notes/ 2026-03-10-many-swe-bench-passing-prs-would-not-be-merged-into-main/.

Case study: solving P-99 with LPTP and an LLM https://metr.org/notes/ 2026-03-10-many-swe-bench-passing-prs-would-not-be-merged-into-main/

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:19.093473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb5c82b6-e2af-4ea3-be40-4400cf040af8 · outbound

This paper cites AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms.

Case study: solving P-99 with LPTP and an LLM AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:19.304043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 848fe4ae-754c-4094-a6d9-771c0e1d52bb · outbound

This paper cites arXiv:2512.03262.

Case study: solving P-99 with LPTP and an LLM arXiv:2512.03262

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:19.403053Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.