Paper Citation Record · LEDGER

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning

As of 9 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 7 inbound Pith citation observations for arXiv:2507.08649.

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

pith.paper-citation-record.v1
2507.08649 v1

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T18:18:47.624439Z

measured 46 of 46 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 7 of 7 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T13:47:38.347594Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-10T18:17:33.679581Z

Reference resolution

39 of 39 outbound references displayed

verified exact2
verified fuzzy7
unresolved30
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9da00c7b-e390-46b2-869c-0643f40edb61 · outbound

This paper cites Claude 3.7 Sonnet System card.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Claude 3.7 Sonnet System card

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:18:51.905951Z

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 20a324a9-e495-41d1-af9d-95e4181b2047 · outbound

This paper cites ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:43.564912Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aff0834e-eb48-4759-9338-c8d459a950c1 · outbound

This paper cites an unresolved cited work.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Unresolved cited work

Reference 3

Resolution: verified exact; raw_fallback, observed 2026-08-06T18:18:48.641720Z

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 96d9a353-9873-48e2-9531-a55aac44659a · outbound

This paper cites Bhattacharya, S.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Bhattacharya, S

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:18:51.761824Z

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 e82ae746-78f1-478a-9e3a-ab0ef9253704 · outbound

This paper cites an unresolved cited work.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:18:51.609124Z

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 b6332bbf-b849-44a6-8117-48fdc7a00d45 · outbound

This paper cites De Moura, S.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning De Moura, S

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:18:51.427529Z

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 5b572fb0-bd20-4b6d-a51e-5b35b5a37116 · outbound

This paper cites Self-play with Execution Feedback: Improving Instruction-following Capabilities of Large Language Models.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Self-play with Execution Feedback: Improving Instruction-following Capabilities of Large Language Models

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:44.167318Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c096c8f9-4e54-4d66-9749-2cdf66e2615c · outbound

This paper cites STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:44.264374Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e456820c-203a-4b81-9fea-0697a261aa48 · outbound

This paper cites ReTool: Reinforcement Learning for Strategic Tool Use in LLMs.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning ReTool: Reinforcement Learning for Strategic Tool Use in LLMs

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:44.404732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5a53366-a544-4402-9ebe-40eeabae5b6b · outbound

This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:44.525643Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2160346a-75c4-49d6-bbeb-9ba8b557f89e · outbound

This paper cites Huth and M.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Huth and M

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:18:51.272734Z

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 f8bb39d3-01cb-471d-b7fb-9010db4f44df · outbound

This paper cites Search-R1: Training LLMs to Reason and Leverage Search Engines with Reinforcement Learning.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Search-R1: Training LLMs to Reason and Leverage Search Engines with Reinforcement Learning

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:44.807388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 765e0b63-2e6c-4a96-bef7-3e1baf5f7b52 · outbound

This paper cites an unresolved cited work.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:18:51.145007Z

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 3d634a62-ffdc-4b6f-a1e5-cadebc78705f · outbound

This paper cites Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:45.103299Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation caa682cb-c41d-4857-8483-8ddd1fe1a2a2 · outbound

This paper cites an unresolved cited work.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:18:50.947450Z

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 20111498-2f62-4ef8-b099-03ec6e16b911 · outbound

This paper cites Nipkow, M.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Nipkow, M

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:18:50.679840Z

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 e5a4b664-32be-4d84-9eb1-fc049f80ff19 · outbound

This paper cites TALM: Tool Augmented Language Models.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning TALM: Tool Augmented Language Models

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:45.363604Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94f667c7-1007-4a57-a38c-b9679e83d72b · outbound

This paper cites an unresolved cited work.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:18:50.384899Z

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 722f5792-a9db-4857-9d02-35696cd171af · outbound

This paper cites ToolRL: Reward is All Tool Learning Needs.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning ToolRL: Reward is All Tool Learning Needs

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:45.525815Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9352693f-2c72-4ee8-ad15-cd9e9659b92e · outbound

This paper cites DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:45.628122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15ea4479-67e0-4db3-8bc3-7e15843987a1 · outbound

This paper cites Schick, J.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Schick, J

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:18:50.118777Z

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 6b3123d5-8196-4958-823e-d1c763d7da42 · outbound

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

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:45.803334Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b92cf82-583c-4d41-b144-c1f2d3811c1d · outbound

This paper cites Shinn, F.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Shinn, F

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:18:49.839487Z

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 43da433e-e2a3-4409-99b6-9cef1b844190 · outbound

This paper cites R1-Searcher: Incentivizing the Search Capability in LLMs via Reinforcement Learning.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning R1-Searcher: Incentivizing the Search Capability in LLMs via Reinforcement Learning

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:46.027609Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19215c41-aeec-45df-92e7-b6b81626a5bb · outbound

