Paper Citation Record · LEDGER

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification

As of 9 August 2026, this Paper Citation Record lists 69 of 69 outbound references and 2 inbound Pith citation observations for arXiv:2506.04592.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.04592 v1

Coverage vector

measured 69 of 69 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:44:59.510685Z

measured 71 of 71 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T22:17:28.616993Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-06T15:20:18.946831Z

Reference resolution

69 of 69 outbound references displayed

verified exact4
verified fuzzy0
unresolved65
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0a8b4406-5832-45e1-8897-10e849757da2 · outbound

This paper cites Large Language Models for Mathematical Reasoning: Progresses and Challenges.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Large Language Models for Mathematical Reasoning: Progresses and Challenges

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.314638Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ff635bf-b878-4082-823d-39da13267101 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.967125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c26706cc-b685-4334-8756-2889c066eeac · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.958644Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 497770ac-70fd-4c6f-b22b-c258db0c496f · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.325494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3665208-52fa-4820-92d2-8b40814d69eb · outbound

This paper cites Training Verifiers to Solve Math Word Problems.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Training Verifiers to Solve Math Word Problems

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.328997Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bc8e8dd-c668-4b57-87ca-4c9f2983465a · outbound

This paper cites The Llama 3 Herd of Models.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification The Llama 3 Herd of Models

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.332576Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f38c60a5-3741-49ad-a78c-0c371af6bbcd · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.947476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4df0577f-4001-468a-b95d-8cb8457a93d4 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.939689Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ed325208-c5ff-458d-96c5-1494a38d43a2 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.341710Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87723558-d3f0-4d3a-aa07-54c58eae4073 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.928164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 39ff0bcf-742b-43bb-91b2-f4294e0a6195 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.347562Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca38ed18-8ed7-46b5-ac4c-99993534495d · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.915939Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 80b99761-2363-40cc-8748-1e7f8a120661 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.353232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed0ae6dc-8e83-49e2-9431-de8b1e60725f · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.905116Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f4700c45-62f0-4c33-a081-5873e1b4ab45 · outbound

This paper cites GPT-4o System Card.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification GPT-4o System Card

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.358492Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81485b53-4e8b-4c58-9bd6-58a5cc4fa8a2 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.897276Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 59386955-86c9-4bc4-bbc1-45b74d453371 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.890093Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4a9d1346-d436-4a62-86b2-424fcf092b1f · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.366523Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cb400b4-8036-43ca-a2ea-2611bf5d6388 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.877589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5717639a-b226-448f-af52-38c1bcc5855b · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.372876Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0435f491-9514-4b92-bdcd-52633e0415b5 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.865476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 96f48841-4829-40d3-bdba-7726951f6802 · outbound

This paper cites RewardBench: Evaluating Reward Models for Language Modeling.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification RewardBench: Evaluating Reward Models for Language Modeling

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.378386Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ea1986f-e7d7-4531-b341-cbf7ca3fdef4 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.858080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 38b8e995-9922-44d7-9064-ba4401ed6059 · outbound

This paper cites EvoCodeBench: An Evolving Code Generation Benchmark Aligned with Real-World Code Repositories.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification EvoCodeBench: An Evolving Code Generation Benchmark Aligned with Real-World Code Repositories

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.384125Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb43529e-c24f-49f8-8dd5-9f0a1e47bab7 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.387846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 026ff056-7a23-492a-836d-a5406c650fee · outbound

This paper cites FIMO: A Challenge Formal Dataset for Automated Theorem Proving.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification FIMO: A Challenge Formal Dataset for Automated Theorem Proving

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.390584Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6193df7e-5dc7-4567-90a4-ff73a47eb869 · outbound

This paper cites Skywork-Reward: Bag of Tricks for Reward Modeling in LLMs.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Skywork-Reward: Bag of Tricks for Reward Modeling in LLMs

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.393457Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 168df49c-4963-4de0-9ca2-46f2bacc2e9d · outbound

This paper cites Process-Driven Autoformalization in Lean 4.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Process-Driven Autoformalization in Lean 4

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.396198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 961f0443-416f-4425-92d8-b51cf3dd2027 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.399512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df9bded4-17a9-478c-969b-f7b2d77c37bb · outbound

This paper cites The Lean mathematical library.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification The Lean mathematical library

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.402345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0101a69b-0713-480e-b43d-0ae6dd539cf6 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.405311Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5511e95-4098-49ec-90d0-271f5e5c273b · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.842585Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ddb8de31-193a-4def-9166-1e14bbfd540c · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.835296Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 938a2745-6525-4ab7-be01-3f64e617620f · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.827195Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 813c056d-6353-49bf-8115-256699197efa · outbound

This paper cites Generative Language Modeling for Automated Theorem Proving.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Generative Language Modeling for Automated Theorem Proving

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.417804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6e26455-bf57-4a9c-baf8-9fe4999d157d · outbound

This paper cites GPQA: A Graduate-Level Google-Proof Q&A Benchmark.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification GPQA: A Graduate-Level Google-Proof Q&A Benchmark

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.420494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e3de15b-d59b-4b99-83ba-ca9bc7ad5a00 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.820122Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation fbb76c3b-acac-4d4a-b03c-18e5a547bc59 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.812590Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 215def12-0c2f-4eae-a8b0-ec0e9144abf2 · outbound

