{"as_of":"2026-08-06T03:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:de486630793ea623d804827966ccc25c4f10c06f2e64f00d0e9011b5f5d379b3","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":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":14,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T16:11:23.244019Z","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-07-06T13:13:44.464408Z","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-07-06T02:11:23.670680Z","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:3494b8d57280030d5edc3dabd16e2372886d9e99a4e2bf63019ccdead010d04e","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-06T13:13:44.464408Z","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-05T16:11:09.217502Z","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:5ecdbd2dc548e1944d080c82f8686988c103b0072604a42e15267b994ec399d4","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-07-06T13:13:44.464408Z","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-05T10:28:49.461044Z","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:1f506ed6cc389d562ab6399a8f8e1a3843cf5e187092a0e1b4e0eb315ff6ff9c","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-07-06T13:13:44.464408Z","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:853a3fe05ddc5aa106ee4ce2fca96a066bc329ce2d4798bf111dedcc0546e4b6","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-07-06T13:13:44.464408Z","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-05T11:14:48.670831Z","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:66bbb0eca34a5074a6626c6a72627e2bf6cb296695715fa5a5e0640a2217cc10","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-07-06T13:13:44.464408Z","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:c022cd4223abdad2c5e275c94243f84ce61892e374ecbdd1403264155df83748","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-06T13:13:44.464408Z","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:196f6a778328b51f10ffce165723965ffadc5b2f5c80300c2fe25c9415363823","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-06T13:13:44.464408Z","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:5874cdec00404217abb228bb97208fe45edd74eb01e9b18caffafdb3b58f950a","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-06T13:13:44.464408Z","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:751c6692a6e3d4c92ac6d217f7001b51f8ffeb2e8bcd3926e0befb41cff8efaa","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-06T13:13:44.464408Z","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:b45174a926952a979a7fd09c08047614a983248e14b58d66d5bef8c1d2210885","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-06T13:13:44.464408Z","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-02T19:19:40.682112Z","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:43d7d182da02d8cfd957dcdf07e70d9bc10e2e4cae75186544a28fbff32cec37","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-06T13:13:44.464408Z","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:8b153ef9ea6edd442a30f87179d5dd1d91deb4dbc9442ec6592423a70500a3de","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-06T13:13:44.464408Z","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:2b80e66971b6c9e2fc68d9abecabf5291612031e5ad6ceb0462372719a4cd56b","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-07-06T13:13:44.464408Z","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-06T02:50:04.565062Z","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:78563e94f50212f062473d7f001a88f965a3679efeb462c77f98bde5f26b5dbb","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-07-06T13:13:44.464408Z","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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 14 inbound Pith citation observations for arXiv:2205.12615."}