This paper cites Kimi k1.5: Scaling Reinforcement Learning with LLMs.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Kimi k1.5: Scaling Reinforcement Learning with LLMs

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:46.106656Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ece6de65-fbe4-482c-ac8e-88b0f346020c · outbound

This paper cites an unresolved cited work.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:18:49.536643Z

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 c3375fab-580b-47a1-8ccd-54f0ce36b4a1 · outbound

This paper cites an unresolved cited work.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:18:49.206497Z

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 338f8433-643c-49dc-8de2-86666a1c4b02 · outbound

This paper cites PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:46.473010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86cfd31f-1a67-480e-ac4d-db714264189b · outbound

This paper cites Acting Less is Reasoning More! Teaching Model to Act Efficiently.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Acting Less is Reasoning More! Teaching Model to Act Efficiently

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:46.554317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25be5431-a527-44b5-b58b-69d5bb68dc97 · outbound

This paper cites Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:46.662900Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation adffd939-c8d1-422e-a2e8-9f5f307a83cf · outbound

This paper cites TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:46.739466Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4da8b8bf-4e28-4aab-a4d5-66ad40c90ff5 · outbound

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

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:46.876379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b592f4b3-63e6-4fdf-8045-4b2ed7246c7a · outbound

This paper cites DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:46.956668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d96a391-30ca-488a-8aaa-fbfd5ef3c156 · outbound

This paper cites Not All Rollouts are Useful: Down-Sampling Rollouts in LLM Reinforcement Learning.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Not All Rollouts are Useful: Down-Sampling Rollouts in LLM Reinforcement Learning

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:47.052766Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52eed9b6-732a-439f-b860-10c57a45f2b6 · outbound

This paper cites an unresolved cited work.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-06T18:18:48.910451Z

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 487bdc8d-986c-43ba-ae65-873f8708f288 · outbound

This paper cites DAPO: An Open-Source LLM Reinforcement Learning System at Scale.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning DAPO: An Open-Source LLM Reinforcement Learning System at Scale

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:47.322737Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c07fa38a-ca19-4c64-aaf3-e83b154b0612 · outbound

This paper cites Leanabell-Prover: Posttraining Scaling in Formal Reasoning.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning Leanabell-Prover: Posttraining Scaling in Formal Reasoning

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:47.417844Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0dcf0989-a153-47d8-a1f5-78eb5a354fec · outbound

This paper cites MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-06T18:18:47.509119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39a2b503-0ab0-408d-b33d-99646b1bba31 · outbound

This paper cites LLM-based Rewriting of Inappropriate Argumentation using Reinforcement Learning from Machine Feedback.

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning LLM-based Rewriting of Inappropriate Argumentation using Reinforcement Learning from Machine Feedback

Reference 39

Resolution: verified exact; local_arxiv, observed 2026-08-06T18:18:47.802255Z

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.

Pith citing papers

Observation 2bb83f21-39cd-4c7e-91f2-86b8a9bdbb99 · inbound

StepFun-Prover Preview: Let's Think and Verify Step by Step cites this paper.

StepFun-Prover Preview: Let's Think and Verify Step by Step Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T13:47:38.347594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 682088a7-c9ed-4ca8-83e3-b9c9a41bf148 · inbound

A Survey of Reinforcement Learning for Large Reasoning Models cites this paper.

A Survey of Reinforcement Learning for Large Reasoning Models Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning

Reference 232

Resolution: metadata mismatch; arxiv_id, observed 2026-05-18T00:02:24.529672Z

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 828fdfcf-0e14-4045-a842-0079075aadc5 · inbound

SPS: Steering Probability Squeezing for Better Exploration in Reinforcement Learning for Large Language Models cites this paper.

SPS: Steering Probability Squeezing for Better Exploration in Reinforcement Learning for Large Language Models Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-10T07:01:49.441454Z

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 5875151c-41de-4e35-9da8-b0e62ea601f3 · inbound

OProver: A Unified Framework for Agentic Formal Theorem Proving cites this paper.

OProver: A Unified Framework for Agentic Formal Theorem Proving Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning

Reference 159

Resolution: verified exact; arxiv_id, observed 2026-05-20T14:48:23.501056Z

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 6a7d7bfc-9620-497f-916a-01d0fb3fc1e1 · inbound

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics cites this paper.

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning

Reference 40

Resolution: verified exact; arxiv_id, observed 2026-07-01T10:05:40.800454Z

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 cb458ada-d414-4d9b-8f2b-3c905f318061 · inbound

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics cites this paper.

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning

Reference 40

Resolution: verified exact; arxiv_id, observed 2026-07-03T22:39:01.189699Z

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 c94943b8-12fa-401e-a069-6d27c246ba6e · inbound

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier cites this paper.

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning

Reference 107

Resolution: verified exact; local_arxiv, observed 2026-07-10T18:17:33.680781Z

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.