{"as_of":"2026-08-09T19:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f69be6038ec5a8867efc0bdff799a7b0a0239cfe5b60fb5c3bf4f4ba8a17d4c2","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-09T06:31:02.800959+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:b18f3fbcc98fbe420d23cc189dadc516d49e95579ed866b789fccbc96026184d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:fbfd0870d735e800ad6c60d070a6450cd1ef18a4f734f0760308fb6b9d4f0e02","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:423161aa751230856aedcc98730d72158d02e56578c75e4863d362f04ed2505b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:08318053eb5fbeacc544de0010c4b1dcf88bf0637665908da28fb75ba70213ad","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:4cac44b410f101f4755d2696f4b4ebfa58f5a213af46758e5e823a828f44c30b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:05a339cb45ea048819b4823b985956f97cbf153d0261d882d3f53eef6808cb88","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:4d41d3f633a6d54b49296930b4f5772a0e7065d34cde029d1fb700cf2a7f5bdc","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2507.11275."}