Paper Citation Record · LEDGER

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine

As of 10 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2506.02565.

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

pith.paper-citation-record.v1
2506.02565 v1

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T11:26:31.795219Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

43 of 43 outbound references displayed

verified exact4
verified fuzzy1
unresolved38
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ba3497a7-09ef-4d76-b15b-d68d9c715bdc · outbound

This paper cites Towards a Mathematics Formalisation Assistant using Large Language Models.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Towards a Mathematics Formalisation Assistant using Large Language Models

Reference 1

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88d67994-5aaf-4840-963a-8c5f88876624 · outbound

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

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Llemma: An Open Language Model For Mathematics

Reference 2

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78f638bf-d2ad-4226-83e7-473119c5787a · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:36.584532Z

Source-reported events for the cited work

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

Observation 8b97d08a-327f-4bac-b864-675a582ba95a · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:36.486141Z

Source-reported events for the cited work

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

Observation a7016ae1-7085-46ef-b090-91a692cce47e · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:36.368220Z

Source-reported events for the cited work

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

Observation 6842b260-c9c9-4fa9-8b6f-c3a1e8f83d6a · outbound

This paper cites DISK: Domain-constrained Instance Sketch for Math Word Problem Generation.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine DISK: Domain-constrained Instance Sketch for Math Word Problem Generation

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-07T11:26:32.858919Z

Source-reported events for the cited work

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

Observation b7090b78-8931-407f-bce2-0cc4bcc59438 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:36.267935Z

Source-reported events for the cited work

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

Observation ef904490-9e8e-42c1-bcc1-6a1781fc2c6d · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:36.099684Z

Source-reported events for the cited work

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

Observation 12aed520-4b59-42eb-8e25-7009e0defe3e · outbound

This paper cites Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs

Reference 9

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5edd8f63-400e-4f45-b8e5-644162f9b730 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:35.806412Z

Source-reported events for the cited work

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

Observation 930162ad-fd83-4e15-84e6-e281d5c1843a · outbound

This paper cites Training a First-Order Theorem Prover from Synthetic Data.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Training a First-Order Theorem Prover from Synthetic Data

Reference 11

Resolution: verified exact; local_arxiv, observed 2026-08-07T11:26:32.655217Z

Source-reported events for the cited work

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

Observation 96be61df-badc-41aa-8da2-3fc2639f3948 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:35.660372Z

Source-reported events for the cited work

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

Observation 2b70eb17-bfa7-4944-8e9b-e253319532de · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:35.482595Z

Source-reported events for the cited work

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

Observation 405086f3-f573-44ce-81b1-ba25c9e18322 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:35.308802Z

Source-reported events for the cited work

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

Observation 36dbfb04-c0b7-4fa1-9637-fd0e7fe26035 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:35.162702Z

Source-reported events for the cited work

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

Observation 058e869f-ea90-432c-8b39-23bf8542a432 · outbound

This paper cites Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

Reference 16

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b0b9ad7-dca2-4b67-9505-80b1b8632328 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:34.989266Z

Source-reported events for the cited work

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

Observation 3bf8bbb2-91e3-4bd8-97a4-1e97f0fb0a80 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:34.866356Z

Source-reported events for the cited work

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

Observation b2b3068d-17bd-49e2-b175-b1938e45e02a · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:34.757055Z

Source-reported events for the cited work

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

Observation e8e73ffc-ef0f-426e-af3e-e824c44f0616 · outbound

This paper cites cone of experience.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine cone of experience

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:26:34.556522Z

Source-reported events for the cited work

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

Observation ccd4c549-7da3-463f-98ca-bae0795eb1fd · outbound

This paper cites Mathematical Word Problem Generation from Commonsense Knowledge Graph and Equations.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Mathematical Word Problem Generation from Commonsense Knowledge Graph and Equations

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-08-07T11:26:32.421937Z

Source-reported events for the cited work

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

Observation bae2a55f-5b86-43ad-b7d4-d9a93330b423 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:34.369194Z

Source-reported events for the cited work

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

Observation b27159ae-52da-4bac-9fe3-065180c51c91 · outbound

This paper cites Autoformalizing Euclidean Geometry.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Autoformalizing Euclidean Geometry

Reference 23

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e48a41f6-cfcd-47d2-946c-8dcd5c6448b7 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:34.222608Z

Source-reported events for the cited work

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

Observation c76f8a6d-6d29-4f9d-8a3e-addf07fd909e · outbound

This paper cites A New Approach Towards Autoformalization.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine A New Approach Towards Autoformalization

Reference 25

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d50ff15b-1544-4267-ad30-909945b52120 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 26

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3989aa00-05a9-4ad1-8f99-2a4369882373 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:34.111355Z

Source-reported events for the cited work

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

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

This paper cites Formal Mathematics Statement Curriculum Learning.

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 5f3a1981-43a1-41ea-be01-d322734fa827 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:33.952243Z

Source-reported events for the cited work

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

Observation 588009b6-87d7-469c-ae4b-bd5a2fddf850 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:33.790362Z

Source-reported events for the cited work

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

Observation 75f99791-7446-4dcc-b3b2-0f182fadb912 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:33.633827Z

Source-reported events for the cited work

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

Observation 26784b45-3246-45af-9f7b-15fe366e9b98 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 32

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f7fd8dc-95c5-4603-a7d4-e096737629b6 · outbound

This paper cites LEGO-Prover: Neural Theorem Proving with Growing Libraries.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine LEGO-Prover: Neural Theorem Proving with Growing Libraries

Reference 33

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b8c3a33-0eae-4a27-8d8c-85ef2a8d81ec · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:33.515342Z

Source-reported events for the cited work

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

Observation 25d60695-4e5e-4643-abd1-7e8dede5c03e · outbound

This paper cites Math Word Problem Generation with Mathematical Consistency and Problem Context Constraints.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Math Word Problem Generation with Mathematical Consistency and Problem Context Constraints

Reference 35

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0a80ba5-8132-4bbf-ada4-82e27286e7e0 · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:33.398231Z

Source-reported events for the cited work

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

Observation cfbb928a-e523-474c-83ae-5aecf542d13e · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:33.275533Z

Source-reported events for the cited work

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

Observation 48a56a79-2422-48f7-9373-a790848c9b8f · outbound

This paper cites an unresolved cited work.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:26:33.124283Z

Source-reported events for the cited work

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

Observation f77c4324-702e-4ec0-85ed-44ec846ba51b · outbound

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

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Lean Workbook: A large-scale Lean problem set formalized from natural language math problems

Reference 39

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e02876d5-5f87-478c-bdfd-33e09ac1e85d · outbound

This paper cites SubgoalXL: Subgoal-based Expert Learning for Theorem Proving.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine SubgoalXL: Subgoal-based Expert Learning for Theorem Proving

Reference 40

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3757dc6-7a5a-4a52-a680-72f577ccdaa6 · outbound

This paper cites Learning by Analogy: Diverse Questions Generation in Math Word Problem.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine Learning by Analogy: Diverse Questions Generation in Math Word Problem

Reference 41

Resolution: verified exact; local_arxiv, observed 2026-08-07T11:26:31.959363Z

Source-reported events for the cited work

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

Observation 728a4a85-4ac1-4caf-b23b-84d5348b55f7 · outbound

This paper cites online" 'onlinestring :=.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine online" 'onlinestring :=

Reference 42

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d04fd8c-fb0c-4aaa-9d15-f0ba0811448f · outbound

This paper cites write newline.

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine write newline

Reference 43

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.