Paper Citation Record · LEDGER

Process-Verified Reinforcement Learning for Theorem Proving via Lean

As of 15 August 2026, this Paper Citation Record lists 66 of 66 outbound references and 1 inbound Pith citation observation for arXiv:2606.20068.

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

pith.paper-citation-record.v1
2606.20068 v1

Coverage vector

measured 66 of 66 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-26T17:16:32.556878Z

measured 67 of 67 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-31T17:33:57.931781Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

66 of 66 outbound references displayed

verified exact2
verified fuzzy0
unresolved64
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5402ccaa-bd14-4545-8ca8-2e39d3d6fe93 · outbound

This paper cites Scaling Learning Algorithms Towards.

Process-Verified Reinforcement Learning for Theorem Proving via Lean Scaling Learning Algorithms Towards

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8304bcd1-6330-4b3e-9ded-b2606d95155a · outbound

This paper cites and Osindero, Simon and Teh, Yee Whye , journal =.

Process-Verified Reinforcement Learning for Theorem Proving via Lean and Osindero, Simon and Teh, Yee Whye , journal =

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 488a9ca6-f1e3-4ebe-9db5-b65d7d79a9fa · outbound

This paper cites 2016 , publisher=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2016 , publisher=

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be763956-52f5-4a16-8869-5d10e6d0e574 · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05bb1023-95a9-4b63-9a7d-d56dc685bf4b · outbound

This paper cites and Shaw, J.

Process-Verified Reinforcement Learning for Theorem Proving via Lean and Shaw, J

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-06-26T17:19:36.136399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 63442741-256f-4014-a671-82ffbbb78c0f · outbound

This paper cites 1996 , isbn =.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 1996 , isbn =

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fc929f7-a2c0-46f8-bce2-4e88f4928dd4 · outbound

This paper cites A Formulation of the Simple Theory of Types , volume =.

Process-Verified Reinforcement Learning for Theorem Proving via Lean A Formulation of the Simple Theory of Types , volume =

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fcf03db6-39cd-4054-9c8b-6c5be7233ede · outbound

This paper cites CADE , year=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean CADE , year=

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35921b1e-dcc2-45cb-90d7-7f1e65108ee6 · outbound

This paper cites , title =.

Process-Verified Reinforcement Learning for Theorem Proving via Lean , title =

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe4a7470-6aa0-4b7c-b0a5-cd8f6cf4f910 · outbound

This paper cites an unresolved cited work.

Process-Verified Reinforcement Learning for Theorem Proving via Lean Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6d91c4c-3ead-407c-9f11-76e50a30b627 · outbound

This paper cites The Lean 4 Theorem Prover and Programming Language , isbn =.

Process-Verified Reinforcement Learning for Theorem Proving via Lean The Lean 4 Theorem Prover and Programming Language , isbn =

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cca9a2e-f87d-4915-9cec-ad8a4f938c6b · outbound

This paper cites 2020 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2020 , eprint=

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f27a466-fb68-46c3-8b54-9c10df96ba91 · outbound

This paper cites 2022 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2022 , eprint=

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f8fc7e4-cb0a-4a8a-8e7e-ef8b151e97f5 · outbound

This paper cites ArXiv , year=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean ArXiv , year=

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c3fabae-6efc-48b5-82fe-9635ab5f0a2e · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9093d00-8a86-4d5e-91bf-70b2c543dee3 · outbound

This paper cites 2021 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2021 , eprint=

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bb7eb88-1ad7-4e35-8673-f49da970c886 · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ffd0594-7bfa-40ca-85b1-55ee81d4bc54 · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10dd5fd8-7cff-4777-8fe1-e2d086e0fec6 · outbound

This paper cites Nature ,pages =.

Process-Verified Reinforcement Learning for Theorem Proving via Lean Nature ,pages =

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e910c673-d91d-4434-aa9d-0d7119afd1ae · outbound

This paper cites 2024 , url =.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , url =

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3aab8aa2-2787-4e04-8c7d-1881790d56f3 · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4529c55-39bf-4ce6-a54a-6c525f7a6136 · outbound

This paper cites 2022 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2022 , eprint=

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9ed169c-a4f3-48a3-9ed5-2a7ed72ebf9a · outbound

This paper cites DT-Solver:AutomatedTheoremProvingwithDynamic-TreeSampling Guided by Proof-level Value Function.

Process-Verified Reinforcement Learning for Theorem Proving via Lean DT-Solver:AutomatedTheoremProvingwithDynamic-TreeSampling Guided by Proof-level Value Function

Reference 23

