{"as_of":"2026-08-08T21:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e95e6c47bfdfe44610e0b0ef8ce30693f64c4a4ebeb6d8d5f26ffd917563fd63","coverage":[{"denominator":12,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:17:14.635399Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2507.11275/citation-record","integrity":"/paper/2507.11275/integrity","json":"/paper/2507.11275/citation-record.json","paper":"/paper/2507.11275"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:15.222771Z","title":null,"venue":null,"work_id":"cd236cf4-be31-42b5-a864-306da22425b7","year":null},"citing_paper":{"arxiv_id":"2507.11275","last_updated":"2025-07-15T12:52:47Z","snapshot_observed_at":"2026-08-07T23:36:30.617168Z","submitted_at":"2025-07-15T12:52:47Z","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:14.454839Z"},"links":{"citing_paper":"/paper/2507.11275"},"observation_digest":"sha256:4d70da297df0be16a095421a0943be905c48aee586e40f61633d905c3bc51288","observation_id":"c85501a4-f4a4-443a-97be-6d73a93b67db","resolution":{"observed_at":"2026-08-06T17:17:15.280927Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:15.390837Z","title":null,"venue":null,"work_id":"28924869-e9ad-4c8b-8e04-fedac750687e","year":2000},"citing_paper":{"arxiv_id":"2507.11275","last_updated":"2025-07-15T12:52:47Z","snapshot_observed_at":"2026-08-07T23:36:30.617168Z","submitted_at":"2025-07-15T12:52:47Z","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:14.387557Z"},"links":{"citing_paper":"/paper/2507.11275"},"observation_digest":"sha256:8a2be527d142ebbac428c4dc0af1e9cf0d3361f68634a4eb538ea777585b2af5","observation_id":"476d7ab8-3f0a-4a1a-8ba6-32788bf25cb3","resolution":{"observed_at":"2026-08-06T17:17:15.420069Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:15.040865Z","title":null,"venue":null,"work_id":"76886109-1af5-408a-a48a-b9f2b761c45c","year":null},"citing_paper":{"arxiv_id":"2507.11275","last_updated":"2025-07-15T12:52:47Z","snapshot_observed_at":"2026-08-07T23:36:30.617168Z","submitted_at":"2025-07-15T12:52:47Z","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:14.534808Z"},"links":{"citing_paper":"/paper/2507.11275"},"observation_digest":"sha256:53333d4f5c66e8890601994c67dce9b6021a9b47a750154705abc0bebfda208e","observation_id":"0b1f8176-861e-402b-bc2f-1d5dad7464da","resolution":{"observed_at":"2026-08-06T17:17:15.080186Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:14.888205Z","title":null,"venue":null,"work_id":"c2ba79db-cdd3-4f5f-bce2-2c7d7fc7eabf","year":null},"citing_paper":{"arxiv_id":"2507.11275","last_updated":"2025-07-15T12:52:47Z","snapshot_observed_at":"2026-08-07T23:36:30.617168Z","submitted_at":"2025-07-15T12:52:47Z","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:14.583814Z"},"links":{"citing_paper":"/paper/2507.11275"},"observation_digest":"sha256:40264790ad0c639b0a2cfd8cc463642ed59bfa67f2becbc151f6254cdbf74000","observation_id":"edb515c3-8ea6-4ad8-922f-4d5ac0c329fb","resolution":{"observed_at":"2026-08-06T17:17:14.964831Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:14.802676Z","title":"Analysis","venue":null,"work_id":"41869429-5f65-4a8c-befb-ee7147135d38","year":null},"citing_paper":{"arxiv_id":"2507.11275","last_updated":"2025-07-15T12:52:47Z","snapshot_observed_at":"2026-08-07T23:36:30.617168Z","submitted_at":"2025-07-15T12:52:47Z","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:14.635399Z"},"links":{"citing_paper":"/paper/2507.11275"},"observation_digest":"sha256:6a677cfa55545aa035c6bf03273147ea29d3a74c3f8d8972d7ae0baee2a8a936","observation_id":"1d886610-7e7b-4efa-a96f-50e534c83c46","resolution":{"observed_at":"2026-08-06T17:17:14.856270Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.02735","last_updated":"2025-05-05T15:37:00Z","snapshot_observed_at":"2026-08-07T23:36:07.412083Z","submitted_at":"2025-05-05T15:37:00Z","title":"FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.02735","snapshot_observed_at":"2026-08-06T17:17:14.330509Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.11275","last_updated":"2025-07-15T12:52:47Z","snapshot_observed_at":"2026-08-07T23:36:30.617168Z","submitted_at":"2025-07-15T12:52:47Z","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:14.330509Z"},"links":{"cited_paper":"/paper/2505.02735","citing_paper":"/paper/2507.11275"},"observation_digest":"sha256:0f41a1606686c70b0e973e8406a3e9c91c7e54e4c62e5853ce5cf231f1fc7b25","observation_id":"2e591df7-2cf8-45aa-8b4f-1f96909618d2","resolution":{"observed_at":"2026-08-06T17:17:14.330509Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:15.147276Z","title":null,"venue":null,"work_id":"e96c468f-e829-476c-bb42-00b89a6a4bad","year":null},"citing_paper":{"arxiv_id":"2507.11275","last_updated":"2025-07-15T12:52:47Z","snapshot_observed_at":"2026-08-07T23:36:30.617168Z","submitted_at":"2025-07-15T12:52:47Z","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:14.507244Z"},"links":{"citing_paper":"/paper/2507.11275"},"observation_digest":"sha256:692ade843eddf94be0e504caaa7b05628126f82fe587c8ea7e71422b0798f9eb","observation_id":"8fd36baf-1353-42c9-934d-b4e6cba8fc9b","resolution":{"observed_at":"2026-08-06T17:17:15.190306Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-06T17:17:14.073277Z","title":"DeepSeek-AI","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.11275","last_updated":"2025-07-15T12:52:47Z","snapshot_observed_at":"2026-08-07T23:36:30.617168Z","submitted_at":"2025-07-15T12:52:47Z","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","version":1},"reference_index":388,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:14.073277Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2507.11275"},"observation_digest":"sha256:8a69875506bc587d94ade788f5dfa2bb97ece67db0fbcb26022c8cfe8993b0d2","observation_id":"6d3ead40-8e3e-4eb7-a243-c744bd2efb78","resolution":{"observed_at":"2026-08-06T17:17:14.073277Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-06T17:17:14.287824Z","title":"org/CorpusID:27548688","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2507.11275","last_updated":"2025-07-15T12:52:47Z","snapshot_observed_at":"2026-08-07T23:36:30.617168Z","submitted_at":"2025-07-15T12:52:47Z","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","version":1},"reference_index":1993,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:14.287824Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2507.11275"},"observation_digest":"sha256:4b2c154345a8ef68375830aeab25a631a7b610fd8d3bbf8e0caf25ba227b009b","observation_id":"32c37c79-a739-4ea2-9f14-b1641c4bc42e","resolution":{"observed_at":"2026-08-06T17:17:14.287824Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-07T01:45:38.840969Z","submitted_at":"2021-10-27T04:49:45Z","title":"Training Verifiers to Solve Math Word Problems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.14168","snapshot_observed_at":"2026-08-06T17:17:14.006344Z","title":"ISBN 9781713829546","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.11275","last_updated":"2025-07-15T12:52:47Z","snapshot_observed_at":"2026-08-07T23:36:30.617168Z","submitted_at":"2025-07-15T12:52:47Z","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:14.006344Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2507.11275"},"observation_digest":"sha256:40e783953d0e50f6f87dbc063d563691e6f2fd7e816cfa18de32da1533484fd9","observation_id":"fb7eb88a-59f1-4a5b-816f-2883117582dc","resolution":{"observed_at":"2026-08-06T17:17:14.006344Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:15.545907Z","title":"org/CorpusID:263609132","venue":null,"work_id":"b03a13f7-b1c6-4374-9637-0f9ab66f534c","year":null},"citing_paper":{"arxiv_id":"2507.11275","last_updated":"2025-07-15T12:52:47Z","snapshot_observed_at":"2026-08-07T23:36:30.617168Z","submitted_at":"2025-07-15T12:52:47Z","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:14.185472Z"},"links":{"citing_paper":"/paper/2507.11275"},"observation_digest":"sha256:572015165f27addb3e9e50cf9d399b82d3dee76e60e20660ced560ca8d281659","observation_id":"ad790a34-8675-4c23-9cbc-f669560c68b7","resolution":{"observed_at":"2026-08-06T17:17:15.580223Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1710.05703","last_updated":"2017-10-03T15:08:49Z","snapshot_observed_at":"2026-07-06T06:04:24.583310Z","submitted_at":"2017-10-03T15:08:49Z","title":"A Survey on Optical Character Recognition System","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1710.05703","snapshot_observed_at":"2026-08-06T17:17:14.258068Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.11275","last_updated":"2025-07-15T12:52:47Z","snapshot_observed_at":"2026-08-07T23:36:30.617168Z","submitted_at":"2025-07-15T12:52:47Z","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:14.258068Z"},"links":{"cited_paper":"/paper/1710.05703","citing_paper":"/paper/2507.11275"},"observation_digest":"sha256:a612c55472d07583852bc4f9e02a0044e431f0bbbee4b9c5d79b2a6af418e638","observation_id":"c92c4418-92c6-4830-a5f2-dfa5c6e3d6c1","resolution":{"observed_at":"2026-08-06T17:17:14.258068Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.11275","last_updated":"2025-07-15T12:52:47Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-07T23:36:30.617168Z","submitted_at":"2025-07-15T12:52:47Z","title":"FMC: Formalization of Natural Language Mathematical Competition Problems"},"reference_resolution":{"displayed":12,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":10,"verified_exact":0,"verified_fuzzy":2},"total_outbound_references":12},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2507.11275."}