{"as_of":"2026-08-10T03:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d2f7c1c492fe901e3a0fddef9cf4b10ac2b6b63eb0a542d38b7765cf697518d8","coverage":[{"denominator":49,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":49,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:49:00.179397Z","state":"measured"},{"denominator":51,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":51,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-02T12:12:20.879377Z","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-02T12:16:56.415778Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"cited_work":{"arxiv_id":"2505.20869","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.20869","snapshot_observed_at":"2026-07-02T12:16:56.415778Z","title":"Step-wise formal verification for llm-based mathematical problem solving","venue":null,"work_id":"657f63ca-b4d2-4348-8a8b-f79f6172360a","year":2025},"citing_paper":{"arxiv_id":"2605.22875","last_updated":"2026-05-20T04:54:22Z","snapshot_observed_at":"2026-08-08T18:16:45.579144Z","submitted_at":"2026-05-20T04:54:22Z","title":"RMA: an Agentic System for Research-Level Mathematical Problems","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-25T06:06:47.226726Z"},"links":{"cited_paper":"/paper/2505.20869","citing_paper":"/paper/2605.22875"},"observation_digest":"sha256:3ba2ba0437ee22a2234a90a27f58bae18cba4a59d09d6a6ff1c380000780c8b2","observation_id":"4b0a1904-260a-444b-a0eb-549961d8b026","resolution":{"observed_at":"2026-05-25T06:10:24.148377Z","resolver_source":"arxiv_id","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":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"cited_work":{"arxiv_id":"2505.20869","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.20869","snapshot_observed_at":"2026-07-02T12:16:56.415778Z","title":"Step-wise formal verification for llm-based mathematical problem solving","venue":null,"work_id":"657f63ca-b4d2-4348-8a8b-f79f6172360a","year":2025},"citing_paper":{"arxiv_id":"2607.01223","last_updated":"2026-07-01T17:56:42Z","snapshot_observed_at":"2026-08-08T04:08:04.138017Z","submitted_at":"2026-07-01T17:56:42Z","title":"Theoria: Rewrite-Acceptability Verification over Informal Reasoning States","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-02T12:12:20.879377Z"},"links":{"cited_paper":"/paper/2505.20869","citing_paper":"/paper/2607.01223"},"observation_digest":"sha256:f4ddf0e8fbc428327e5507b67f4bf17726d1fbebc7e6e9a8ef98b9ed14a57a8e","observation_id":"4ff13873-534e-43a7-832e-33f68cc5174a","resolution":{"observed_at":"2026-07-02T12:16:56.417454Z","resolver_source":"arxiv_id","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/2505.20869/citation-record","integrity":"/paper/2505.20869/integrity","json":"/paper/2505.20869/citation-record.json","paper":"/paper/2505.20869"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-07T13:48:54.372977Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:54.372977Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:2fec785684c0e5b2d3eed0e43d2972840bf932cdfeed3e5609f0ace798a19998","observation_id":"a52023b5-5a74-4773-878a-73a71ce551ee","resolution":{"observed_at":"2026-08-07T13:48:54.372977Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.12433","last_updated":"2023-02-24T03:28:46Z","snapshot_observed_at":"2026-08-08T08:53:38.852270Z","submitted_at":"2023-02-24T03:28:46Z","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.12433","snapshot_observed_at":"2026-08-07T13:48:54.550078Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:54.550078Z"},"links":{"cited_paper":"/paper/2302.12433","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:99e0b3395244ce46b62905b4464bc6629f67331a15d848aa75669158a8cd2bb8","observation_id":"c0947fc5-13f6-4487-8db6-ca1b2aa638b7","resolution":{"observed_at":"2026-08-07T13:48:54.550078Z","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-07T13:49:06.863243Z","title":null,"venue":null,"work_id":"27829358-e367-497a-b79a-20f48884d944","year":2011},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:54.737051Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:f3030882bfc1b5368a7c33089f5b18d83b0fadcf517a862a239eae98e4b1800c","observation_id":"1c1ecf9b-0e3a-493c-a769-9ed75b4bf792","resolution":{"observed_at":"2026-08-07T13:49:06.966235Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:54.899489Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:54.899489Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:2c26db7976a469ac3f0712bb3bcce900b615dd776bd99b89657afed22a3f2987","observation_id":"4152a210-a499-43da-96c1-c6a369275544","resolution":{"observed_at":"2026-08-07T13:48:54.899489Z","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-07T13:48:55.073544Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:55.073544Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:e986c554bb575a8e7336eebf6804050f114eb2dcaee7a7059a063e115f7054ba","observation_id":"effcdd4c-2ef1-4215-8bb4-3c768c05e118","resolution":{"observed_at":"2026-08-07T13:48:55.073544Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.17231","last_updated":"2024-04-03T15:22:35Z","snapshot_observed_at":"2026-08-01T19:29:13.449337Z","submitted_at":"2024-02-27T05:50:35Z","title":"MATHSENSEI: A Tool-Augmented Large Language Model for Mathematical Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.17231","snapshot_observed_at":"2026-08-07T13:48:55.235032Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:55.235032Z"},"links":{"cited_paper":"/paper/2402.17231","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:7b3e2bed62165d4f33757dd9943807cfe14797b1ba79c04b295d0770d5fb3a57","observation_id":"e4ff89cc-f42a-43a2-a8ed-62bea542d39e","resolution":{"observed_at":"2026-08-07T13:48:55.235032Z","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-07T13:49:06.591471Z","title":null,"venue":null,"work_id":"2cf82307-a092-471a-8628-06a0eec1a744","year":2008},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:55.347517Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:0320257abb4dc75dc68fdccbdb5f19bd744e26b3a0bd2bb54ed88e1b06fddf9f","observation_id":"73e64946-a81c-45ed-bc8d-f8a4a179743e","resolution":{"observed_at":"2026-08-07T13:49:06.717803Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:49:06.346392Z","title":null,"venue":null,"work_id":"1d785732-0c3b-418e-b141-0909f4656f3f","year":2022},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:55.475363Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:6cd488cdec3a87e8e175a53bfd840fb708b7d219f38092d2824748fcf393ae6b","observation_id":"2d3e91d1-144b-4e59-b05c-9263c51d72c3","resolution":{"observed_at":"2026-08-07T13:49:06.431833Z","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":"2309.17452","last_updated":"2024-02-21T12:59:22Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-09-29T17:59:38Z","title":"ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.17452","snapshot_observed_at":"2026-08-07T13:48:55.651885Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:55.651885Z"},"links":{"cited_paper":"/paper/2309.17452","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:986a480ac77602c46a88343ac8efb6b1a097b916eff95cc467b0e2263cf1934e","observation_id":"5b3e8ea2-a0f4-4b97-ba7b-3d2b2bcdeb43","resolution":{"observed_at":"2026-08-07T13:48:55.651885Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-07T13:48:55.798411Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:55.798411Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:7a6dc418ce108935c171a8104ed14ffae88ec3a4066379759b2bee8eaf9224ae","observation_id":"c84c1734-ff23-49aa-a98d-b5b5e2fe70f2","resolution":{"observed_at":"2026-08-07T13:48:55.798411Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2103.03874","last_updated":"2021-11-08T21:30:18Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-03-05T18:59:39Z","title":"Measuring Mathematical Problem Solving With the MATH Dataset","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2103.03874","snapshot_observed_at":"2026-08-07T13:48:55.887844Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:55.887844Z"},"links":{"cited_paper":"/paper/2103.03874","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:8b616980d9f336d1681c15229accc9c512c18b4b56ed44219412260214cba149","observation_id":"564198e3-1acf-4fd9-9f13-72aea2109e78","resolution":{"observed_at":"2026-08-07T13:48:55.887844Z","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-07T13:49:06.110737Z","title":null,"venue":null,"work_id":"408e9762-1843-411d-b7aa-003806910484","year":1997},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:55.984337Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:e8a85e3e4560c96b39bfa0e8f7502dae0670314a096bef5d34e1f8287a6df7d2","observation_id":"bfe04a2b-749b-4553-8f55-9837c83f6799","resolution":{"observed_at":"2026-08-07T13:49:06.246430Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:56.130668Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:56.130668Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:e0a9ddf5c97d4b0ed420422d91e8a203f398782b71c4f2ce6b84858e0fffa4d5","observation_id":"7eb095de-8077-487c-96d9-9dc8ab45bcd1","resolution":{"observed_at":"2026-08-07T13:48:56.130668Z","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-07T13:49:05.929821Z","title":null,"venue":null,"work_id":"4af9060c-39ce-4eb4-8fb1-e31ef0d10456","year":2023},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:56.223940Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:c2d46323eab51a78a94df3e48716ceaa081a540df00c82e98a15a78e3af41d4b","observation_id":"87881562-ac27-4a9b-8bdc-9f8c5da6f455","resolution":{"observed_at":"2026-08-07T13:49:06.028934Z","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":"2305.20050","last_updated":"2023-05-31T17:24:00Z","snapshot_observed_at":"2026-08-05T13:11:04.104454Z","submitted_at":"2023-05-31T17:24:00Z","title":"Let's Verify Step by Step","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.20050","snapshot_observed_at":"2026-08-07T13:48:56.325154Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:56.325154Z"},"links":{"cited_paper":"/paper/2305.20050","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:7a583795652c0c30fce5225d745240b53c4d925f03fee030b4f2d075aa0152b1","observation_id":"e31169b1-fc51-4910-8416-17ee4b0fb9e7","resolution":{"observed_at":"2026-08-07T13:48:56.325154Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.14809","last_updated":"2024-06-01T07:46:28Z","snapshot_observed_at":"2026-08-09T15:29:40.218189Z","submitted_at":"2024-02-22T18:59:02Z","title":"CriticBench: Benchmarking LLMs for Critique-Correct Reasoning","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.14809","snapshot_observed_at":"2026-08-07T13:48:56.468279Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:56.468279Z"},"links":{"cited_paper":"/paper/2402.14809","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:37ae2e56708be78e5e18a2c9bdb3ed15e2beead2ca84acba2afa111356d68dd8","observation_id":"7a419c50-c06a-4eac-9b93-1900ea188b43","resolution":{"observed_at":"2026-08-07T13:48:56.468279Z","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-07T13:49:05.708279Z","title":null,"venue":null,"work_id":"9edda7c7-a50b-4572-bca7-eb4183827521","year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:56.564479Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:1265e257c581f9483ec675d5ffc8ba0754f578fbd3560c52f54b147069192a45","observation_id":"cb4a25f0-1dcc-45da-a890-0c3d6216772e","resolution":{"observed_at":"2026-08-07T13:49:05.780532Z","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":"2412.19437","last_updated":"2025-02-18T17:26:38Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-12-27T04:03:16Z","title":"DeepSeek-V3 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19437","snapshot_observed_at":"2026-08-07T13:48:56.652715Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:56.652715Z"},"links":{"cited_paper":"/paper/2412.19437","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:645cc71ce6ea8f2e4b97842b33965fe33c4246c374fe75d8d49fb36bb3ea638e","observation_id":"8d34e31d-b187-40ff-8c3d-f2da2d85c7c5","resolution":{"observed_at":"2026-08-07T13:48:56.652715Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_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},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.18310","snapshot_observed_at":"2026-08-07T13:48:56.774331Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:56.774331Z"},"links":{"cited_paper":"/paper/2501.18310","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:3497d9dfab0652780f5953ddccf768a7d4c95eb35d80ccc66cca09e3f1421ee4","observation_id":"cae42ab4-bf9f-4c02-8636-b263b5b2603b","resolution":{"observed_at":"2026-08-07T13:48:56.774331Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04815","last_updated":"2023-10-07T14:12:15Z","snapshot_observed_at":"2026-08-09T21:04:10.104945Z","submitted_at":"2023-10-07T14:12:15Z","title":"Critique Ability of Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04815","snapshot_observed_at":"2026-08-07T13:48:56.880879Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:56.880879Z"},"links":{"cited_paper":"/paper/2310.04815","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:74833ab915c37e8bdb50bfff02c602cd8e4ad94a299e6f173156f1f046a86ceb","observation_id":"8cbc7e9d-d74d-4391-8d5a-6727001c91df","resolution":{"observed_at":"2026-08-07T13:48:56.880879Z","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-07T13:48:57.023034Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:57.023034Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:8ca7c4ad6c3fecdda65ea82c4a8c3b7f649f44dd34d6c7379cdee2debfbedaf5","observation_id":"86977b15-d33a-4a09-808f-d65231109533","resolution":{"observed_at":"2026-08-07T13:48:57.023034Z","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-07T13:49:05.399412Z","title":null,"venue":null,"work_id":"a5052474-28ed-48f5-8145-c42c5dc7ccd1","year":2017},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:57.122274Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:7b52c875614df97e39987a1f066b370f1ba7e4e07dab5a7ded2b717a41ee64be","observation_id":"b1d54309-7f37-4ee1-a1a4-4b9865056722","resolution":{"observed_at":"2026-08-07T13:49:05.508655Z","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":"2410.05229","last_updated":"2025-08-27T16:24:39Z","snapshot_observed_at":"2026-07-06T19:29:09.714725Z","submitted_at":"2024-10-07T17:36:37Z","title":"GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.05229","snapshot_observed_at":"2026-08-07T13:48:57.250760Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:57.250760Z"},"links":{"cited_paper":"/paper/2410.05229","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:449b586d20d794508c9ae8ba22f3d32460554bf09e52274e9237939c035efc88","observation_id":"cb702a3f-b5f8-4b2f-b071-2e781cac1014","resolution":{"observed_at":"2026-08-07T13:48:57.250760Z","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-07T13:49:05.177786Z","title":null,"venue":null,"work_id":"b8e3ba36-9835-44eb-bd1f-4f34b69fcdec","year":2021},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:57.363823Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:0b8945c776a06f8b3111ea9651d477057634555f2041cc8ddcaf228293d39646","observation_id":"0f74da3e-1514-492c-bbf9-b72bc0d7aa77","resolution":{"observed_at":"2026-08-07T13:49:05.283595Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:49:04.966692Z","title":null,"venue":null,"work_id":"496ddf54-ddc3-4da3-9227-19f550ea8f57","year":2023},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:57.446450Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:2c6a6990a36ad57c69810185b95a3393e09884bc3e3539903842ec3fc4012a08","observation_id":"373db653-0b20-4826-be62-57d93684b821","resolution":{"observed_at":"2026-08-07T13:49:05.067710Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:49:04.783400Z","title":null,"venue":null,"work_id":"1343add3-75c8-4e71-b289-47df87d12c1c","year":2023},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:57.566812Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:fd58b4c9fef1d62a995be37c0e9e71ae916b53e71ab3daf75e4d070083cb7ae7","observation_id":"34985dc3-0bb2-46d2-b2ee-d5797aec7bc8","resolution":{"observed_at":"2026-08-07T13:49:04.853590Z","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":"2203.04291","last_updated":"2022-03-07T23:15:21Z","snapshot_observed_at":"2026-08-09T21:22:45.768706Z","submitted_at":"2022-03-07T23:15:21Z","title":"Learning from Few Examples: A Summary of Approaches to Few-Shot Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.04291","snapshot_observed_at":"2026-08-07T13:48:57.689898Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:57.689898Z"},"links":{"cited_paper":"/paper/2203.04291","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:e993514b807053173dc3fa83ab66d96e8534665005747b3e08a2336ee7da49dd","observation_id":"5bd6a367-1f6d-47f3-bb0d-16f6f41c39fd","resolution":{"observed_at":"2026-08-07T13:48:57.689898Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.01234","last_updated":"2024-04-01T16:51:50Z","snapshot_observed_at":"2026-08-06T11:35:54.331198Z","submitted_at":"2024-04-01T16:51:50Z","title":"GFLean: An Autoformalisation Framework for Lean via GF","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.01234","snapshot_observed_at":"2026-08-07T13:48:57.793460Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:57.793460Z"},"links":{"cited_paper":"/paper/2404.01234","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:cbead742a4daf2735b811d6b919fed0678e303b85ac661930c1da9bec854c4fa","observation_id":"5fd47922-e35c-4bd6-983a-a96bb866fb8d","resolution":{"observed_at":"2026-08-07T13:48:57.793460Z","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-07T13:49:04.524731Z","title":null,"venue":null,"work_id":"028e0bd8-8c79-4022-969f-55a5e47e5484","year":2004},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:57.903494Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:9595a9fd946074874026bbda71a7f0abe286d46fe4bc861d3b398be5e7183ba3","observation_id":"b08429c0-4a3e-405e-895c-1c5656b425c2","resolution":{"observed_at":"2026-08-07T13:49:04.641724Z","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":"2501.16961","last_updated":"2025-07-12T18:39:50Z","snapshot_observed_at":"2026-08-09T15:00:46.551272Z","submitted_at":"2025-01-28T14:04:49Z","title":"Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.16961","snapshot_observed_at":"2026-08-07T13:48:57.988181Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:57.988181Z"},"links":{"cited_paper":"/paper/2501.16961","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:3ccfc3dd2dad3ee624bafdd713d9e7c5ae13d35c123d0038286b851750c5cb7c","observation_id":"e663a350-2a2e-427f-844d-3cb1ba44e5c0","resolution":{"observed_at":"2026-08-07T13:48:57.988181Z","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-07T13:49:04.284026Z","title":null,"venue":null,"work_id":"7a45abfb-59cc-40a8-b5ea-56aaff52a584","year":2020},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:58.098393Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:e9055de353ae8d74eea68fdd5c7948ffbbbef9dcc1dea1282dbdc9eaeac34f1d","observation_id":"6df9d9de-c16c-4dbd-8d25-60166e877ffc","resolution":{"observed_at":"2026-08-07T13:49:04.424258Z","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":"2501.03124","last_updated":"2025-06-28T12:31:45Z","snapshot_observed_at":"2026-08-07T08:05:38.374743Z","submitted_at":"2025-01-06T16:31:45Z","title":"PRMBench: A Fine-grained and Challenging Benchmark for Process-Level Reward Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.03124","snapshot_observed_at":"2026-08-07T13:48:58.204424Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:58.204424Z"},"links":{"cited_paper":"/paper/2501.03124","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:03755d0d4dda0520b4259169134716a3a6b417a88a460d2dd2859d4c5e88f9ae","observation_id":"c4fe288e-8194-4497-8688-e4265491cd41","resolution":{"observed_at":"2026-08-07T13:48:58.204424Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.15581","last_updated":"2025-09-08T15:34:55Z","snapshot_observed_at":"2026-07-06T20:26:21.639525Z","submitted_at":"2025-01-26T16:17:57Z","title":"Error Classification of Large Language Models on Math Word Problems: A Dynamically Adaptive Framework","version":2},"cited_work":{"arxiv_id":"2501.15581","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.15581","snapshot_observed_at":"2026-08-07T13:49:00.376545Z","title":"Error Classification of Large Language Models on Math Word Problems: A Dynamically Adaptive Framework","venue":"cs.CL","work_id":"210345db-dca3-4ad1-b914-8cb4290da8ac","year":2025},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:58.317388Z"},"links":{"cited_paper":"/paper/2501.15581","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:8ce178a62449597c098915bad38b5e264ef95aea26c1e4f90077fb11902edbfb","observation_id":"1fdcb005-33a2-4876-bf4d-834413680968","resolution":{"observed_at":"2026-08-07T13:49:00.471283Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:48:58.431644Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:58.431644Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:0b59bfb1e0e05283afdaf749ff0047ab8e44aa61a10031f0a1d3a2c8d854d6ad","observation_id":"9d2c7763-e459-47eb-884d-9e64cdffc09b","resolution":{"observed_at":"2026-08-07T13:48:58.431644Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.12608","last_updated":"2024-12-17T06:55:00Z","snapshot_observed_at":"2026-08-03T20:23:50.626793Z","submitted_at":"2024-10-16T14:24:55Z","title":"Not All Votes Count! Programs as Verifiers Improve Self-Consistency of Language Models for Math Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.12608","snapshot_observed_at":"2026-08-07T13:48:58.532707Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:58.532707Z"},"links":{"cited_paper":"/paper/2410.12608","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:baebf1e0f65b087c9f2e0a4df2a6582783d02d124eadcaad6106806deba22e4b","observation_id":"54b795d1-68df-448b-b344-544e8a03c2ed","resolution":{"observed_at":"2026-08-07T13:48:58.532707Z","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-07T13:48:58.653213Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:58.653213Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:fc71eea5b3c23c32aff0609554e13fbacd8f0754470d5d6904a187202c25d8b7","observation_id":"2397eefb-2fb0-45fe-a62b-28641900844b","resolution":{"observed_at":"2026-08-07T13:48:58.653213Z","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-07T13:48:58.748762Z","title":"Self-consistency improves chain of thought reasoning in language models","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:58.748762Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:acea28fa28533780298a116f9a533974394ce1abb92337cee71c4d7d6dda7781","observation_id":"19170fb8-05b9-456b-84de-e2f4496e8b8b","resolution":{"observed_at":"2026-08-07T13:48:58.748762Z","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-07T13:48:58.878514Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:58.878514Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:6dfcabedf2edd5cc9e0b949be16af08b13ee68daf44fd947cce6f0f284f91446","observation_id":"45afb5fe-3509-466d-8a37-5e86fadf4567","resolution":{"observed_at":"2026-08-07T13:48:58.878514Z","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-07T13:48:58.956134Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:58.956134Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:d4539a865e456a9b362e97e4159378c41e5e96b1050855e7bf9aa8d06ca185d1","observation_id":"95027379-b8b6-426c-acfb-8aef17e8b49b","resolution":{"observed_at":"2026-08-07T13:48:58.956134Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.16579","last_updated":"2024-11-25T17:11:54Z","snapshot_observed_at":"2026-07-06T19:56:39.115630Z","submitted_at":"2024-11-25T17:11:54Z","title":"Enhancing LLM Reasoning via Critique Models with Test-Time and Training-Time Supervision","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.16579","snapshot_observed_at":"2026-08-07T13:48:59.112150Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:59.112150Z"},"links":{"cited_paper":"/paper/2411.16579","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:7f9ce71feba56357606080698bdc305b603f33e8e6180721777f2371dccdc540","observation_id":"1e88dd56-b72d-4bbb-a544-7ee3bc701ca1","resolution":{"observed_at":"2026-08-07T13:48:59.112150Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14333","last_updated":"2024-05-23T09:03:42Z","snapshot_observed_at":"2026-07-06T18:18:25.746022Z","submitted_at":"2024-05-23T09:03:42Z","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14333","snapshot_observed_at":"2026-08-07T13:48:59.169485Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:59.169485Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:f3f38ece6487bcc33f5bc6f7e6cd47868f0d780ff3d2fbc95409d9add892fa0d","observation_id":"5ce19351-2c5f-44cb-9d63-722b06192c7b","resolution":{"observed_at":"2026-08-07T13:48:59.169485Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-07T13:48:59.281333Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:59.281333Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:c1760280824cb8d1bc2e8d14038fbe87d67c7de66adc2413eea262842271dd83","observation_id":"0f8ba24a-76af-410f-8f9d-0bf41e04bb7b","resolution":{"observed_at":"2026-08-07T13:48:59.281333Z","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-07T13:49:04.047436Z","title":null,"venue":null,"work_id":"be1ff977-fc78-47c4-a668-a7b25946f12c","year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:59.386344Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:b797efd7c8222a75e8d7149c79469b98a92282ab9f28b975f6f86cf8d7d23b62","observation_id":"8dea5011-6747-4573-b953-9f4fc3237424","resolution":{"observed_at":"2026-08-07T13:49:04.144091Z","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":"2501.07301","last_updated":"2025-06-05T16:34:24Z","snapshot_observed_at":"2026-08-03T11:11:25.359494Z","submitted_at":"2025-01-13T13:10:16Z","title":"The Lessons of Developing Process Reward Models in Mathematical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.07301","snapshot_observed_at":"2026-08-07T13:48:59.544806Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:59.544806Z"},"links":{"cited_paper":"/paper/2501.07301","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:f29dc5f57d89a07447d8d0abf108a09a17f6a3884575a69f399af1e8b35419b2","observation_id":"1861b794-1202-4f60-94a0-54d876aed408","resolution":{"observed_at":"2026-08-07T13:48:59.544806Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.06559","last_updated":"2025-05-26T14:03:32Z","snapshot_observed_at":"2026-08-09T05:18:18.356511Z","submitted_at":"2024-12-09T15:11:40Z","title":"ProcessBench: Identifying Process Errors in Mathematical Reasoning","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.06559","snapshot_observed_at":"2026-08-07T13:48:59.682459Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:59.682459Z"},"links":{"cited_paper":"/paper/2412.06559","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:337c345d262d2a4a4c3b3b314629d0ec8e0667c3c4fabe94b7bb35b228c7e7eb","observation_id":"b2203d20-f849-49a3-b21b-3af781914e82","resolution":{"observed_at":"2026-08-07T13:48:59.682459Z","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-07T13:49:01.367892Z","title":null,"venue":null,"work_id":"a1033889-d95b-4d67-96bf-0ae23641fc1d","year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:59.813929Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:058e42a8b26b93fddc85e5ed5dd1889d6ad4564ae542db12de7753a8336fe763","observation_id":"1df8ee35-400a-4d00-bfb5-9108cb3e3126","resolution":{"observed_at":"2026-08-07T13:49:03.237031Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:49:00.831816Z","title":null,"venue":null,"work_id":"e1de2e2d-920c-411c-9b23-4f19a42f8cb9","year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:59.934123Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:e82195da2ffc2d6db91a817c632efe87482296c2635ef96834c8807e0808ca8e","observation_id":"0786da6c-9df3-405d-969c-885a64fed77d","resolution":{"observed_at":"2026-08-07T13:49:00.917383Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:49:00.038201Z","title":"online\" 'onlinestring :=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-07T13:49:00.038201Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:b12d30abcdd4b399f72ecf231630aa9fd8553d0c70d87c32f87d42ad114dead2","observation_id":"7452546b-d04e-40da-8009-7bca1c8c2d52","resolution":{"observed_at":"2026-08-07T13:49:00.038201Z","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-07T13:49:00.179397Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-07T13:49:00.179397Z"},"links":{"citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:cb71d3c4184b1f60357de6c00948c7f284c5098aca7891e6104ef83b688f2dd3","observation_id":"93322f82-1239-448b-ab1e-b0c55f32467c","resolution":{"observed_at":"2026-08-07T13:49:00.179397Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving"},"reference_resolution":{"displayed":49,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":48,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":49},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 2 inbound Pith citation observations for arXiv:2505.20869."}