Resolution: verified exact; doi, observed 2026-06-26T17:19:36.133650Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation b937ca7d-20b2-454c-bf09-592d99880409 · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afa90bb7-ee1e-43dc-949b-e792f78bd7b5 · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1b91076-3a8d-4482-826e-d9eb74149759 · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7350569e-cb4e-4c9b-892b-a20c61b25799 · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0eb481e0-544f-495f-9cfa-90d0256deff1 · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 012e017c-2a06-4803-a3c3-067c9e75da01 · outbound

This paper cites 2022 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2022 , eprint=

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2752f0ef-cafb-43ca-aeb9-e4a1ccecb720 · outbound

This paper cites 2020 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2020 , eprint=

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e529133-1083-4371-b61d-f34b16634d34 · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e661d24-164f-4ad5-ac6c-9b9e77ecb4d6 · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9eccd149-818c-45cd-84da-853877148260 · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e96d0d08-efa6-4cfb-b491-d8c8cc10d188 · outbound

This paper cites 2022 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2022 , eprint=

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d04c112-aa5b-46d7-83b0-be0bb5f7e81b · outbound

This paper cites 2023 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2023 , eprint=

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efbed3a4-2324-41c7-9310-9d1bed499589 · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 36

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 784f7c9b-c3ba-4e8b-b71a-f42c2fca361a · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76e016fa-1fce-445b-943b-b81ac6ba0646 · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1173e903-c349-4c4a-985d-6addc42f58cf · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 038317e8-04c0-4113-b7b8-e3b1ce67010d · outbound

This paper cites 2023 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2023 , eprint=

Reference 40

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd31d1fe-b467-4660-b7b6-9c0f4c95ff9e · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 41

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d813cd2-6f08-444e-8fac-36e58c903b48 · outbound

This paper cites 2017 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2017 , eprint=

Reference 42

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fdacfb3-7188-431e-844f-51ebcad12d64 · outbound

This paper cites 2023 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2023 , eprint=

Reference 43

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7138edc-6b9e-4ae3-8d08-cd32b049a6da · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 44

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 795424fb-9ea5-41e3-9933-a3c520871f03 · outbound

This paper cites 2023 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2023 , eprint=

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7572f0e-1324-4a87-a9ad-82f06be165e3 · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 46

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9343849-b1d9-4018-924b-03eb110cb9df · outbound

This paper cites Z3: an efficient SMT solver , year =.

Process-Verified Reinforcement Learning for Theorem Proving via Lean Z3: an efficient SMT solver , year =

Reference 47

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 269673e8-aaa1-45a9-a4cd-f38292e22114 · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 48

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a58e650-063e-4ed4-955c-69e321f109c7 · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 49

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecab95e1-0b33-48a9-9765-72adbaa205f4 · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 50

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1cb0a438-d32e-4988-9648-1f5a6f54a15c · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 51

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de20f188-515f-4eeb-9755-cb36fdff5936 · outbound

This paper cites 2024 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2024 , eprint=

Reference 52

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e012911-3136-4b9c-b019-e3c528796a75 · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 53

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62b0f047-043c-43cd-bd17-07bcce19eda9 · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 54

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4aae5ad6-3f24-40f9-919b-8deeecb2152d · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 55

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51cc4b66-a36b-4cd4-9b13-f7af3df9045e · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 56

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 766b8187-3d6c-40aa-b28b-2605359b684e · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 57

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a68e6786-8488-4271-8198-b1dbe902cd33 · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 58

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f86856f-afac-4659-90f7-9f5c96bf3240 · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 59

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db674644-7002-4599-993a-d14116fcc4f4 · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 60

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8db868d0-b100-432c-af3a-76e08853cc9e · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 61

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d5e5820-387a-491a-bc50-099d40c74823 · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 62

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 933ca09f-4f1b-4309-bf10-b40ee5d7b5bc · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 63

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39353a91-6a63-4634-8bd3-070e3f7a1d93 · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 64

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab962131-55fd-429e-8f3a-7d7cdc001664 · outbound

This paper cites and Harada, Daishi and Russell, Stuart J.

Process-Verified Reinforcement Learning for Theorem Proving via Lean and Harada, Daishi and Russell, Stuart J

Reference 65

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3cceb1f2-6de1-40e0-82c1-4b2d968c42db · outbound

This paper cites 2025 , eprint=.

Process-Verified Reinforcement Learning for Theorem Proving via Lean 2025 , eprint=

Reference 66

Resolution: unresolved; no resolver link, observed 2026-06-26T17:16:32.556878Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 662a445e-9363-4fb5-9542-25f9d6abbd24 · inbound

BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints cites this paper.

BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints Process-Verified Reinforcement Learning for Theorem Proving via Lean

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-31T17:33:57.931781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.