{"as_of":"2026-08-10T12:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b79abbbfd08624d76d41c204057c84420e79517711d9b404042eb32fea0645f9","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":15,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":15,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":15,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":15,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T00:06:30.388701Z","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-03T01:47:31.590305Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":"2205.12615","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-07-03T01:47:31.590305Z","title":"Q., Li, W., Rabe, M","venue":null,"work_id":"7bfbfcef-6709-41d6-951e-f768f419a41e","year":2022},"citing_paper":{"arxiv_id":"2211.10435","last_updated":"2023-01-27T15:30:27Z","snapshot_observed_at":"2026-08-07T01:22:26.004756Z","submitted_at":"2022-11-18T18:56:13Z","title":"PAL: Program-aided Language Models","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-05-15T05:02:50.117120Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2211.10435"},"observation_digest":"sha256:505a610446da405a7e611a6d5881a24c434450e7907d32057917e31bf3ddc52d","observation_id":"f3aabd3d-0875-4ca9-b1bf-c867ef41ff0e","resolution":{"observed_at":"2026-05-15T05:02:50.178048Z","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":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-08-10T00:06:30.388701Z","title":"Wu, Z., Huang, S., Zhou, Z., Ying, H., Wang, J., Lin, D., and Chen, K","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.18310","last_updated":"2025-06-06T13:30:31Z","snapshot_observed_at":"2026-08-09T23:54:43.528750Z","submitted_at":"2025-01-30T12:37:06Z","title":"ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T00:06:30.388701Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2501.18310"},"observation_digest":"sha256:0129431332e7b242a42c5f156147eed1d86af806b79940957520f4c3dd3f986a","observation_id":"6b72d8a4-7828-4537-a312-47469a05a392","resolution":{"observed_at":"2026-08-10T00:06:30.388701Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-08-05T16:11:23.244019Z","title":"Jiang, Wenda Li, Markus N","venue":null,"work_id":null,"year":2022},"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":33,"source":"arxiv_source","source_observed_at":"2026-08-05T16:11:23.244019Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2508.18914"},"observation_digest":"sha256:c6edbcf4982699629a821d7a775a368dccd8152e7e6b17123d478da447516926","observation_id":"4124be23-6479-4402-8f03-a57667e26312","resolution":{"observed_at":"2026-08-05T16:11:23.244019Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-08-05T10:28:50.463449Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-09T17:47:58.565370Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.463449Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:b48eb350cca1eeb3067c2d41204d7f49cee29114f560021dc21999c2278903db","observation_id":"f70e50fb-bb74-4dcc-a44b-c2b56ed1bb00","resolution":{"observed_at":"2026-08-05T10:28:50.463449Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-08-04T11:31:39.800237Z","title":"Jiang, Wenda Li, Markus N","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.04520","last_updated":"2026-07-02T09:05:29Z","snapshot_observed_at":"2026-08-04T11:31:34.257102Z","submitted_at":"2025-10-06T06:25:11Z","title":"Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-04T11:31:39.800237Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2510.04520"},"observation_digest":"sha256:618d3a288e32e2c3c6bdb582e6c1e1f5e520b7fe41497ef2a7e089d73104fa31","observation_id":"3bc2c7c5-4f06-46af-a547-56094bb5cec4","resolution":{"observed_at":"2026-08-04T11:31:39.800237Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-07-15T13:34:28.306715Z","title":"Jiang, Wenda Li, Markus N","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2603.06930","last_updated":"2026-06-24T18:30:49Z","snapshot_observed_at":"2026-08-09T08:09:13.162613Z","submitted_at":"2026-03-06T23:03:04Z","title":"Explicit Formulas and Unimodality Phenomena for General Position Polynomials","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-15T13:34:28.306715Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2603.06930"},"observation_digest":"sha256:9cd05c9094045f77ae8ac97e66d4774320b48e4d4d883d14b7abd9737b197d7f","observation_id":"b12736dc-9fa8-4b40-b024-e6ae2d3a39f0","resolution":{"observed_at":"2026-07-15T13:34:28.306715Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":"2205.12615","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-07-03T01:47:31.590305Z","title":"Q., Li, W., Rabe, M","venue":null,"work_id":"7bfbfcef-6709-41d6-951e-f768f419a41e","year":2022},"citing_paper":{"arxiv_id":"2604.02709","last_updated":"2026-04-15T09:12:39Z","snapshot_observed_at":"2026-07-06T22:52:02.162758Z","submitted_at":"2026-04-03T04:06:39Z","title":"Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-13T19:51:08.304741Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2604.02709"},"observation_digest":"sha256:8e201c5e1c9c46dcb09a16df74833260fbcfe8fc74d848fd32bbcb9808d437b0","observation_id":"c66521c6-1a2a-44a8-b3ec-2e359c6ad40c","resolution":{"observed_at":"2026-05-13T19:53:11.733549Z","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":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":"2205.12615","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-07-03T01:47:31.590305Z","title":"Q., Li, W., Rabe, M","venue":null,"work_id":"7bfbfcef-6709-41d6-951e-f768f419a41e","year":2022},"citing_paper":{"arxiv_id":"2604.16347","last_updated":"2026-03-16T14:19:33Z","snapshot_observed_at":"2026-07-06T23:03:43.854612Z","submitted_at":"2026-03-16T14:19:33Z","title":"Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-15T10:24:19.295736Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2604.16347"},"observation_digest":"sha256:65058444472d05a63feda48132da1cb063f031b2067fd376dab24dbf24da787e","observation_id":"e7319cdb-1f25-464d-8c2c-4bdad9086e32","resolution":{"observed_at":"2026-05-15T10:25:26.593110Z","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":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":"2205.12615","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-07-03T01:47:31.590305Z","title":"Q., Li, W., Rabe, M","venue":null,"work_id":"7bfbfcef-6709-41d6-951e-f768f419a41e","year":2022},"citing_paper":{"arxiv_id":"2605.08694","last_updated":"2026-05-09T05:05:02Z","snapshot_observed_at":"2026-07-06T23:20:52.521341Z","submitted_at":"2026-05-09T05:05:02Z","title":"A Learning Method for Symbolic Systems Using Large Language Models","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-12T01:34:25.378350Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2605.08694"},"observation_digest":"sha256:827179b76d565770671ecbd21edb1e3fee1c611d13057b2058cc495836927670","observation_id":"321c1974-fc63-4385-a8e2-8cf495d64709","resolution":{"observed_at":"2026-05-12T07:51:48.244525Z","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":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":"2205.12615","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-07-03T01:47:31.590305Z","title":"Q., Li, W., Rabe, M","venue":null,"work_id":"7bfbfcef-6709-41d6-951e-f768f419a41e","year":2022},"citing_paper":{"arxiv_id":"2605.14061","last_updated":"2026-05-13T19:35:46Z","snapshot_observed_at":"2026-07-30T05:07:50.321371Z","submitted_at":"2026-05-13T19:35:46Z","title":"MathAtlas: A Benchmark for Autoformalization in the Wild","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-15T05:09:32.268677Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2605.14061"},"observation_digest":"sha256:7b8e40c435603f0fda225f7cbacd0791259ff338cea6318fd9a3d3eb5e97115d","observation_id":"d5c77c9f-390e-4fca-9a10-de2d81dd22aa","resolution":{"observed_at":"2026-05-15T05:09:44.502291Z","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":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":"2205.12615","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-07-03T01:47:31.590305Z","title":"Q., Li, W., Rabe, M","venue":null,"work_id":"7bfbfcef-6709-41d6-951e-f768f419a41e","year":2022},"citing_paper":{"arxiv_id":"2605.30914","last_updated":"2026-05-29T06:59:28Z","snapshot_observed_at":"2026-08-04T08:48:12.582835Z","submitted_at":"2026-05-29T06:59:28Z","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-06-28T23:52:36.891080Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2605.30914"},"observation_digest":"sha256:4ec2e3eed52a6f433f5c811117793a816d71bd6100e08728e06e6e80078d439d","observation_id":"e317105a-d982-4e70-8239-a1eef98e91d7","resolution":{"observed_at":"2026-06-28T23:52:49.252473Z","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":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":"2205.12615","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-07-03T01:47:31.590305Z","title":"Q., Li, W., Rabe, M","venue":null,"work_id":"7bfbfcef-6709-41d6-951e-f768f419a41e","year":2022},"citing_paper":{"arxiv_id":"2606.05400","last_updated":"2026-06-03T20:09:39Z","snapshot_observed_at":"2026-08-09T05:03:29.602227Z","submitted_at":"2026-06-03T20:09:39Z","title":"LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-28T05:48:56.691155Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2606.05400"},"observation_digest":"sha256:77d777229e30c77840edee3dc06c4d12436a78a9ba885c914fb2a12a22cee0d1","observation_id":"8405e8ee-2a9c-4c44-8126-1c96a098d78d","resolution":{"observed_at":"2026-07-02T08:36:48.802943Z","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":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":"2205.12615","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-07-03T01:47:31.590305Z","title":"Q., Li, W., Rabe, M","venue":null,"work_id":"7bfbfcef-6709-41d6-951e-f768f419a41e","year":2022},"citing_paper":{"arxiv_id":"2606.09450","last_updated":"2026-06-08T12:57:18Z","snapshot_observed_at":"2026-08-02T11:29:46.747086Z","submitted_at":"2026-06-08T12:57:18Z","title":"TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-27T16:19:11.123994Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2606.09450"},"observation_digest":"sha256:3df320a049a530ee7b7b122e0cb1aed5a711362372b1681962307f35844d29e8","observation_id":"d7d69e80-b107-4756-992a-8c6f5ee4d29a","resolution":{"observed_at":"2026-07-03T01:47:31.591557Z","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":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":"2205.12615","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-07-03T01:47:31.590305Z","title":"Q., Li, W., Rabe, M","venue":null,"work_id":"7bfbfcef-6709-41d6-951e-f768f419a41e","year":2022},"citing_paper":{"arxiv_id":"2606.29687","last_updated":"2026-06-29T01:25:40Z","snapshot_observed_at":"2026-07-07T00:03:36.327050Z","submitted_at":"2026-06-29T01:25:40Z","title":"A Machine-Verified Proof of a Quantum-Optimization Conjecture","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-30T06:40:20.723937Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2606.29687"},"observation_digest":"sha256:84dee6069bf6ef9772ec42f7ffe26ce49f79b9a48858225032f6fd336c44d131","observation_id":"8de37ba0-be9a-428f-bad9-508c0b29a68e","resolution":{"observed_at":"2026-06-30T06:44:19.014644Z","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":"2205.12615","last_updated":"2022-05-25T09:53:30Z","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2205.12615","snapshot_observed_at":"2026-08-02T09:51:59.422600Z","title":"2022 , eprint =","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.422600Z"},"links":{"cited_paper":"/paper/2205.12615","citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:eda1abf960632113783972caa55c6e01427b51c37bcb080436520ba53b74f46b","observation_id":"453c6d78-8c64-4301-b6cd-f1bf90d257de","resolution":{"observed_at":"2026-08-02T09:51:59.422600Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2205.12615/citation-record","integrity":"/paper/2205.12615/integrity","json":"/paper/2205.12615/citation-record.json","paper":"/paper/2205.12615"},"outbound":[],"paper":{"arxiv_id":"2205.12615","last_updated":"2022-05-25T09:53:30Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-09T08:08:47.899404Z","submitted_at":"2022-05-25T09:53:30Z","title":"Autoformalization with Large Language Models"},"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 15 inbound Pith citation observations for arXiv:2205.12615."}