Paper Citation Record · LEDGER

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development

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

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

pith.paper-citation-record.v1
2509.02758 v3

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T11:30:02.974352Z

measured 39 of 39 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+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

39 of 39 outbound references displayed

verified exact0
verified fuzzy26
unresolved13
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f0b12fc1-f80f-4841-bead-5a86e01514f2 · outbound

This paper cites Knowledge Engineering and the Semantic Web (KESW 2014) , editor =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Knowledge Engineering and the Semantic Web (KESW 2014) , editor =

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.403933Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 056e524b-310a-406c-9833-2f68fb940b64 · outbound

This paper cites Education and Information Technologies , year =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Education and Information Technologies , year =

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.393750Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 553692ac-157e-407d-bc4f-b2d593a14ccd · outbound

This paper cites an unresolved cited work.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-05T11:30:03.382070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 12f842aa-e1a1-42bd-ae48-433fff73f8a7 · outbound

This paper cites Automated Deduction -- CADE 28 , series =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Automated Deduction -- CADE 28 , series =

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.371828Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0dcff680-ac76-456b-957e-26f33516bc94 · outbound

This paper cites Educational Studies in Mathematics , year =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Educational Studies in Mathematics , year =

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.361522Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 12776f6b-66c8-4fc7-8743-821fa6416484 · outbound

This paper cites 1956 , publisher =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development 1956 , publisher =

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.350924Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 598b97de-d99f-43cf-bb23-dff7c9f4b69d · outbound

This paper cites 1973 , publisher =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development 1973 , publisher =

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.339824Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ee9b65fb-483e-418a-af7c-53d114d31f97 · outbound

This paper cites 1983 , publisher =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development 1983 , publisher =

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.329298Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 667e84ac-0257-4861-8882-684dd617d3e6 · outbound

This paper cites an unresolved cited work.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-05T11:30:03.319144Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bff7f7ef-d3f3-49f5-b327-0be308d86d07 · outbound

This paper cites an unresolved cited work.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-05T11:30:03.308686Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a65eb1fd-6d92-4fc9-b5f6-497d96d4af0a · outbound

This paper cites an unresolved cited work.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-05T11:30:03.298503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 69b237f5-65bf-45a8-bba5-0bb6d426ce2d · outbound

This paper cites 2018 , note =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development 2018 , note =

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.287757Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d632433c-fabb-4545-ae9d-2b3cf7bc5a56 · outbound

This paper cites , title =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development , title =

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.277367Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation adc0690e-bf6c-4255-ae83-fc48d3404b05 · outbound

This paper cites 1971 , publisher =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development 1971 , publisher =

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.266779Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9ae0dc2a-aef6-4343-a638-a735efe61c46 · outbound

This paper cites ZDM -- Mathematics Education , year =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development ZDM -- Mathematics Education , year =

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.255671Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 021c4efa-a43c-495c-9b92-1823e712ab81 · outbound

This paper cites 1973 , publisher =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development 1973 , publisher =

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.245205Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9cc5dec8-79d2-4174-a342-5abfb3efc55e · outbound

This paper cites an unresolved cited work.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-05T11:30:03.234461Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 46571521-140c-4618-af1e-81a2d8196153 · outbound

This paper cites an unresolved cited work.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-05T11:30:03.223829Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5fa43f1f-85ec-4f5b-bbf4-5a691d82cfd8 · outbound

This paper cites an unresolved cited work.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-05T11:30:03.214291Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2e3fee05-21ca-4464-bd5f-2bb4618c348c · outbound

This paper cites an unresolved cited work.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-05T11:30:03.204338Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e44d28a4-7f41-45fe-b2d2-b33cf2a74c87 · outbound

This paper cites and Ramani, Srinivasan , title =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development and Ramani, Srinivasan , title =

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.194528Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7df54ce8-5465-45ae-9efb-ce60bd983ada · outbound

This paper cites Semantic Web , year =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Semantic Web , year =

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.184326Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2e3a2d4a-6399-483b-885c-670c6e7c972e · outbound

This paper cites A Survey on Deep Learning for Theorem Proving.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development A Survey on Deep Learning for Theorem Proving

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-05T11:30:02.918053Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f78f7e33-ccef-4850-a9b3-070748025ffd · outbound

This paper cites Proceedings of the 41st International Conference on Machine Learning (ICML 2024) , series =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Proceedings of the 41st International Conference on Machine Learning (ICML 2024) , series =

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.174357Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4bb3eb97-a988-4923-b34e-7371f9874267 · outbound

This paper cites Computer-assisted theorem proving in synthetic geometry , booktitle =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Computer-assisted theorem proving in synthetic geometry , booktitle =

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.163516Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 74d2d727-1422-4d13-b50f-816f935eba23 · outbound

This paper cites Generative Language Modeling for Automated Theorem Proving.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Generative Language Modeling for Automated Theorem Proving

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-05T11:30:02.929282Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aed83de6-2c53-4f1a-b638-cdc5658e8774 · outbound

This paper cites Computer Aided Verification (CAV 2025) , series =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Computer Aided Verification (CAV 2025) , series =

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.152285Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e38930f9-ce10-476b-b2cc-324eb24492b8 · outbound

This paper cites an unresolved cited work.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-05T11:30:03.142431Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 642fa094-5fe8-449a-9f1f-86e714338636 · outbound

This paper cites and de Villiers, Michael and Jones, Keith and Kortenkamp, Ulrich and Leung, Allen and Owens, Kay , title =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development and de Villiers, Michael and Jones, Keith and Kortenkamp, Ulrich and Leung, Allen and Owens, Kay , title =

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.132651Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5903be1a-5008-4701-900c-964c24ff32e0 · outbound

This paper cites LeanGeo: Formalizing Competitional Geometry problems in Lean.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development LeanGeo: Formalizing Competitional Geometry problems in Lean

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-05T11:30:02.943095Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44cbf410-05ff-4ffa-898e-22e9a90f2372 · outbound

This paper cites and Senk, Sharon L.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development and Senk, Sharon L

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.122429Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ceac38fb-4a47-4c51-bebd-27212a6dcd3f · outbound

This paper cites an unresolved cited work.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-05T11:30:03.112156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0fe5a1fa-ac1d-4e06-b900-240249bfa489 · outbound

This paper cites , title =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development , title =

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.101253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d173a856-06d5-4343-8958-ff8980f02c20 · outbound

This paper cites and Stylianides, Andreas J.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development and Stylianides, Andreas J

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.090943Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 62fdc124-a125-41d3-b3cb-ac1e0ee1b3bb · outbound

This paper cites and Wu, Yuhuai and Le, Quoc V.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development and Wu, Yuhuai and Le, Quoc V

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.080145Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b0ead527-9971-4c14-952a-be35eed7492c · outbound

This paper cites 1982 , note =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development 1982 , note =

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.069106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 633f19ea-8d20-4838-86c4-99611c2fa9ed · outbound

This paper cites , title =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development , title =

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.057522Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ba086476-a9bf-41a0-886e-7348a68f7f14 · outbound

This paper cites , title =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development , title =

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.046713Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 06a148e3-7412-428e-bc5a-002f9119e24e · outbound

This paper cites WDS'12 Proceedings of Contributed Papers, Part I , year =.

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development WDS'12 Proceedings of Contributed Papers, Part I , year =

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T11:30:03.035127Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

No inbound Pith citation observations are available.