{"as_of":"2026-08-14T10:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5c41ae1a7607ea42182b190a2c9476dce0bc5f121de81fa816f2f166e309fb23","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T08:15:19.403053Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.21196/citation-record","integrity":"/paper/2607.21196/integrity","json":"/paper/2607.21196/citation-record.json","paper":"/paper/2607.21196"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:15.791204Z","title":"arXiv:2601.13597","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:15.791204Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:23cb753031e2b24ec8912548c9708e2653937fa5cb8ea72142f2afef4ab99991","observation_id":"2f501539-24f3-41fc-aceb-39ccdbe2b88b","resolution":{"observed_at":"2026-08-01T08:15:15.791204Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:15.871540Z","title":"Anthropic Blog","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:15.871540Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:21d3357c36c5b1629c2ef9b73215ff06c60fec2fe72cef46dd3042712bc656bb","observation_id":"40c4ad96-f4dd-4cc1-a0dc-e5b3dcb62af6","resolution":{"observed_at":"2026-08-01T08:15:15.871540Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2507.09089","last_updated":"2025-07-25T00:43:07Z","snapshot_observed_at":"2026-08-06T18:02:32.676640Z","submitted_at":"2025-07-12T00:16:33Z","title":"Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.09089","snapshot_observed_at":"2026-08-01T08:15:16.020756Z","title":"arXiv:2507.09089","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:16.020756Z"},"links":{"cited_paper":"/paper/2507.09089","citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:e2a8670022615d5c9915466eaf5386f367099ca4672fdd268323afdaf862bfc6","observation_id":"c617c705-46de-4715-8da1-e1635c4b274f","resolution":{"observed_at":"2026-08-01T08:15:16.020756Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:16.147592Z","title":"CoRR abs/2509.22908, doi:10.48550/ARXIV .2509.22908","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:16.147592Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:be625292af751e3a4778d2fbf39f94a24dbb9b61fe8afbd66248389c37e5239b","observation_id":"faa11741-efb0-4d82-a35e-6ddbc628ff35","resolution":{"observed_at":"2026-08-01T08:15:16.147592Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:16.275419Z","title":"Cousot & R","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:16.275419Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:1bd8a82dbb4d02421463e21173c50367de3c49e3962676db485a7b0625e999be","observation_id":"5a885244-1f5f-45c3-b1f4-76edab2043e0","resolution":{"observed_at":"2026-08-01T08:15:16.275419Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0743-1066(92)90030-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Cousot & R","venue":"The Journal of Logic Programming","work_id":"1dd1baf8-d8ee-48fd-82cc-1ea85c03eb6b","year":1992},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:16.388524Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:31fdbca8adf7ce6e0180d0c0ceef19a6835a4bc3beffa7b4aec73661232b3ed5","observation_id":"c20690bd-f1a1-4a0c-8ef8-ad5c14d3eb2a","resolution":{"observed_at":"2026-08-01T08:19:41.937951Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-02T13:08:08.477897+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T13:08:08.477897+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:16.560918Z","title":"In: Proceedings of the 48th International Conference on Software Engineering (ICSE 2026), Software Engineering in Practice (SEIP)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:16.560918Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:91baeefb329862935793a4033dc00bd6668dd3d70b17f17b5f1d2709ab33ff82","observation_id":"1892959d-2e3e-422f-b7ab-16d69aba0442","resolution":{"observed_at":"2026-08-01T08:15:16.560918Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2509.06216","last_updated":"2026-06-24T17:45:50Z","snapshot_observed_at":"2026-08-13T09:31:22.402669Z","submitted_at":"2025-09-07T21:40:10Z","title":"Agentic Software Engineering: Foundational Pillars and a Research Roadmap","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2509.06216","snapshot_observed_at":"2026-08-01T08:15:16.706443Z","title":"Hassan, Hao Li, Dayi Lin, Bram Adams, Tse-Hsun Chen, Yutaro Kashiwa & Dong Qiu (2025): Agentic Software Engineering: Foundational Pillars and a Research Roadmap","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:16.706443Z"},"links":{"cited_paper":"/paper/2509.06216","citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:3d58c950dcd0728bd269ac03415d09fcaace45a192296b7b78c2fb5a6b9e80ac","observation_id":"23214daf-4cab-49aa-b90a-ac4e9685cb68","resolution":{"observed_at":"2026-08-01T08:15:16.706443Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.scico.2005.02.006","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Science of Computer Programming","work_id":"4dfb99f1-250d-4ba5-9345-3ef7889b645c","year":2005},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:16.813453Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:39e9075976fc800bf92aa9f0bc2f73cc945b2bc017ee5047da9f64c9d8bb709c","observation_id":"06c250b5-c05f-4a6b-b8b0-4ee516bf4886","resolution":{"observed_at":"2026-08-01T08:19:41.621762Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-02T13:08:08.837676+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T13:08:08.837676+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-032-04848-6_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"b7fa8914-0df8-4731-b4cf-b3026822ac86","year":2025},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:16.911560Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:e56c0c6f2e69cc3554c6177c23239193cec523e354fc24b8490d629b98291cc3","observation_id":"7066ee4d-19ed-4b6f-9689-33474846c87d","resolution":{"observed_at":"2026-08-01T08:19:41.504320Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-02T13:08:09.041506+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T13:08:09.041506+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:17.020585Z","title":"IEEE Access 13, pp","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:17.020585Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:5f1159216395e615caf43fefdd034b3d963f115dd4bba27d336ee95fe699f022","observation_id":"b8aa2904-cd54-467f-991f-8ec7fbbc5eb8","resolution":{"observed_at":"2026-08-01T08:15:17.020585Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.439.32","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Electronic Proceedings in Theoretical Computer Science 439, p","venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"0ff9dae5-6e90-4453-91f2-89c2e953e070","year":2026},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:17.133595Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:58fcf6d04a67a343885a96f3f10435110b5161cf304fd15d6ecb05e2c32f9054","observation_id":"0cca1020-b160-476e-80ed-60def2056141","resolution":{"observed_at":"2026-08-01T08:19:41.281452Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-02T13:08:09.181554+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T13:08:09.181554+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:17.257590Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:17.257590Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:f5e940d4fc055d93b9452ca862e292517ba7e4fadfe99f86477250f4eb5c7a1a","observation_id":"d271c063-6312-4830-9ebd-e7e0a9b69daf","resolution":{"observed_at":"2026-08-01T08:15:17.257590Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:17.382125Z","title":"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","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:17.382125Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:c83fe847215c14a6ca41efe5c052780e7879fd1454653d6440926fac65272bbb","observation_id":"078026a5-ef8d-4685-98b8-eb61ea094690","resolution":{"observed_at":"2026-08-01T08:15:17.382125Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-35254-6_14","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Morales, Salvador Abreu, Daniela Ferreiro & Manuel V","venue":"Lecture notes in computer science","work_id":"5d062524-c0a7-4742-8db9-6db8392292fe","year":2023},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:17.485663Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:e51dce2dfc4ad195cc100b1459a10ec1a8cf2c8ab9f3da2e022c332271b0e721","observation_id":"4ba69637-8b6b-4121-bd4b-7bec91154d4c","resolution":{"observed_at":"2026-08-01T08:19:41.157999Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-02T13:08:09.388232+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T13:08:09.388232+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:17.593271Z","title":"ACM Transactions on Programming Languages and Systems 28(2), pp","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:17.593271Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:253084bd73ebeafcbcbb22580b017d6fc7c64862908c1e2cd1e20510d1f3663a","observation_id":"852aa914-dde6-4fbe-bf8b-d42dd3b256ec","resolution":{"observed_at":"2026-08-01T08:15:17.593271Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.19443","last_updated":"2025-05-26T03:00:21Z","snapshot_observed_at":"2026-08-07T14:11:48.229560Z","submitted_at":"2025-05-26T03:00:21Z","title":"Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.19443","snapshot_observed_at":"2026-08-01T08:15:17.741626Z","title":"Roumeliotis & Manoj Karkee (2025): Vibe Coding vs","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:17.741626Z"},"links":{"cited_paper":"/paper/2505.19443","citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:1012b896c1982541ac6f1ed4149b5fba1511fa9f21ee746b1d61c56fa8d62162","observation_id":"bd8289c0-0ffd-4e43-95ac-7b23690e893e","resolution":{"observed_at":"2026-08-01T08:15:17.741626Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:17.844207Z","title":"In: Proceedings of the 36th Annual Conference of the Psychology of Programming Interest Group (PPIG 2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:17.844207Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:0e4952213a872aa2da1f6dd079acbbab53bfb43c50af6e50c72ac9f9c44d38f7","observation_id":"446feaf2-0691-4f2d-8e6c-aa8783140267","resolution":{"observed_at":"2026-08-01T08:15:17.844207Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01270391","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Archive for Mathematical Logic","work_id":"cae8b1e3-8136-48e1-a76e-392595f6d076","year":1995},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:17.988595Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:0d41f0eb49fa854f101ce48e35a988ce87ae6101ae13bb8043c719bcd66fc1bf","observation_id":"e75cbf40-eb19-42df-8240-daf6382a77e5","resolution":{"observed_at":"2026-08-01T08:19:41.055302Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-02T13:08:09.60278+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T13:08:09.60278+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-60983-0_17","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"8f75d8a2-5b94-484d-afd1-1d638c983437","year":1996},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:18.098529Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:dcaff34288d35ad4e08f5bb1dbbbfff446a4457ec317022879ea532bc6c35255","observation_id":"6f9834a2-01b8-4e85-82a1-87289fe303aa","resolution":{"observed_at":"2026-08-01T08:19:40.902991Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-02T13:08:09.783764+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T13:08:09.783764+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0743-1066(97)10013-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"The Journal of Logic Programming","work_id":"180c6922-669a-4c62-8166-3e30ee223f3e","year":1998},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:18.306799Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:c9fad4c29132709c261c2807437098619fbba44553fdc24fab6073ee4843ec41","observation_id":"4dd9db22-f9a6-4bbb-a197-fb497a7128a1","resolution":{"observed_at":"2026-08-01T08:19:40.763831Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-02T13:08:09.94063+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-02T13:08:09.94063+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:18.469933Z","title":"In: 2nd AI for Math Workshop @ ICML 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:18.469933Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:36710121ecf7a80309667d49e2c55e681f284c2e148359594e7e98f9a11f49e2","observation_id":"1a099d30-1572-4ea4-9008-f4de52f3719a","resolution":{"observed_at":"2026-08-01T08:15:18.469933Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:18.657784Z","title":"arXiv:2508.11126","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:18.657784Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:8e998a20c5fa80ec3a41e71d3c9fe24e0a8d429c1906d6ac39d0c5ef11a3e398","observation_id":"aa6ff72c-f36a-4f8a-bde6-f73dc2ebb210","resolution":{"observed_at":"2026-08-01T08:15:18.657784Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:18.885632Z","title":"arXiv:2603.15691","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:18.885632Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:36186e161b86bbf92b68a2ae2fa320c7cba1815efad376f94597dc1d3245691d","observation_id":"6111f18c-2ec2-4dfe-81b2-dab6740f4484","resolution":{"observed_at":"2026-08-01T08:15:18.885632Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:19.093473Z","title":"https://metr.org/notes/ 2026-03-10-many-swe-bench-passing-prs-would-not-be-merged-into-main/","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:19.093473Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:504c9f524f4d43084e3009c8c27ab0de71b4c926a163c7efb32972c2ba873b4f","observation_id":"4b4baa47-8b37-40ae-9f62-c1670bc8d623","resolution":{"observed_at":"2026-08-01T08:15:19.093473Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.09464","snapshot_observed_at":"2026-08-01T08:15:19.304043Z","title":"Veeravalli, Aarti Gupta & Sanjeev Arora (2026): AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algo- rithms","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:19.304043Z"},"links":{"cited_paper":"/paper/2602.09464","citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:3deb98a869a052607124d89774eed61554f988263d8b43a8fe81fcde0de8ee2b","observation_id":"bb5c82b6-e2af-4ea3-be40-4400cf040af8","resolution":{"observed_at":"2026-08-01T08:15:19.304043Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T08:15:19.403053Z","title":"arXiv:2512.03262","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:19.403053Z"},"links":{"citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:5cec40388b69f35be3a11ff4ffb9e46b9a5913a7093cae56ffc31078af0ec338","observation_id":"848fe4ae-754c-4094-a6d9-771c0e1d52bb","resolution":{"observed_at":"2026-08-01T08:15:19.403053Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":19,"verified_exact":8,"verified_fuzzy":0},"total_outbound_references":27},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"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."}