{"as_of":"2026-08-21T16:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b84301cd50c3ef4a64bdb4feffba4cd83bd0151ced94480f7eb196e13a7d4773","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T11:50:26.030339Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T21:40:02.390463Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.12594","snapshot_observed_at":"2026-08-01T21:40:02.390463Z","title":"Pythagoras-prover: Advancing efficient formal proving via augmented lean formalisation,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16372","last_updated":"2026-07-17T14:43:43Z","snapshot_observed_at":"2026-08-16T20:17:19.237552Z","submitted_at":"2026-07-17T14:43:43Z","title":"AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T21:40:02.390463Z"},"links":{"cited_paper":"/paper/2606.12594","citing_paper":"/paper/2607.16372"},"observation_digest":"sha256:cd13e26507cdbd4935c67181183c41efb3394ee1e1dfa2ba8a958747762ebe61","observation_id":"d242234d-48c3-436c-b207-318b6fa88a8f","resolution":{"observed_at":"2026-08-01T21:40:02.390463Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2606.12594/citation-record","integrity":"/paper/2606.12594/integrity","json":"/paper/2606.12594/citation-record.json","paper":"/paper/2606.12594"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2025.emnlp-main.1024","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"URLhttps://aclanthology.org/2025.emnlp-main.1024/","venue":null,"work_id":"914191cb-45e6-4d4e-976c-13f09ade7449","year":2025},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:cd27399a9bb1137bebdfc414c744b8793163875647c7bf7e243007c1983288c0","observation_id":"8bf8ca76-b906-471a-b8db-8ee774990a39","resolution":{"observed_at":"2026-06-27T10:00:49.115283Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0890-5401(88)90005-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"The calculus of constructions","venue":"Information and Computation","work_id":"72a5212d-51e3-4835-bd02-62c98b3f4c6c","year":1988},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:265bb9a9efacf48150672f4f1b3ce21bc9bfe13aa613846c64a5367f669657b4","observation_id":"724b137f-22f5-4910-8318-f6b694b7e346","resolution":{"observed_at":"2026-06-27T10:00:49.117650Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.52202/079017-0368","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition","venue":null,"work_id":"3a3572b9-7474-472a-adba-45937ca934c3","year":2024},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:049bbaa07708f75d4712ae06c61db49ecbc81dcada1563f4502738833a158a9c","observation_id":"e95321a4-fb55-4e13-9910-89785d99d831","resolution":{"observed_at":"2026-06-27T10:00:49.126615Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":"2505.09388","doi":"10.1016/j.aiopen.2022.12","metadata_source":"pith","pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Qwen3 Technical Report","venue":"cs.CL","work_id":"25a4e30c-1232-48e7-9925-02fa12ba7c9e","year":2025},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:abc491067f243279f4a51b6ac4bb46d03e1c8f53b07dd6c74191500652e56af0","observation_id":"9ac40289-d69e-4022-86cf-030c62a5259b","resolution":{"observed_at":"2026-06-27T10:00:49.120763Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06-27T09:55:35.227340Z","title":"Jia Li, Edward Beeching, Lewis Tunstall, Ben Lipkin, Roman Soletskyi, Shengyi Huang, Kashif Rasul, Longhui Yu, Albert Q Jiang, Ziju Shen, et al","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:24b218137d950733d5efca0a4f99cd7d9b45e704baf8430a8a50d8df344834e9","observation_id":"236ac461-e6b8-4627-991f-930081be0524","resolution":{"observed_at":"2026-06-27T09:55:35.227340Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11354","last_updated":"2025-04-15T16:23:44Z","snapshot_observed_at":"2026-08-15T23:16:36.618851Z","submitted_at":"2025-04-15T16:23:44Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","version":1},"cited_work":{"arxiv_id":"2504.11354","doi":"10.18653/v1/2025.acl-long.1565","metadata_source":"pith","pith_arxiv_id":"2504.11354","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","venue":"cs.AI","work_id":"0ff53eb8-7b88-4c00-8ba0-5f90f9a97f90","year":2025},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"cited_paper":"/paper/2504.11354","citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:837ad199d9ff24a1b14ab29cd104191408087c060c22196016e91bf581002043","observation_id":"8540c0f6-1351-4a8c-92ba-fce8160cbd76","resolution":{"observed_at":"2026-07-03T10:37:56.850589Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-07-12T16:19:43.22822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T16:19:43.22822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.03300","last_updated":"2024-04-27T15:25:53Z","snapshot_observed_at":"2026-08-06T14:58:42.911363Z","submitted_at":"2024-02-05T18:55:32Z","title":"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models","version":3},"cited_work":{"arxiv_id":"2402.03300","doi":"10.1016/0004-3702(73)90011-8","metadata_source":"pith","pith_arxiv_id":"2402.03300","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models","venue":"cs.CL","work_id":"c5006563-f3ec-438a-9e35-b7b484f34828","year":2024},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2402.03300","citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:a43373949433801d5ec875f19fe6c97251e21a37079da0a0bd1c7baf48b269d6","observation_id":"7403ea99-5227-479d-91fa-e5cd58f56f06","resolution":{"observed_at":"2026-06-27T10:00:49.111943Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2601.03267","last_updated":"2026-05-01T23:55:43Z","snapshot_observed_at":"2026-08-15T00:17:32.875866Z","submitted_at":"2025-12-19T07:05:38Z","title":"OpenAI GPT-5 System Card","version":2},"cited_work":{"arxiv_id":"2601.03267","doi":"10.48550/arxiv.2601.03267","metadata_source":"pith","pith_arxiv_id":"2601.03267","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"OpenAI GPT-5 System Card","venue":"cs.CL","work_id":"ca87689a-0d29-4476-b504-b65dbbb08af4","year":2025},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2601.03267","citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:4114a043c9d8e58d570b124b4d7b8307cb2ad67e7ace3f377b2181fa3220d3e0","observation_id":"a44ea740-f859-4caa-92d4-7ddfd5eb3568","resolution":{"observed_at":"2026-06-27T10:00:49.108555Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-10T00:38:24.809631+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-10T00:38:24.809631+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2025.emnlp-demos.44","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Prove that","venue":null,"work_id":"4386e3ba-11c0-424b-981d-35875e881094","year":2025},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:22e9bc292989d62e751f4d527da94759d432975a8338dfd47a29f703b31ebe03","observation_id":"59677243-341e-4087-a081-5925913202ab","resolution":{"observed_at":"2026-06-27T10:00:49.105759Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-06-27T09:55:35.227340Z","title":"(e.g., If the error involves Point F, you MUST state the exact coordinates of Point F in the question)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:b0482ac6a7adf809987bac50cca6c5c74f6f3130d487736218f0351777cd290a","observation_id":"5d8b4406-c421-40fa-85fa-e433cdaf1493","resolution":{"observed_at":"2026-06-27T09:55:35.227340Z","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-06-27T09:55:35.227340Z","title":"Frame it purely as a standard math competition or textbook problem","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:e36a5f5442c5e30254815706709158c9be85fab50b62188040277e9cc7ec1b46","observation_id":"e58500de-2ac9-452e-97ef-415dde842032","resolution":{"observed_at":"2026-06-27T09:55:35.227340Z","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-06-27T09:55:35.227340Z","title":"WHY\" QUESTIONS:** Do not ask","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:8c5ec1a85330b4688e91f2af7b98be8b716e64dab2d77bd4cd77b1dafd3fa020","observation_id":"c5dd31c3-f0ca-4522-b95d-272d598964c9","resolution":{"observed_at":"2026-06-27T09:55:35.227340Z","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-06-27T09:55:35.227340Z","title":"Why does the`intro`tactic fail when applied to Point F?","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-27T09:55:35.227340Z"},"links":{"citing_paper":"/paper/2606.12594"},"observation_digest":"sha256:443b272d4259edbefad0717d7669d497231df7bbdbcf390c71094661add7390f","observation_id":"b3df843c-0cb5-41e4-86c9-d35dc4ae33b8","resolution":{"observed_at":"2026-06-27T09:55:35.227340Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.12594","last_updated":"2026-06-10T18:43:11Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-13T06:16:35.421121Z","submitted_at":"2026-06-10T18:43:11Z","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":0,"metadata_mismatch":6,"parse_uncertain":0,"unresolved":5,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":13},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 1 inbound Pith citation observation for arXiv:2606.12594."}