Paper Citation Record · LEDGER

Formal Mathematics Statement Curriculum Learning

As of 21 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 29 inbound Pith citation observations for arXiv:2202.01344.

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

pith.paper-citation-record.v1
2202.01344 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00

measured 29 of 29 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-16T06:05:42.524951Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

24
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 706073ba-a5e9-47a0-8e05-3bf21917435d · inbound

PaLM-E: An Embodied Multimodal Language Model cites this paper.

PaLM-E: An Embodied Multimodal Language Model Formal Mathematics Statement Curriculum Learning

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-05-10T22:29:29.994704Z

Source-reported events for the cited work

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

Observation 62cb9432-f035-49d2-9007-a33a01ee8fbd · inbound

Llemma: An Open Language Model For Mathematics cites this paper.

Llemma: An Open Language Model For Mathematics Formal Mathematics Statement Curriculum Learning

Reference 172

Resolution: metadata mismatch; arxiv_id, observed 2026-05-19T08:17:46.557309Z

Source-reported events for the cited work

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

Observation a81ba4ea-a74c-49b5-84cb-6308c28ab956 · inbound

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement cites this paper.

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement Formal Mathematics Statement Curriculum Learning

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-11T20:02:27.517219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49a663e9-04ab-40e3-a937-1df6267141b0 · inbound

Proposing and solving olympiad geometry with guided tree search cites this paper.

Proposing and solving olympiad geometry with guided tree search Formal Mathematics Statement Curriculum Learning

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T15:47:53.413646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed671f27-3e0f-4b51-8f2e-463cffb8d620 · inbound

Enhancing IoT Network Security through Adaptive Curriculum Learning and XAI cites this paper.

Enhancing IoT Network Security through Adaptive Curriculum Learning and XAI Formal Mathematics Statement Curriculum Learning

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:45.871714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f0d19df-7035-4e95-adb6-926b8a6326d3 · inbound

The Karp Dataset cites this paper.

The Karp Dataset Formal Mathematics Statement Curriculum Learning

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-10T14:55:35.464689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36efdbb1-0408-4f5a-9d19-3042f77a3add · inbound

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis cites this paper.

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis Formal Mathematics Statement Curriculum Learning

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T00:06:30.350384Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1e6fac0-bebd-4d61-8e8a-39ee8d96df3b · inbound

Probing Large Language Models in Reasoning and Translating Complex Linguistic Puzzles cites this paper.

Probing Large Language Models in Reasoning and Translating Complex Linguistic Puzzles Formal Mathematics Statement Curriculum Learning

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-09T17:40:02.163668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba48127b-7247-4125-abcf-b76d401b5e27 · inbound

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

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving Formal Mathematics Statement Curriculum Learning

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-08T12:07:05.024782Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 729f3ea5-ac43-49d9-96f4-3c8f7dea2ca2 · inbound

Hierarchical Attention Generates Better Proofs cites this paper.

Hierarchical Attention Generates Better Proofs Formal Mathematics Statement Curriculum Learning

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-16T06:05:42.524951Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17d9c005-6b47-4067-b4ad-3f2270a4bf18 · inbound

MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation cites this paper.

MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation Formal Mathematics Statement Curriculum Learning

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T21:05:25.006272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04300f1e-c59f-4f56-a2bb-8a8b9f9877ce · inbound

LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation cites this paper.

LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation Formal Mathematics Statement Curriculum Learning

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T20:50:26.163090Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e2a0272-1719-4db1-937c-721ff3994985 · inbound

Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening cites this paper.

Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening Formal Mathematics Statement Curriculum Learning

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T11:31:02.486788Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ccbf9d7-643e-4603-86e9-2c1db926bfae · inbound

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine cites this paper.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Formal Mathematics Statement Curriculum Learning

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T11:26:30.779161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d582042d-f4dd-4256-aa62-48b20b6fda73 · inbound

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems? cites this paper.

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems? Formal Mathematics Statement Curriculum Learning

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-07T06:08:25.636471Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5770f19b-080f-44a9-9dd6-c004c4aa502b · inbound

Clarifying Before Reasoning: A Coq Prover with Structural Context cites this paper.

