{"as_of":"2026-08-10T04:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:dfdf259447a1d20833f36bd3b48c9efd0ed4410db554780b20f89768babe68f3","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-09T05:12:15.776525Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"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/2502.03321/citation-record","integrity":"/paper/2502.03321/integrity","json":"/paper/2502.03321/citation-record.json","paper":"/paper/2502.03321"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-09T05:12:15.618483Z","title":"Eprint: arXiv:2303.08774","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.618483Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:140b4b0516c58ff69d6fe9840febe2443f34739a899a492ba48f50fe173216e3","observation_id":"f4229066-533a-4c83-ac47-edb7d6a4b5be","resolution":{"observed_at":"2026-08-09T05:12:15.618483Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.12433","last_updated":"2023-02-24T03:28:46Z","snapshot_observed_at":"2026-08-08T08:53:38.852270Z","submitted_at":"2023-02-24T03:28:46Z","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.12433","snapshot_observed_at":"2026-08-09T05:12:15.623991Z","title":"Eprint: arXiv:2302.12433","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.623991Z"},"links":{"cited_paper":"/paper/2302.12433","citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:e82b6cd7b510fc036eefd84d209a29c466e1a5c0f888626183fd591c4740e089","observation_id":"b00c2208-8242-4de9-a384-1467e9832cb7","resolution":{"observed_at":"2026-08-09T05:12:15.623991Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.10631","last_updated":"2024-03-15T19:14:39Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-10-16T17:54:07Z","title":"Llemma: An Open Language Model For Mathematics","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.10631","snapshot_observed_at":"2026-08-09T05:12:15.629204Z","title":"Eprint: arXiv:2310.10631","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.629204Z"},"links":{"cited_paper":"/paper/2310.10631","citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:75b520c6392a2f9a335b3c0c8a11693f5641aef25e1d1ac64f3afaff74662585","observation_id":"9117da53-bc00-431d-83d7-d763b95893e5","resolution":{"observed_at":"2026-08-09T05:12:15.629204Z","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-09T05:12:16.640338Z","title":"In: Conference on Neural Information Processing Systems, vol","venue":null,"work_id":"a74260c0-161c-4fda-bf30-95307f9256e5","year":2020},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.634663Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:e25e525231134f60275dadf1985d1fcf224584b4033a96326a301064e712a2ed","observation_id":"0954fa02-8735-4cb9-8f81-1eb1d4d97e2b","resolution":{"observed_at":"2026-08-09T05:12:16.646037Z","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":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-08T11:58:24.516369Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-09T05:12:15.639616Z","title":"Eprint: arXiv:2107.03374","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.639616Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:07ff7a0a1c9e7a668dc985ed4c73458210d5863741b087e8674742b678092d81","observation_id":"2dc7bd97-3263-4ba2-b5de-3e808e544dcb","resolution":{"observed_at":"2026-08-09T05:12:15.639616Z","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-09T05:12:16.625799Z","title":"Journal of Machine Learning Research 24(240), 1–113 (2023)","venue":null,"work_id":"3eeaa2bf-2143-4bf5-a2cd-3407e163e4e7","year":2023},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.645054Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:700c4035592b9eac2c9619e230a8bc2d3039aafff939984c1c8919154ba9dcd8","observation_id":"1c9844d1-a252-4873-b55e-93f0fb5b3c82","resolution":{"observed_at":"2026-08-09T05:12:16.630669Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:12:15.650254Z","title":"Nature 600, 70–74 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.650254Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:9cea49cd6dd911b954a9f716bd786e3f3427d8337bb7c6e3bfa318bc8c39e563","observation_id":"adbea218-f336-40eb-b125-d2fc368a828d","resolution":{"observed_at":"2026-08-09T05:12:15.650254Z","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-09T05:12:16.611652Z","title":"Communications of the ACM 22(5), 271–280 (1979) 18 S","venue":null,"work_id":"4b7d0b28-aac2-4a55-a751-d645676ec22d","year":1979},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.654840Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:92ecb9445b95add9b2d1d4da39dc37f71e9260df644d0b0359f6411cdbbd21bd","observation_id":"48d8aa01-5cf8-4b1f-aab8-353d5dc9bdd9","resolution":{"observed_at":"2026-08-09T05:12:16.616400Z","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":"2112.15594","last_updated":"2022-05-30T20:21:46Z","snapshot_observed_at":"2026-08-03T01:57:13.548871Z","submitted_at":"2021-12-31T18:57:31Z","title":"A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2112.15594","snapshot_observed_at":"2026-08-09T05:12:15.659541Z","title":"CoRR, abs/2112.15594 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.659541Z"},"links":{"cited_paper":"/paper/2112.15594","citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:f8bd250af26ba9699be4135b1ef6a0984f09e7a3689cb1fa557f638defd1bd61","observation_id":"3be9ec92-8048-47ec-af95-4d8b2f92b82f","resolution":{"observed_at":"2026-08-09T05:12:15.659541Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.17452","last_updated":"2024-02-21T12:59:22Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-09-29T17:59:38Z","title":"ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.17452","snapshot_observed_at":"2026-08-09T05:12:15.664787Z","title":"Eprint: arXiv:2309.17452","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.664787Z"},"links":{"cited_paper":"/paper/2309.17452","citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:48270c0560c1f036d208171be20d9eacbe8a5c7586ec5a188200a3e4efb73585","observation_id":"8ded05e4-c861-466b-801c-0ecd55f20ff6","resolution":{"observed_at":"2026-08-09T05:12:15.664787Z","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-09T05:12:16.597742Z","title":"In: International Conference on Learning Representations (2022)","venue":null,"work_id":"1939ead1-ef61-4671-a7e4-4cf9034f1868","year":2022},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.670422Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:132ea18c77732132c9b8e4c532e73308ffbd454e7a9b9aa9b72fb0d000c4cbfd","observation_id":"67514f72-27ca-405c-acde-8443ecfd9e8c","resolution":{"observed_at":"2026-08-09T05:12:16.602181Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:12:16.584133Z","title":"In: Conference on Neural Information Processing Systems (2021)","venue":null,"work_id":"9500cfdc-4ac1-4b10-ad9e-ce8163d911b9","year":2021},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.675090Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:43ce7bbf8c6ba7ee4a06a7c50dc657fe7940f1d3de4714bcb96112ea23281359","observation_id":"72283790-501f-4f54-98ca-149258bd31c3","resolution":{"observed_at":"2026-08-09T05:12:16.588660Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:12:16.296209Z","title":"Communications of the ACM 12(10), 576–580 (1969)","venue":null,"work_id":"9b14960e-2e83-40a5-b948-9fb2246cb31c","year":1969},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.679575Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:c6fa7196977432464f17b9850a6fe928bd8097316e1ead3ad74ae66f6d97aab7","observation_id":"1586f301-c524-4af3-b074-bfd026c53dd4","resolution":{"observed_at":"2026-08-09T05:12:16.303090Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"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-09T05:12:16.569584Z","title":"In: Conference on Neural Information Processing Sys- tems, vol","venue":null,"work_id":"1888a6bd-995a-4f8b-a803-645ff42353b6","year":2022},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.684308Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:fe041735d9d4771b8606d166e859644d833fda2c69e482bdf21048abfd08cf73","observation_id":"e4834cbd-821e-460b-8724-2c8f7de60af8","resolution":{"observed_at":"2026-08-09T05:12:16.574640Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:12:16.554733Z","title":"In: International Conference on Learning Representations (2023)","venue":null,"work_id":"d709e0ca-5d1d-417d-a165-f7f834e65210","year":2023},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.688888Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:d4c9816765ea5b261621e28b473081c783807ec584b2020f8c17fff9a92d0101","observation_id":"3be0fbb5-c923-4591-85f1-3ea2c85974af","resolution":{"observed_at":"2026-08-09T05:12:16.559411Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:12:16.540046Z","title":"In: Conference on Neural Information Processing Systems, vol","venue":null,"work_id":"b8e56475-e98e-476d-93f0-9b125d23fff5","year":2022},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.693310Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:cd192e8586f0307b11af909ff07c946eebbc64f6f5850a203d466f26f3de6d7a","observation_id":"e961c713-1360-4765-8e78-396a96ccdd84","resolution":{"observed_at":"2026-08-09T05:12:16.544859Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:12:16.113779Z","title":"In: International Conference on Certified Programs and Proofs, p","venue":null,"work_id":"d0450c5f-3aba-4f42-a067-6412eef2b974","year":2023},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.697997Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:0aa0efeada42fa3d258953eddfee2a86994fe250965a6c86292628ac94145698","observation_id":"0530847a-9584-438d-853b-cd5250f92d49","resolution":{"observed_at":"2026-08-09T05:12:16.118462Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"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-09T05:12:16.525069Z","title":"Communications of the ACM 3(4), 184–195 (1960)","venue":null,"work_id":"7a5f8623-6c55-436e-ae0a-689fdd9901e5","year":1960},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.702522Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:d3198c2ac65c55d4c4ce74988281daecfd67c4b0af5de7e1afe7c6d92e53801e","observation_id":"2b0732d9-cf1e-4685-8f7c-4faa6646d3dd","resolution":{"observed_at":"2026-08-09T05:12:16.529616Z","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":"1505.04324","last_updated":"2015-12-17T15:55:52Z","snapshot_observed_at":"2026-08-01T21:32:59.647296Z","submitted_at":"2015-05-16T20:32:28Z","title":"Elaboration in Dependent Type Theory","version":2},"cited_work":{"arxiv_id":"1505.04324","doi":null,"metadata_source":"pith","pith_arxiv_id":"1505.04324","snapshot_observed_at":"2026-08-09T05:12:15.909236Z","title":"Elaboration in Dependent Type Theory","venue":"cs.LO","work_id":"520e643f-dd69-401d-a0a2-54ab0e3cf864","year":2015},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.707297Z"},"links":{"cited_paper":"/paper/1505.04324","citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:0b8211f6a84a076faa69fae16f7b356e323b74e57b87afe176abf1d6ec82deac","observation_id":"bdfcf2f7-d22a-4a15-ae54-fe094b32f0ec","resolution":{"observed_at":"2026-08-09T05:12:15.916549Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"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-09T05:12:16.511013Z","title":"In: International Conference on Learning Representations (2023)","venue":null,"work_id":"12748177-3b8a-42f0-8b5d-7cb325cf469a","year":2023},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.712104Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:177b87083fee2bf39e6dfcd20813ba2b0ed1f437fff37351a1dabce8c409cc6a","observation_id":"ef9e9d1e-a1c6-48ac-84e8-8cb65c25bea7","resolution":{"observed_at":"2026-08-09T05:12:16.515579Z","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":"2009.03393","last_updated":"2020-09-07T19:50:10Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-09-07T19:50:10Z","title":"Generative Language Modeling for Automated Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.03393","snapshot_observed_at":"2026-08-09T05:12:15.716502Z","title":"Eprint: arXiv:2009.03393","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.716502Z"},"links":{"cited_paper":"/paper/2009.03393","citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:93b987f2693fe8281fb0ea8a86dc37b14d33e17392ce00d78230c8437537ea72","observation_id":"f2a10993-451e-4ed1-9d29-a13ffbc2620d","resolution":{"observed_at":"2026-08-09T05:12:15.716502Z","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-09T05:12:16.496578Z","title":"https://xenaproject.wordpress.com/2020/ 12/05/liquid-tensor-experiment/ (2020)","venue":null,"work_id":"d1c3c9de-378a-4057-80fc-72cb0342afe0","year":2020},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.721636Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:02e8f9e396b11b71740403bfa7037753ec09d01de3fd5ddbee07ccb94ccba58d","observation_id":"fd762856-37f3-422b-9ac3-e83d780130b1","resolution":{"observed_at":"2026-08-09T05:12:16.501278Z","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":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-07T23:31:29.854288Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-09T05:12:15.726697Z","title":"Eprint: arXiv:2310.04353v3","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.726697Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:28c2d8955152c98bdde6fe2ccf72828d70e4e16fc4755604c142791b46cb043a","observation_id":"7b281191-581e-45a4-8f5c-939e8d40b792","resolution":{"observed_at":"2026-08-09T05:12:15.726697Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.13971","last_updated":"2023-02-27T17:11:15Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-02-27T17:11:15Z","title":"LLaMA: Open and Efficient Foundation Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.13971","snapshot_observed_at":"2026-08-09T05:12:15.731538Z","title":"Eprint: arXiv:2302.13971 Simplifying Proof Generation with ChatGPT and Basic Search 19","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.731538Z"},"links":{"cited_paper":"/paper/2302.13971","citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:ae3670dde5dee03bd753eb0569ec7994cc03e1cb160b91667287b495fe151d8a","observation_id":"7213ac8d-dc90-4e5a-a50a-4a53f37534a6","resolution":{"observed_at":"2026-08-09T05:12:15.731538Z","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-09T05:12:15.736352Z","title":"Nature 625, 476–482 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.736352Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:4b5ba5cf7599ad0c5762925d9147b3827f15d894d6856cc2d56955b4fbe5fc94","observation_id":"4004419d-a751-465a-a71a-429467ffbbb3","resolution":{"observed_at":"2026-08-09T05:12:15.736352Z","resolver_source":null,"status":"malformed_identifier"},"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-09T05:12:16.480918Z","title":"URL https://openreview.net/pdf?id=lxlMFlzZO9","venue":null,"work_id":"816f40b8-5038-4e14-84e8-2a52517f3b17","year":2024},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.740810Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:00553f43b17db60df0e8307a3dd5fa366db13edde5800362fa2de25fa6bfef22","observation_id":"202acc0b-2dec-493d-9999-faa453244631","resolution":{"observed_at":"2026-08-09T05:12:16.486249Z","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":"2310.00656","last_updated":"2023-10-27T12:44:32Z","snapshot_observed_at":"2026-08-07T23:33:42.816316Z","submitted_at":"2023-10-01T12:47:59Z","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.00656","snapshot_observed_at":"2026-08-09T05:12:15.745314Z","title":"Eprint: arXiv:2310.00656","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.745314Z"},"links":{"cited_paper":"/paper/2310.00656","citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:626f049f2a60dc23a3d35c9eee294531e8c8a6d73955a780e8d9a4072f69dba8","observation_id":"bb219c47-ced0-458e-b51f-9fb8fb5bbcd7","resolution":{"observed_at":"2026-08-09T05:12:15.745314Z","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-09T05:12:16.465862Z","title":"In: Conference on Neural Information Processing Systems (2021)","venue":null,"work_id":"bb71c714-8d75-4b36-9159-990d2ed120b9","year":2021},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.750072Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:a541b0e913a1bab5fed832a07ec8a38b0e155195efb04467162f2833dfeb11ea","observation_id":"9ca85870-ba0a-45ba-969e-9cc1a8eaf14e","resolution":{"observed_at":"2026-08-09T05:12:16.470463Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:12:16.451308Z","title":"In: Con- ference on Neural Information Processing Systems, vol","venue":null,"work_id":"3d264c0a-1db2-41d0-b9c8-2630fdc140f5","year":2021},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.754781Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:f777d2c25a01da064f069e6c1d0347d3c7258a499354dc65e6080837bf98b543","observation_id":"abccaf5b-eb50-4f16-8aed-4ddb616f9f93","resolution":{"observed_at":"2026-08-09T05:12:16.456206Z","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":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-09T05:12:15.759555Z","title":"Eprint: arXiv:2408.08152","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.759555Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:33faaa897efc709da272fa80ba96504a986f22b9e76c705c1fb08cb5f007c379","observation_id":"81cb6d15-f1e8-4ac8-aac2-b0bdd20150fc","resolution":{"observed_at":"2026-08-09T05:12:15.759555Z","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-09T05:12:16.436582Z","title":"In: International Conference on Machine Learning, vol","venue":null,"work_id":"0a34521e-1dbd-42bb-ba11-654ffa32378c","year":2019},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.764313Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:dbdc2a8537206041709a8935f55eeef1edf14cc67faab014487d644e45477cfc","observation_id":"f8a63625-b4fe-4312-9ec5-873506050611","resolution":{"observed_at":"2026-08-09T05:12:16.441496Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:12:16.421593Z","title":"In: Conference on Neural Information Processing Systems (2023)","venue":null,"work_id":"1e3822f8-2ec2-4db5-a728-85d341edde8f","year":2023},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.771712Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:a603b536f439a259c666c2c4651445f46266c04ec17b961807c8412c38b041b2","observation_id":"59fa6e84-efa0-451a-9545-0f9d233869d3","resolution":{"observed_at":"2026-08-09T05:12:16.426291Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T05:12:16.406175Z","title":"In: International Conference on Learning Represen- tations (2022)","venue":null,"work_id":"510c35c0-3de0-4eaa-bb4a-73dcd02e3348","year":2022},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.776525Z"},"links":{"citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:fb35ec8ffc3b75653b6a3e17bcdbf775d1baf0c64fe5c22b0fb92c9b383a37c8","observation_id":"d363a8a7-c101-4261-bb77-b9ba67408946","resolution":{"observed_at":"2026-08-09T05:12:16.410876Z","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"}}],"paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","latest_version":3,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-09T05:05:34.842281Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":12,"verified_exact":2,"verified_fuzzy":17},"total_outbound_references":33},"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 10 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2502.03321."}