{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:MFDS2VOQ7FHYXEGXXYP4TPZZTS","short_pith_number":"pith:MFDS2VOQ","schema_version":"1.0","canonical_sha256":"61472d55d0f94f8b90d7be1fc9bf399caf01f7223e135c3fac48336cdf768281","source":{"kind":"arxiv","id":"2509.02758","version":3},"attestation_state":"computed","paper":{"title":"An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"math.HO","authors_text":"Lielle Rifkin, Matthew Chen, Michael Bouzinier, Sergey Trifonov, Tarun Venkatesh","submitted_at":"2025-09-02T19:04:45Z","abstract_excerpt":"Euclidean geometry has historically played a central role in cultivating logical reasoning and abstract thinking within mathematics education, but has experienced waning emphasis in recent curricula. The resurgence of interest, driven by advances in artificial intelligence and educational technology, has highlighted geometry's potential to develop essential cognitive skills and inspired new approaches to automated problem solving and proof verification. This article presents an ontology-based framework for annotating and optimizing geometry problem sets, originally developed in the 1990s. The "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2509.02758","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2025-09-02T19:04:45Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"dbe13de856839330489354d0564d4da32eb544295320eced4d4ea5988004393c","abstract_canon_sha256":"2cfd3c2734278c93144c7bfcd5d7165436ff69b58dfb42d4e2987d59c76d5749"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-27T00:19:44.168061Z","signature_b64":"2VP1ujdPtmPdvz5qAPR4StN0MwsPGOvPBWlIxtAxXey4UjRyUCqw4XffTt1NQb31BQsHawG8SDqTCyoisqoZAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"61472d55d0f94f8b90d7be1fc9bf399caf01f7223e135c3fac48336cdf768281","last_reissued_at":"2026-07-27T00:19:44.167152Z","signature_status":"signed_v1","first_computed_at":"2026-07-27T00:19:44.167152Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"math.HO","authors_text":"Lielle Rifkin, Matthew Chen, Michael Bouzinier, Sergey Trifonov, Tarun Venkatesh","submitted_at":"2025-09-02T19:04:45Z","abstract_excerpt":"Euclidean geometry has historically played a central role in cultivating logical reasoning and abstract thinking within mathematics education, but has experienced waning emphasis in recent curricula. The resurgence of interest, driven by advances in artificial intelligence and educational technology, has highlighted geometry's potential to develop essential cognitive skills and inspired new approaches to automated problem solving and proof verification. This article presents an ontology-based framework for annotating and optimizing geometry problem sets, originally developed in the 1990s. The "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.02758","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2509.02758/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2509.02758","created_at":"2026-07-27T00:19:44.167603+00:00"},{"alias_kind":"arxiv_version","alias_value":"2509.02758v3","created_at":"2026-07-27T00:19:44.167603+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.02758","created_at":"2026-07-27T00:19:44.167603+00:00"},{"alias_kind":"pith_short_12","alias_value":"MFDS2VOQ7FHY","created_at":"2026-07-27T00:19:44.167603+00:00"},{"alias_kind":"pith_short_16","alias_value":"MFDS2VOQ7FHYXEGX","created_at":"2026-07-27T00:19:44.167603+00:00"},{"alias_kind":"pith_short_8","alias_value":"MFDS2VOQ","created_at":"2026-07-27T00:19:44.167603+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS","json":"https://pith.science/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS.json","graph_json":"https://pith.science/api/pith-number/MFDS2VOQ7FHYXEGXXYP4TPZZTS/graph.json","events_json":"https://pith.science/api/pith-number/MFDS2VOQ7FHYXEGXXYP4TPZZTS/events.json","paper":"https://pith.science/paper/MFDS2VOQ"},"agent_actions":{"view_html":"https://pith.science/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS","download_json":"https://pith.science/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS.json","view_paper":"https://pith.science/paper/MFDS2VOQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2509.02758&json=true","fetch_graph":"https://pith.science/api/pith-number/MFDS2VOQ7FHYXEGXXYP4TPZZTS/graph.json","fetch_events":"https://pith.science/api/pith-number/MFDS2VOQ7FHYXEGXXYP4TPZZTS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS/action/storage_attestation","attest_author":"https://pith.science/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS/action/author_attestation","sign_citation":"https://pith.science/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS/action/citation_signature","submit_replication":"https://pith.science/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS/action/replication_record"}},"created_at":"2026-07-27T00:19:44.167603+00:00","updated_at":"2026-07-27T00:19:44.167603+00:00"}