{"as_of":"2026-08-08T06:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:688393272e80b23ace0cd25e561842747f0543867bd78830e23f5dfc55b320d9","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-08T06:32:00.761636+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-07T23:32:20.126880Z","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-07-06T23:33:09.561760Z","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:4e39c4f39630a6e20d151c83817d2e50154dfc12ed2d5dd6506dab6ad5b50e62","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:d81d3e21c725b5195fadb0e8b69fffa9806a0164b6b8191ee2f723e0ded706d2","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:da9a85a26181495a37821405c4e247e8d301398cea1fb89127d7d9b464a2b481","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-07T23:35:22.858805Z","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-07T23:32:20.126880Z","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:02cb03782362f83094c49a15eccce575ffbdeca87eb5f66da08930e2f46ae7d7","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-07T23:32:20.126880Z","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:60e0e24689db51e54773276e98ef7c4aba41a370063dc78d70d9232a9327a850","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:2f90b415363d452424813579f53ede96be1deaee994b6cbde39945829fe118cb","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-07T23:32:20.126880Z","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:895cf16e199c63809ad29252252cc07d4c4ddf6393692a0dc75e298456cdff36","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-07T23:32:20.126880Z","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:59393a9daaf453d7d40cf7f7fa3d974384a06e9985f2e89027186b35c3df7305","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-07T23:32:20.126880Z","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:c02931c3a6044d16cc4cd3a92faf5b69123ef5dfa17bb944810796a1f7fb5299","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:e1ddcc0789acc1b07fba49e2016a2a2403197f50cba6c700aebce093c9f6abad","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:8d646afbcadd320243ff42ecd75f00d2ee13aa28bd3c6d218ec1470ae559138f","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-07T23:32:20.126880Z","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:e4ee8b6cebe7f2236b8e6c6854ec4ca946ad09b2e794f00d2a2f9ba4389c83dc","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-07T23:32:20.126880Z","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:d81c7c465c7034d795bac7f9015ce69b59bb12574042cfa9b0d8590e10066a57","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-07T23:32:20.126880Z","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:e4ea1c8295904c024b8e5e60bd90dfb3ab2797e6e8d7ec63fc1b4d42230b4700","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:a74e17def921b52c80f9ac62f0d0bbe305b3a25eb11b198ac2488b58bafbd6a8","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-07T23:32:20.126880Z","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:63a90ebcae0b47473edceda4651729edf1d06c42369586410a5722bee8338755","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:8f1318573192934cbf3ae0f312c57438893ee74051751c24b94dc89c30af96f4","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-07-06T17:34:11.950339Z","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-07T23:32:20.126880Z","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:96e1ac86f1e992ec30e49c15df8db924b36433677f345daed502dfcafc600d95","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-07T23:32:20.126880Z","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:00f0409a9d5e14df46b9d8ad12fdf6d7d08e078d81bfa5e477f262569c278661","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:05f42c297672a3da2a61b500f75fd0057dbe76f2e71a772c758b249f5194d762","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-06T23:03:00.486036Z","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-07T23:32:20.126880Z","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:2066c1f43f232960bdf6c0b33fb25ec69d46521223790083a1c379743a04ff99","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-07-06T16:29:11.973128Z","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-07T23:32:20.126880Z","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:f912920f471c2bb4314eaab4bac13e9ae4344adb3e8a0f64b6233f57364b92d6","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-07T23:32:20.126880Z","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:cb122e8c11ea46bb56148808eb4436a7540166da2c231f215e7186b2bfab9a6b","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-07T23:32:20.126880Z","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:e12f4392a4be46593f72d98f08505530b6c7a9e88333359450e95ef998794ecf","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:cb75fd7cf7274ead1717f90471f2bf793157656fb980af842f2d699b3b378419","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-07T23:32:20.126880Z","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:b4604922acdd2a88ce2ca46e6df8124c00c7796c7f396d98b8c9c9b6b5280fe7","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:4b38b71a68aafce6f9e7424c07335216192cea64e5ae8fad936c1d91fa879ea9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:0d8f81014b17c9fbd80ad8455941a72dd96219f7f06d9c9de6865bc55108e703","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-06T12:45:43.213932Z","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-07T23:32:20.126880Z","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:64bf399ab36fba22d1a9c8dcde19b741a2abeeb274aeea7e22087d31308f95b0","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-07T23:32:20.126880Z","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:54e4d0e5de4ceab95bee8e7ad7324aca38301df1f29b32ffcac05617adb204cc","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-07T23:32:20.126880Z","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:adb5e8a5ffb07e193e6901c2f1e99abd9738112419b3cd0b6cb5af6a089caeb9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:31:49.987974Z","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-07T23:32:20.126880Z","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:108aa9d0897baeb9a880b0f33e2313cdfad119c6dfd5a27f09efb3609e862c6f","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-07T23:32:20.126880Z","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:979cb3e97e9eee38bde234079100f243273c0f08a35f4c0b73d9b028d8d51cb3","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:302272988e01aa203ea407f425cdd07777be1196531d4f476c2120bdab141f72","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-07T23:32:20.126880Z","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:d2d556cee6f573cc9cdd6419898652d3025c83a41e3367a449eb2d77feca96da","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:d92d0e87f162c0a5b7a362169f2e114fe93af32407ef0e58885734f2ff51c392","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-07T23:32:20.126880Z","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:a3736ba613fae819b84bedaebcea9b96d939c06eff6e23be6708ff9643e46273","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-07T23:32:20.126880Z","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:6fa1621b7f7d8d1d1f84292931417dc2db9406dfb33d014b8815b49b90be2672","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-07T23:32:20.126880Z","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:7abc98728b4804d3987191fd706f7b27fcc97a8b87ed3b05c87bac2c95ffddd7","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-07T23:32:20.126880Z","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:b80b7ddd3a0644f948fab53d4282f1bca1fe11d4ff06681aeaa4fa7634c4d247","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-07T23:32:20.126880Z","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:550a0c3746d4ce6a1e85e465f304084fd5b40244f6359dbd3d9a67d5fa941b88","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-07T23:32:20.126880Z","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:32ef3a2ebecc46d3321c79ebfa89ef54527e30ae66627b9cb047733998d23abc","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-07T23:32:20.126880Z","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:b5b7b9c3e826806c5803d068dab48c42490aa912d18dbeffe16bda8e8956f1fc","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-07T23:32:20.126880Z","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:07f261b8624b3e64f67e7e8ad7fa2ea275ad5086748d05fae9b00ef25606c556","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-07T23:32:20.126880Z","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:4f394da87c6765d34736992cf0841b66dfc7024b6f52ce72302af919739e2d6b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:11c79d12763fd1ee3bb4e2d18e2bdbc93c55d8640c11fbd3aec32f93c4140e14","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-05T20:30:49.812919Z","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-07T23:32:20.126880Z","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:eaaa8cbd87270de309a029c39be3c938d3765697a92032ae8ee92ee776f34950","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-07T23:32:20.126880Z","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:7c39e70d09272f9b55fc92c370ef5aa8f8466b3dac0db291d5ec0a96882288e6","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:785ab1beba2bcd06fae2614d4f7f36ebe03bc5f3078ae05bc6267d96242bac87","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T23:32:20.126880Z","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:3fdc2e0898d2dd306d5d72fcc986ce323e58682ecce5d3394ec4673dd9208520","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-07T23:32:20.126880Z","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:abfeebf507c7480f654fae1c1784a87e780bb3cc226f6e2462417c40246aa21a","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-07T23:32:20.126880Z","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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 2 inbound Pith citation observations for arXiv:2505.20869."}