Clarifying Before Reasoning: A Coq Prover with Structural Context Formal Mathematics Statement Curriculum Learning

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-06T20:31:26.773068Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b79af29c-1df9-47cf-ad12-4bc2f44c880e · 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 Formal Mathematics Statement Curriculum Learning

Reference 20

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b5fc2ff-3100-412c-aab9-077def46bdf5 · inbound

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving cites this paper.

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving Formal Mathematics Statement Curriculum Learning

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T10:30:44.651424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fe8f7b0-413c-4304-844d-63676289469b · inbound

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning cites this paper.

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning Formal Mathematics Statement Curriculum Learning

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-05-11T00:15:51.804922Z

Source-reported events for the cited work

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

Observation e73a7d58-6a22-476c-a4de-b4ffd2122d18 · inbound

Measuring Representation Robustness in Large Language Models for Geometry cites this paper.

Measuring Representation Robustness in Large Language Models for Geometry Formal Mathematics Statement Curriculum Learning

Reference 24

Resolution: verified exact; arxiv_id, observed 2026-05-13T19:38:10.526821Z

Source-reported events for the cited work

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

Observation 83b5bb48-9302-4194-80d9-51864b9757c7 · inbound

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving cites this paper.

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving Formal Mathematics Statement Curriculum Learning

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-13T06:12:22.916195Z

Source-reported events for the cited work

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

Observation 9af0cbbb-931b-47db-a47d-0c73852659aa · inbound

Correcting Influence: Unboxing LLM Outputs with Orthogonal Latent Spaces cites this paper.

Correcting Influence: Unboxing LLM Outputs with Orthogonal Latent Spaces Formal Mathematics Statement Curriculum Learning

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-05-14T20:19:27.629072Z

Source-reported events for the cited work

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

Observation 1f5cdd50-fc6e-4ccd-9176-37772fd69410 · inbound

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

OProver: A Unified Framework for Agentic Formal Theorem Proving Formal Mathematics Statement Curriculum Learning

Reference 129

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

Source-reported events for the cited work

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

Observation 44d7032e-f383-46ec-84d5-873de7e15187 · inbound

Automating Formal Verification with Agent-Guided Tree Search cites this paper.

Automating Formal Verification with Agent-Guided Tree Search Formal Mathematics Statement Curriculum Learning

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-06-29T15:03:31.322283Z

Source-reported events for the cited work

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

Observation f62a01b8-403f-415c-a7f6-b2ee1437bbc8 · inbound

Formalizing Mathematics at Scale cites this paper.

Formalizing Mathematics at Scale Formal Mathematics Statement Curriculum Learning

Reference 42

Resolution: metadata mismatch; arxiv_id, observed 2026-06-29T07:43:14.302370Z

Source-reported events for the cited work

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

Observation 533b44da-4386-4a90-a640-d75e8b9e0c17 · inbound

Automating Formal Verification with Reinforcement Learning and Recursive Inference cites this paper.

Automating Formal Verification with Reinforcement Learning and Recursive Inference Formal Mathematics Statement Curriculum Learning

Reference 49

Resolution: metadata mismatch; arxiv_id, observed 2026-06-28T23:52:49.215627Z

Source-reported events for the cited work

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

Observation 638ad233-86e2-4795-8a53-73385103d28d · inbound

Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation cites this paper.

Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation Formal Mathematics Statement Curriculum Learning

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-07-04T00:59:20.200144Z

Source-reported events for the cited work

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

Observation f43d16f2-b348-45e1-9b88-60e90186ab32 · inbound

Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings cites this paper.

Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings Formal Mathematics Statement Curriculum Learning

Reference 8

Resolution: metadata mismatch; arxiv_id, observed 2026-07-01T16:15:49.841684Z

Source-reported events for the cited work

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

Observation 496ba8c1-a475-4828-a2b1-dc8e94fda6a0 · inbound

LAMP: Lean-based Agentic framework with MCP and Proof Repair cites this paper.

LAMP: Lean-based Agentic framework with MCP and Proof Repair Formal Mathematics Statement Curriculum Learning

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-06-30T08:44:27.794282Z

Source-reported events for the cited work

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