This paper cites DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.428476Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce194bc3-da9b-4379-8ce0-ed78990b6f72 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 40

Resolution: verified exact; doi, observed 2026-08-07T10:44:59.547381Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 08a113e9-518e-444d-8ae3-9e1817b1ae8b · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.805639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c40e29e1-26e5-47b1-8ab9-34158c2c48ef · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.798289Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ee564e06-07ce-43a8-a95c-c3870aad75cb · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.790571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1065ed31-53de-4fb0-8668-4b06dc655174 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.442685Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a87bf1d8-4e0b-48c5-8295-fcd5a172eec4 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.782908Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 87674b87-b5dd-42ef-b8dc-140112621262 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.448037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf21d658-604d-4752-af9e-01bf920e9d7d · outbound

This paper cites SciBench: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language Models.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification SciBench: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language Models

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.450839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f64dfd52-1a97-4a55-a69d-89c30c73eec2 · outbound

This paper cites Chi, Quoc V Le, and Denny Zhou.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Chi, Quoc V Le, and Denny Zhou

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.453738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6d941dd-0837-4bcb-8a3d-a9f192f22956 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 49

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.771006Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 684c83d8-729a-41f3-89c1-e44ebaebea77 · outbound

This paper cites DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.459139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation caa98479-512a-418f-8c4e-74924e71f9cf · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 51

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.764145Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c3280eb4-68f2-4eed-a229-0980d1d7d322 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 52

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.757003Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3c5875da-165a-47b0-b879-fd5c1cd983ad · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.468639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71f9c518-aba2-4af0-9c69-70e41899d8f0 · outbound

This paper cites Can We Verify Step by Step for Incorrect Answer Detection?.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Can We Verify Step by Step for Incorrect Answer Detection?

Reference 54

Resolution: verified exact; local_arxiv, observed 2026-08-07T10:44:59.620047Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1ee74c80-f7ec-4123-a69f-08d92a139756 · outbound

This paper cites Can LLMs Solve longer Math Word Problems Better?.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Can LLMs Solve longer Math Word Problems Better?

Reference 55

Resolution: verified exact; local_arxiv, observed 2026-08-07T10:44:59.609963Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2d14513f-748d-4736-b5d6-42ef87186ab8 · outbound

This paper cites UGMathBench: A Diverse and Dynamic Benchmark for Undergraduate-Level Mathematical Reasoning with Large Language Models.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification UGMathBench: A Diverse and Dynamic Benchmark for Undergraduate-Level Mathematical Reasoning with Large Language Models

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.476120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0f3c176-fe1f-4350-a9e6-7ca808dd995d · outbound

This paper cites S^3cMath: Spontaneous Step-level Self-correction Makes Large Language Models Better Mathematical Reasoners.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification S^3cMath: Spontaneous Step-level Self-correction Makes Large Language Models Better Mathematical Reasoners

Reference 57

Resolution: verified exact; local_arxiv, observed 2026-08-07T10:44:59.593313Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 47bce112-3f26-45ee-9d5b-9e50b4c4754d · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 58

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.745624Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 868daa88-127e-4bf0-bd83-83800ec58daa · outbound

This paper cites Formal Mathematical Reasoning: A New Frontier in AI.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Formal Mathematical Reasoning: A New Frontier in AI

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.483870Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0fcec193-ce17-428e-8d42-99ac63171109 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 60

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.738544Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b5b0d599-69e5-47f2-9495-7836b841ec13 · outbound

This paper cites Lean Workbook: A large-scale Lean problem set formalized from natural language math problems.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Lean Workbook: A large-scale Lean problem set formalized from natural language math problems

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.489003Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7320371f-1ce9-4e52-bbd3-073523d26039 · outbound

This paper cites InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.491464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a07f3824-ea3e-4f7b-abbc-eab215c1c427 · outbound

This paper cites MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.494004Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2867b088-41da-4f0e-a4a4-4dc062b4c585 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.496588Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fd2d262-7974-486b-9173-4e194f3bee24 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 65

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.727780Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ddfadd51-50ab-474c-8081-eb27fbe4a990 · outbound

This paper cites an unresolved cited work.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification Unresolved cited work

Reference 66

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:44:59.720850Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation cafb388e-d148-480e-88de-e0e563730abd · outbound

This paper cites BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructions.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructions

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.504652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 337bf8a3-ef04-45c3-b269-90747aa3e08c · outbound

This paper cites online" 'onlinestring :=.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification online" 'onlinestring :=

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.507565Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6279587b-880c-4ec6-aa59-5de5c9663cad · outbound

This paper cites write newline.

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification write newline

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-07T10:44:59.510685Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 2b38c5b5-ca51-4071-9234-64a65a46db49 · inbound

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving cites this paper.

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T22:17:28.616993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44aa9e5a-8ce3-4ece-b7bd-f98cf55671ea · inbound

Re:Form -- Reducing Human Annotations in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny cites this paper.

Re:Form -- Reducing Human Annotations in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification

Reference 48

Resolution: verified exact; local_arxiv, observed 2026-08-06T15:20:18.953748Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.