{"as_of":"2026-08-10T15:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:177b9f982ffdee047d82fe78ccf590c01e42b5ea481671f1ed8ad9d29ec603b6","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"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-10T06:31:04.303077+00:00","state":"measured"},{"denominator":12,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T14:50:47.650274Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-04T20:10:07.118799Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2104.01112","last_updated":"2021-06-07T21:58:06Z","snapshot_observed_at":"2026-08-03T23:23:04.398852Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","version":2},"cited_work":{"arxiv_id":"2104.01112","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2104.01112","snapshot_observed_at":"2026-07-04T20:10:07.118799Z","title":"Sean Welleck, Jiacheng Liu, Ronan Le Bras, Hannaneh Hajishirzi, Yejin Choi, and Kyunghyun Cho","venue":null,"work_id":"117e2555-0fbc-424e-bef0-5e1b422b2843","year":2021},"citing_paper":{"arxiv_id":"2109.00110","last_updated":"2022-02-28T06:03:23Z","snapshot_observed_at":"2026-08-09T06:26:57.793642Z","submitted_at":"2021-08-31T23:21:12Z","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-16T20:03:04.424625Z"},"links":{"cited_paper":"/paper/2104.01112","citing_paper":"/paper/2109.00110"},"observation_digest":"sha256:6b19410bfdde28684b6c1fc3f0f11f1fbf84a8fb7dd275cfb2355af9e6ab14ee","observation_id":"d06716e2-4dd9-4381-8673-c080bbd41005","resolution":{"observed_at":"2026-05-16T20:03:04.459617Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2104.01112","last_updated":"2021-06-07T21:58:06Z","snapshot_observed_at":"2026-08-03T23:23:04.398852Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.01112","snapshot_observed_at":"2026-08-10T14:50:47.650274Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.14951","last_updated":"2025-03-09T20:31:19Z","snapshot_observed_at":"2026-08-10T14:43:53.127129Z","submitted_at":"2025-01-24T22:39:08Z","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","version":2},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-10T14:50:47.650274Z"},"links":{"cited_paper":"/paper/2104.01112","citing_paper":"/paper/2501.14951"},"observation_digest":"sha256:db44bc66c2b456b1683ccdd40cef3c4ca5d83d7ca88c37759fbc7b93a4e50fee","observation_id":"60e244ba-24c2-4d82-965c-031f53b9e5dc","resolution":{"observed_at":"2026-08-10T14:50:47.650274Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.01112","last_updated":"2021-06-07T21:58:06Z","snapshot_observed_at":"2026-08-03T23:23:04.398852Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.01112","snapshot_observed_at":"2026-08-07T13:05:25.544101Z","title":"NaturalProofs: Mathematical theorem proving in natural language.arXiv [cs.IR], 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.22756","last_updated":"2025-05-28T18:18:49Z","snapshot_observed_at":"2026-08-10T01:26:26.516912Z","submitted_at":"2025-05-28T18:18:49Z","title":"Decomposing Elements of Problem Solving: What \"Math\" Does RL Teach?","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T13:05:25.544101Z"},"links":{"cited_paper":"/paper/2104.01112","citing_paper":"/paper/2505.22756"},"observation_digest":"sha256:8080ae7658fd7b00b69e3043c846abadeb9ea2a7e41b2481cef7d9e7b672c716","observation_id":"1b80a8eb-dc37-4a35-b1f4-6f6b0ba24090","resolution":{"observed_at":"2026-08-07T13:05:25.544101Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.01112","last_updated":"2021-06-07T21:58:06Z","snapshot_observed_at":"2026-08-03T23:23:04.398852Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.01112","snapshot_observed_at":"2026-08-06T19:14:19.930177Z","title":"Naturalproofs: Mathematical theorem proving in natural language, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.06181","last_updated":"2025-07-08T17:03:39Z","snapshot_observed_at":"2026-08-07T16:09:15.554628Z","submitted_at":"2025-07-08T17:03:39Z","title":"CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T19:14:19.930177Z"},"links":{"cited_paper":"/paper/2104.01112","citing_paper":"/paper/2507.06181"},"observation_digest":"sha256:4fb09e6f094fae3a353d7429c5c47b349c82da12061af5cf5614a6b554f2699e","observation_id":"2c0acb54-0c4a-4575-a1c2-cde87f2e93f3","resolution":{"observed_at":"2026-08-06T19:14:19.930177Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.01112","last_updated":"2021-06-07T21:58:06Z","snapshot_observed_at":"2026-08-03T23:23:04.398852Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.01112","snapshot_observed_at":"2026-08-06T19:05:02.508255Z","title":"Naturalproofs: Mathematical theorem proving in natural language","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.08034","last_updated":"2025-07-09T04:09:59Z","snapshot_observed_at":"2026-08-10T11:46:12.535041Z","submitted_at":"2025-07-09T04:09:59Z","title":"Integrating External Tools with Large Language Models to Improve Accuracy","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T19:05:02.508255Z"},"links":{"cited_paper":"/paper/2104.01112","citing_paper":"/paper/2507.08034"},"observation_digest":"sha256:6aafad5c7108713ad0c176925866e9f2324b3afc6dc7d9f8a7bdc6dd2cfcbb4f","observation_id":"d6821d12-8248-4134-b5c3-65fcd8ddfaa8","resolution":{"observed_at":"2026-08-06T19:05:02.508255Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.01112","last_updated":"2021-06-07T21:58:06Z","snapshot_observed_at":"2026-08-03T23:23:04.398852Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.01112","snapshot_observed_at":"2026-08-05T16:11:23.239508Z","title":"NaturalProofs : Mathematical theorem proving in natural language, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.18914","last_updated":"2025-08-26T10:38:18Z","snapshot_observed_at":"2026-08-09T05:20:21.384911Z","submitted_at":"2025-08-26T10:38:18Z","title":"FormaRL: Enhancing Autoformalization with no Labeled Data","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-05T16:11:23.239508Z"},"links":{"cited_paper":"/paper/2104.01112","citing_paper":"/paper/2508.18914"},"observation_digest":"sha256:08a282b34d1b2620ec451f74deb343152ca10fac98d0f091b5c9cd213ab3d7b1","observation_id":"93a1edd2-e2a6-4bf8-88c7-75d62821539c","resolution":{"observed_at":"2026-08-05T16:11:23.239508Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2104.01112","last_updated":"2021-06-07T21:58:06Z","snapshot_observed_at":"2026-08-03T23:23:04.398852Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","version":2},"cited_work":{"arxiv_id":"2104.01112","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2104.01112","snapshot_observed_at":"2026-07-04T20:10:07.118799Z","title":"Sean Welleck, Jiacheng Liu, Ronan Le Bras, Hannaneh Hajishirzi, Yejin Choi, and Kyunghyun Cho","venue":null,"work_id":"117e2555-0fbc-424e-bef0-5e1b422b2843","year":2021},"citing_paper":{"arxiv_id":"2604.25155","last_updated":"2026-04-28T02:57:20Z","snapshot_observed_at":"2026-08-04T04:22:10.934988Z","submitted_at":"2026-04-28T02:57:20Z","title":"Rethinking Wireless Communications through Formal Mathematical AI Reasoning","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-05-07T15:42:24.167986Z"},"links":{"cited_paper":"/paper/2104.01112","citing_paper":"/paper/2604.25155"},"observation_digest":"sha256:77be2265510b0801765b7e874a2382762dae0143ef5e7c33a393320d18ac9005","observation_id":"3471c095-e371-43aa-8a02-01e23abc99d3","resolution":{"observed_at":"2026-05-12T00:11:16.536339Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2104.01112","last_updated":"2021-06-07T21:58:06Z","snapshot_observed_at":"2026-08-03T23:23:04.398852Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","version":2},"cited_work":{"arxiv_id":"2104.01112","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2104.01112","snapshot_observed_at":"2026-07-04T20:10:07.118799Z","title":"Sean Welleck, Jiacheng Liu, Ronan Le Bras, Hannaneh Hajishirzi, Yejin Choi, and Kyunghyun Cho","venue":null,"work_id":"117e2555-0fbc-424e-bef0-5e1b422b2843","year":2021},"citing_paper":{"arxiv_id":"2605.09012","last_updated":"2026-05-09T15:52:49Z","snapshot_observed_at":"2026-07-06T23:21:11.475005Z","submitted_at":"2026-05-09T15:52:49Z","title":"Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-12T02:07:39.648269Z"},"links":{"cited_paper":"/paper/2104.01112","citing_paper":"/paper/2605.09012"},"observation_digest":"sha256:58c627a7e1156f2e01b339c051aa5780c5b16b24e1f69c12b5039c9c08d68145","observation_id":"47879202-e249-464e-9c6b-4f31b0479449","resolution":{"observed_at":"2026-05-12T02:11:16.019547Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2104.01112","last_updated":"2021-06-07T21:58:06Z","snapshot_observed_at":"2026-08-03T23:23:04.398852Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","version":2},"cited_work":{"arxiv_id":"2104.01112","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2104.01112","snapshot_observed_at":"2026-07-04T20:10:07.118799Z","title":"Sean Welleck, Jiacheng Liu, Ronan Le Bras, Hannaneh Hajishirzi, Yejin Choi, and Kyunghyun Cho","venue":null,"work_id":"117e2555-0fbc-424e-bef0-5e1b422b2843","year":2021},"citing_paper":{"arxiv_id":"2606.23959","last_updated":"2026-06-26T14:43:06Z","snapshot_observed_at":"2026-08-06T12:19:00.031695Z","submitted_at":"2026-06-22T21:37:58Z","title":"Does My Embedding Reflect That $A = B$? Evaluating Mathematical Equivalence in Embedding Models","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-06-26T07:57:15.016513Z"},"links":{"cited_paper":"/paper/2104.01112","citing_paper":"/paper/2606.23959"},"observation_digest":"sha256:c146e59e412b88702847eba3eadc5adf7824c7d334309767916a8553f9ad65ef","observation_id":"f0ceaba1-97b6-4930-8d6e-8e4e55af6967","resolution":{"observed_at":"2026-07-04T11:29:51.099630Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2104.01112","last_updated":"2021-06-07T21:58:06Z","snapshot_observed_at":"2026-08-03T23:23:04.398852Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","version":2},"cited_work":{"arxiv_id":"2104.01112","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2104.01112","snapshot_observed_at":"2026-07-04T20:10:07.118799Z","title":"Sean Welleck, Jiacheng Liu, Ronan Le Bras, Hannaneh Hajishirzi, Yejin Choi, and Kyunghyun Cho","venue":null,"work_id":"117e2555-0fbc-424e-bef0-5e1b422b2843","year":2021},"citing_paper":{"arxiv_id":"2606.23959","last_updated":"2026-06-26T14:43:06Z","snapshot_observed_at":"2026-08-06T12:19:00.031695Z","submitted_at":"2026-06-22T21:37:58Z","title":"Does My Embedding Reflect That $A = B$? Evaluating Mathematical Equivalence in Embedding Models","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-06-29T04:37:06.812414Z"},"links":{"cited_paper":"/paper/2104.01112","citing_paper":"/paper/2606.23959"},"observation_digest":"sha256:3f112fbc7e86118438883c343f23d64ea4f5907200c5015adcbf48048f681482","observation_id":"09da7f15-0868-4269-849a-a0e7bcf3ada9","resolution":{"observed_at":"2026-06-29T20:03:56.560937Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2104.01112","last_updated":"2021-06-07T21:58:06Z","snapshot_observed_at":"2026-08-03T23:23:04.398852Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","version":2},"cited_work":{"arxiv_id":"2104.01112","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2104.01112","snapshot_observed_at":"2026-07-04T20:10:07.118799Z","title":"Sean Welleck, Jiacheng Liu, Ronan Le Bras, Hannaneh Hajishirzi, Yejin Choi, and Kyunghyun Cho","venue":null,"work_id":"117e2555-0fbc-424e-bef0-5e1b422b2843","year":2021},"citing_paper":{"arxiv_id":"2606.25363","last_updated":"2026-06-24T03:47:05Z","snapshot_observed_at":"2026-08-03T02:13:50.813895Z","submitted_at":"2026-06-24T03:47:05Z","title":"TheoremGraph: Bridging Formal and Informal Mathematics","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-06-25T20:45:54.867101Z"},"links":{"cited_paper":"/paper/2104.01112","citing_paper":"/paper/2606.25363"},"observation_digest":"sha256:0a0372b327e5612e4c12044d64b173381142d6d164661eb5676f340b01413a8d","observation_id":"80127a9f-f291-4dd0-8666-2b1713e65dcc","resolution":{"observed_at":"2026-07-04T20:10:07.120690Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2104.01112","last_updated":"2021-06-07T21:58:06Z","snapshot_observed_at":"2026-08-03T23:23:04.398852Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.01112","snapshot_observed_at":"2026-07-14T02:43:21.225324Z","title":"Naturalproofs: Mathematical theorem proving in natural language.CoRR, abs/2104.01112, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.11849","last_updated":"2026-07-13T17:38:22Z","snapshot_observed_at":"2026-07-16T23:20:03.329744Z","submitted_at":"2026-07-13T17:38:22Z","title":"AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-14T02:43:21.225324Z"},"links":{"cited_paper":"/paper/2104.01112","citing_paper":"/paper/2607.11849"},"observation_digest":"sha256:835fe54d5f054ff938e103c0ab22d524be57d5840a34dcb31c80d4ce20ddf55a","observation_id":"a725ec3e-c634-4d32-8732-c727d2dbc5e8","resolution":{"observed_at":"2026-07-14T02:43:21.225324Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2104.01112/citation-record","integrity":"/paper/2104.01112/integrity","json":"/paper/2104.01112/citation-record.json","paper":"/paper/2104.01112"},"outbound":[],"paper":{"arxiv_id":"2104.01112","last_updated":"2021-06-07T21:58:06Z","latest_version":2,"primary_category":"cs.IR","snapshot_observed_at":"2026-08-03T23:23:04.398852Z","submitted_at":"2021-03-24T03:14:48Z","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 12 inbound Pith citation observations for arXiv:2104.01112."}