{"as_of":"2026-08-09T15:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:538055142f18e587aa97efb37247f85aaffc2bdad6bba9ae6e6327c69b379705","coverage":[{"denominator":34,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":34,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T22:00:46.431245Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-26T00:26:02.757706Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-04T16:39:57.361399Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"cited_work":{"arxiv_id":"2502.04671","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.04671","snapshot_observed_at":"2026-07-04T16:39:57.361399Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","venue":"cs.AI","work_id":"62e9f764-4acc-4c96-a89c-1bd79eb0dffb","year":2025},"citing_paper":{"arxiv_id":"2606.26442","last_updated":"2026-06-24T23:09:49Z","snapshot_observed_at":"2026-08-08T07:24:05.848330Z","submitted_at":"2026-06-24T23:09:49Z","title":"AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-06-26T00:26:02.757706Z"},"links":{"cited_paper":"/paper/2502.04671","citing_paper":"/paper/2606.26442"},"observation_digest":"sha256:ef0a6e2cf15d58a156dc6c9c7d8c5b9561ddf6b9083aeb592a2e369d65e5c51e","observation_id":"b17a48cc-bdab-4a99-85d9-f53c7e6c0cad","resolution":{"observed_at":"2026-07-04T16:39:57.362751Z","resolver_source":"local_arxiv","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"}}],"links":{"evidence":"/evidence","html":"/paper/2502.04671/citation-record","integrity":"/paper/2502.04671/integrity","json":"/paper/2502.04671/citation-record.json","paper":"/paper/2502.04671"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T22:00:46.306889Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.306889Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:98fe07600ffaf93cb6cc2a75795ebd4ab5b7cd6cd37e4d1081f1b84f7088b8cf","observation_id":"41243e74-0c9d-41f6-967f-9c29eab58dcf","resolution":{"observed_at":"2026-08-08T22:00:46.306889Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.16429","last_updated":"2025-01-31T08:03:07Z","snapshot_observed_at":"2026-07-06T19:37:24.895623Z","submitted_at":"2024-10-21T18:49:28Z","title":"Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.16429","snapshot_observed_at":"2026-08-08T22:00:46.312398Z","title":"Pantograph: A machine-to-machine interaction interface for advanced theorem proving, high level reasoning, and data extraction in lean 4, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.312398Z"},"links":{"cited_paper":"/paper/2410.16429","citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:4129c71a17bd2b7a7ad303d94c049e3b26ace33d239054bf80dab5e35ace30b2","observation_id":"5ec0e339-c3d8-43cb-ab9d-32a51a60db24","resolution":{"observed_at":"2026-08-08T22:00:46.312398Z","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-08T22:00:46.317058Z","title":"The Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq, pp.\\ 271–277","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.317058Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:9e1ff635d538b6d04b3626ad1658aa7004e1404271a0b3f477d1a22d2de0a8c2","observation_id":"88bade77-60ef-4696-9e00-6b207969340a","resolution":{"observed_at":"2026-08-08T22:00:46.317058Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.02949","last_updated":"2024-06-23T13:54:33Z","snapshot_observed_at":"2026-07-06T17:12:06.715778Z","submitted_at":"2024-01-05T18:52:09Z","title":"Graph2Tac: Online Representation Learning of Formal Math Concepts","version":3},"cited_work":{"arxiv_id":"2401.02949","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.02949","snapshot_observed_at":"2026-08-08T22:01:17.778103Z","title":"Graph2Tac: Online Representation Learning of Formal Math Concepts","venue":"cs.LG","work_id":"56cb2437-a17a-49b3-a5b5-015e57ef9269","year":2024},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.321503Z"},"links":{"cited_paper":"/paper/2401.02949","citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:6dba5f3ace8afed2ddb4467b337a6da4cb6510d8bd5eb5218337a90dfade457c","observation_id":"da1e2124-c623-44a1-9300-e205b7e46be6","resolution":{"observed_at":"2026-08-08T22:01:17.782607Z","resolver_source":"local_arxiv","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":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T22:01:17.763230Z","title":"F., and First, E","venue":null,"work_id":"7baa50c9-3950-4fbe-bc08-47e0c541ed93","year":2024},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.325639Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:4ddeab6834e265c2a8fedca0a5bd86994d8aa091f985be7cf2dba4f9c9dfe563","observation_id":"dbc88678-d52c-4ceb-ac41-5bc4041219ca","resolution":{"observed_at":"2026-08-08T22:01:17.766701Z","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":{"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-08T22:00:46.329578Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.329578Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:217c9adcdfab8d5faf736f284bfbb7d12777a24b74384a8d70d815959db37d34","observation_id":"11207c5d-c293-4769-b392-a3e5cacea2df","resolution":{"observed_at":"2026-08-08T22:00:46.329578Z","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-08T22:01:17.927910Z","title":"The Lean theorem prover (system description)","venue":null,"work_id":"7cf4b4b0-ce5a-4211-8d4b-aae92b92bf1d","year":2015},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.333963Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:8dc14c3d5299820757c1570a79d2165b9a34ea2262a49b8c13626df83d46ff3f","observation_id":"a5f0f855-a6e6-4b21-84bd-a92924e7be7d","resolution":{"observed_at":"2026-08-08T22:01:17.931522Z","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-08T22:01:17.917625Z","title":"ABEL : Sample efficient online reinforcement learning for neural theorem proving","venue":null,"work_id":"f5e4e8f1-9c01-493f-a493-73d11bd27884","year":2024},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.337703Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:0e924937c013f4807b9ea0a7460f3a5a7f2cbfabcc099cdc1776eadc689eb720","observation_id":"f1b0dd96-bac3-4270-a6ec-f375d2e41746","resolution":{"observed_at":"2026-08-08T22:01:17.921292Z","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":"2102.06203","last_updated":"2022-03-16T02:59:37Z","snapshot_observed_at":"2026-08-05T18:44:46.705783Z","submitted_at":"2021-02-11T18:59:24Z","title":"Proof Artifact Co-training for Theorem Proving with Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2102.06203","snapshot_observed_at":"2026-08-08T22:00:46.341019Z","title":"M., Rute, J., Wu, Y., Ayers, E","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.341019Z"},"links":{"cited_paper":"/paper/2102.06203","citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:c5ccd0a637486a3fdf6acd8686cfc1508cd0e6d7008945daa18b8cbbe86a54e4","observation_id":"7a39b1e7-aeb1-4213-989a-d1c41dbadb08","resolution":{"observed_at":"2026-08-08T22:00:46.341019Z","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-08T22:01:17.907576Z","title":"The coq proof assistant a tutorial","venue":null,"work_id":"955dbcc1-e24d-4ab0-98eb-22092c3f71ba","year":1997},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.344835Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:341182239d9c5af7c454be51c8c9f37fa4b75961d0490838e8af74a515ae4401","observation_id":"1c6fad2b-214c-4f4f-ac98-0139ec9f2be4","resolution":{"observed_at":"2026-08-08T22:01:17.910945Z","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":"2311.03755","last_updated":"2023-11-09T09:58:15Z","snapshot_observed_at":"2026-07-06T16:44:03.023664Z","submitted_at":"2023-11-07T06:42:15Z","title":"Multilingual Mathematical Autoformalization","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.03755","snapshot_observed_at":"2026-08-08T22:00:46.348039Z","title":"Q., Li, W., and Jamnik, M","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.348039Z"},"links":{"cited_paper":"/paper/2311.03755","citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:eadbb6361534e1cf442a2dd5ec6220e85344e9aeeb5d744cdc4ab758e98976e8","observation_id":"70a08e20-7dd7-485d-a802-7678fd0c902c","resolution":{"observed_at":"2026-08-08T22:00:46.348039Z","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":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T22:01:10.011673Z","title":"Coqpilot, a plugin for llm-based generation of proofs","venue":null,"work_id":"ada1c6a7-9531-427a-ba9d-bc3b802a03a2","year":2024},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.351743Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:d42002e38de8f463fd883cde36b5cebf134684112fa06f739aeef8b7880a4252","observation_id":"ba3db516-c283-47bf-a4c2-490b89fe4d40","resolution":{"observed_at":"2026-08-08T22:01:10.017263Z","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-08T22:01:17.896929Z","title":"Hypertree proof search for neural theorem proving","venue":null,"work_id":"89a680c9-05db-4c48-8a02-003547b55cf6","year":2022},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.355116Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:56b483d038a390d95d9c52994a9d7a406d9c9ba42ef09aeb93357da6a8615996","observation_id":"bdd19f7e-45e7-4e64-821a-0f44de830ac5","resolution":{"observed_at":"2026-08-08T22:01:17.900970Z","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-08T22:01:17.887582Z","title":"Formal verification of a realistic compiler","venue":null,"work_id":"b91e3978-80fb-4675-a409-0307be3f56e3","year":2009},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.358432Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:a5ff1ef216e5e959e67936173f314ec568a06e9d9b05acdcc1c6c908730fdf3f","observation_id":"eb29d55f-30ac-45ab-b738-8262e1c91932","resolution":{"observed_at":"2026-08-08T22:01:17.890544Z","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":"2404.09939","last_updated":"2024-08-22T03:56:45Z","snapshot_observed_at":"2026-08-07T23:33:43.248623Z","submitted_at":"2024-04-15T17:07:55Z","title":"A Survey on Deep Learning for Theorem Proving","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.09939","snapshot_observed_at":"2026-08-08T22:00:46.361538Z","title":"A survey on deep learning for theorem proving, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.361538Z"},"links":{"cited_paper":"/paper/2404.09939","citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:303630a5593453bfd264f75e696e0a213f9a0f629ade7bcf60f94a37dd3c4925","observation_id":"dc8c34a9-e8ca-41bc-9951-f0caaccb5a84","resolution":{"observed_at":"2026-08-08T22:00:46.361538Z","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-08T22:01:17.877884Z","title":"G it H ub - math-comp/math-comp: M athematical C omponents --- github.com","venue":null,"work_id":"d2b8c12f-2cab-4850-8489-3fe7ed9cab99","year":2015},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.364912Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:d7d827b6ab18373d516dec29d5438fb0a3bfaec05834615b4db94185c7168e35","observation_id":"57834414-2f16-4fb9-b1c4-50ebde644c61","resolution":{"observed_at":"2026-08-08T22:01:17.881282Z","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-08T22:01:05.290384Z","title":"The lean mathematical library","venue":null,"work_id":"6dfafcf5-238d-4165-904b-3d11c72ffc10","year":2020},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.368281Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:08f6afa49476d63b59e4f735c3179f9474e6e0c835561c8b9d013b8d423e28d6","observation_id":"199be383-c008-4985-95eb-1e674079c86e","resolution":{"observed_at":"2026-08-08T22:01:05.294350Z","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-08T22:01:17.868161Z","title":"I., et al","venue":null,"work_id":"1552587b-9679-43e9-a6db-fcfc056db3b1","year":2018},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.371448Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:d068663af21fbe3e5329ec5232f0424fc9668bcf778681eef1132245230e7af6","observation_id":"07c509cb-efd4-4936-9ab6-ea65f1d0ce86","resolution":{"observed_at":"2026-08-08T22:01:17.871204Z","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-08T22:01:17.858622Z","title":null,"venue":null,"work_id":"424baf3e-dcf8-4d13-82a0-51689e4ac931","year":1994},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.374750Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:884261d8297c0da1364fddf9becceb5a688f4a0a73c56fde7ec2f2050911bbdd","observation_id":"475b3688-7c35-4482-b788-9b0283b53a24","resolution":{"observed_at":"2026-08-08T22:01:17.861876Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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-08T22:00:46.378263Z","title":"and Sutskever, I","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.378263Z"},"links":{"cited_paper":"/paper/2009.03393","citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:661d95042f5635b267b4809aa5f81ffab7a4029b0d3184778353caebbda70d39","observation_id":"80ef6e97-0897-4f0a-8ca0-63b87e86c755","resolution":{"observed_at":"2026-08-08T22:00:46.378263Z","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-08T22:01:17.847720Z","title":"Generating correctness proofs with neural networks","venue":null,"work_id":"4774532d-d5f5-483e-bea4-0f6e56c3ef6f","year":2020},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.381817Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:5d3f45a0875c07464ca2b55cdc800e46dcb5cec6cc36c41cddb04a1d3a21a606","observation_id":"de87652e-1ddf-4e04-9df9-e5d2a1b3dc1e","resolution":{"observed_at":"2026-08-08T22:01:17.851646Z","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":"2404.12534","last_updated":"2025-05-11T09:58:48Z","snapshot_observed_at":"2026-08-04T18:01:59.080045Z","submitted_at":"2024-04-18T22:54:08Z","title":"Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.12534","snapshot_observed_at":"2026-08-08T22:00:46.385281Z","title":"Towards large language models as copilots for theorem proving in lean, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.385281Z"},"links":{"cited_paper":"/paper/2404.12534","citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:8082e7eea7f29e37f982f72db29adf3b87a6878f741ddcdb15a6bcb85bb8d637","observation_id":"8ca1f596-25df-47e3-ad28-8edc4224c23a","resolution":{"observed_at":"2026-08-08T22:00:46.385281Z","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-08T22:01:17.836591Z","title":"An in-context learning agent for formal theorem-proving","venue":null,"work_id":"254ce3b6-53f4-48b8-8e04-3f7ef926eda0","year":2024},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.389516Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:ebcf0deb99e010a45b03938d42cb3fb89b9a471d502b9edaee109e896ffca01c","observation_id":"4ce489a8-a3d3-4cc5-973c-046a9bdf6f6a","resolution":{"observed_at":"2026-08-08T22:01:17.840458Z","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":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-08T18:18:53.692980Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-08T22:00:46.392984Z","title":"Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.392984Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:664f4f8c58a9d93bad21af7e844e811091e28f23726c0ac4efb95f1308692bb9","observation_id":"85455684-eeac-4edf-bbd2-abed94d25ea1","resolution":{"observed_at":"2026-08-08T22:00:46.392984Z","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-08T22:01:17.826868Z","title":null,"venue":null,"work_id":"a07e9ab8-e9da-452c-a396-6dfa7a6c8a2e","year":2021},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.396829Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:8f2b9286bc7619cb59964aa48c7303cdd7e0a5a44156ebd4441c8b2144a9f5c6","observation_id":"07cefce8-2ac9-4be2-8a0a-1f8106930ce8","resolution":{"observed_at":"2026-08-08T22:01:17.830193Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.18457","last_updated":"2023-10-27T20:10:56Z","snapshot_observed_at":"2026-08-07T23:31:53.556397Z","submitted_at":"2023-10-27T20:10:56Z","title":"LLMSTEP: LLM proofstep suggestions in Lean","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.18457","snapshot_observed_at":"2026-08-08T22:00:46.400277Z","title":"and Saha, R","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.400277Z"},"links":{"cited_paper":"/paper/2310.18457","citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:a5190dd2d7b0cbf20feda53b8f477bdd2bd698ed9ceb15bd74cecbec945a29f9","observation_id":"4e08b31d-c564-44e5-b14b-92487cecf940","resolution":{"observed_at":"2026-08-08T22:00:46.400277Z","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-08T22:00:46.404263Z","title":"and Deng, J","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.404263Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:49a6c29a28e69767f0b023370966c73ec95a8d901685179a6e6fb4667328d7c5","observation_id":"f4fcccf4-dd1e-4d19-a4d9-bb830236b3ee","resolution":{"observed_at":"2026-08-08T22:00:46.404263Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.15626","last_updated":"2023-10-27T16:00:20Z","snapshot_observed_at":"2026-07-06T15:47:26.532273Z","submitted_at":"2023-06-27T17:05:32Z","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.15626","snapshot_observed_at":"2026-08-08T22:00:46.408367Z","title":"M., Gu, A., Chalamala, R., Song, P., Yu, S., Godil, S., Prenger, R., and Anandkumar, A","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.408367Z"},"links":{"cited_paper":"/paper/2306.15626","citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:748897cdc908a0d41e9f19f613d6e02a9fcca5ddd7395eed3175aab0b62a1677","observation_id":"83de4696-97d1-4744-860b-9c05d394b9af","resolution":{"observed_at":"2026-08-08T22:00:46.408367Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-08T19:38:30.741786Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.16075","snapshot_observed_at":"2026-08-08T22:00:46.412163Z","title":"Formal mathematical reasoning: A new frontier in ai, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.412163Z"},"links":{"cited_paper":"/paper/2412.16075","citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:8d27ec795c4ce8c22192ebb73d21ac8630fd71fa4c0e5be424b028550709618e","observation_id":"a07b55fa-943e-4db4-be03-cbfb2978abf3","resolution":{"observed_at":"2026-08-08T22:00:46.412163Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.00110","last_updated":"2022-02-28T06:03:23Z","snapshot_observed_at":"2026-08-09T06:26:57.793642Z","submitted_at":"2021-08-31T23:21:12Z","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.00110","snapshot_observed_at":"2026-08-08T22:00:46.416021Z","title":"M., and Polu, S","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.416021Z"},"links":{"cited_paper":"/paper/2109.00110","citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:d73ca5aa75e376fb8c2479d951a2438fad9fde8b23ed2bc88f3093f25cd11a01","observation_id":"71895f3d-8296-4e5f-b1f7-b87d9ccec859","resolution":{"observed_at":"2026-08-08T22:00:46.416021Z","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-08T22:01:17.810686Z","title":"Neural theorem proving toolkit, 2023","venue":null,"work_id":"af29d6ad-fd5d-49b4-8bb7-e17f53e7ad14","year":2023},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.419784Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:4c5000279956df1c1df6b1212ab7a926c456f0d6923479634c0e018a531b2940","observation_id":"62d83f89-5610-4e87-a587-a82ee4a9421f","resolution":{"observed_at":"2026-08-08T22:01:17.814246Z","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-08T22:00:46.423268Z","title":"@esa (Ref","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.423268Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:5a2ff1c00ddbd7fafef5e1d50233c196551fbf274337cf06e08017832870b12f","observation_id":"db6333dc-20ef-4d16-a865-24d774c1f74a","resolution":{"observed_at":"2026-08-08T22:00:46.423268Z","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-08T22:00:46.427349Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.427349Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:06f7db092f824c6546b28fdc58ba6b7f14f3f8ad72839ec8bf3919527ff48e19","observation_id":"55a2946c-eb73-47c8-b3ff-446ebbe74de6","resolution":{"observed_at":"2026-08-08T22:00:46.427349Z","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":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T22:00:51.253064Z","title":"output.w18","venue":null,"work_id":"9ce7bdf7-03b2-4ad2-bc33-75bf1a0315ae","year":2024},"citing_paper":{"arxiv_id":"2502.04671","last_updated":"2026-05-29T04:28:35Z","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving","version":3},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-08T22:00:46.431245Z"},"links":{"citing_paper":"/paper/2502.04671"},"observation_digest":"sha256:da197d918cb36a4b08b637184854015ec66caaed9c664b63d3dc419990682ee2","observation_id":"c51d41fb-690f-42bc-8dbf-7243c4568045","resolution":{"observed_at":"2026-08-08T22:00:51.258240Z","resolver_source":"arxiv_id_nonexistent","status":"malformed_identifier"},"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.04671","last_updated":"2026-05-29T04:28:35Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-08T21:53:45.076620Z","submitted_at":"2025-02-07T05:35:46Z","title":"ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving"},"reference_resolution":{"displayed":34,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":19,"verified_exact":4,"verified_fuzzy":10},"total_outbound_references":34},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 1 inbound Pith citation observation for arXiv:2502.04671."}