{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:ZIGLKHL6Z3EZWUOVIF7E7K2EJ5","short_pith_number":"pith:ZIGLKHL6","canonical_record":{"source":{"id":"1711.07154","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2017-11-20T05:39:58Z","cross_cats_sorted":["cs.AI","cs.CY","math.HO"],"title_canon_sha256":"d34dc517349f4477b68bc620bb49d3332baf10c03ca650b1a4000a19756d297d","abstract_canon_sha256":"fe6c21d40a62da86a29e763100ca8dc2d8111ecd038006deebd26abe98191738"},"schema_version":"1.0"},"canonical_sha256":"ca0cb51d7ecec99b51d5417e4fab444f5f22be774a8d9c6325b826014c32c899","source":{"kind":"arxiv","id":"1711.07154","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.07154","created_at":"2026-05-18T00:30:10Z"},{"alias_kind":"arxiv_version","alias_value":"1711.07154v1","created_at":"2026-05-18T00:30:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.07154","created_at":"2026-05-18T00:30:10Z"},{"alias_kind":"pith_short_12","alias_value":"ZIGLKHL6Z3EZ","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZIGLKHL6Z3EZWUOV","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZIGLKHL6","created_at":"2026-05-18T12:31:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:ZIGLKHL6Z3EZWUOVIF7E7K2EJ5","target":"record","payload":{"canonical_record":{"source":{"id":"1711.07154","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2017-11-20T05:39:58Z","cross_cats_sorted":["cs.AI","cs.CY","math.HO"],"title_canon_sha256":"d34dc517349f4477b68bc620bb49d3332baf10c03ca650b1a4000a19756d297d","abstract_canon_sha256":"fe6c21d40a62da86a29e763100ca8dc2d8111ecd038006deebd26abe98191738"},"schema_version":"1.0"},"canonical_sha256":"ca0cb51d7ecec99b51d5417e4fab444f5f22be774a8d9c6325b826014c32c899","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:30:10.922732Z","signature_b64":"+WOAhTPjBeP2c97c3ZD7KVTcmVTGORuDA45R0BO2JNHm3KbZLhWr8mjbiJ+EadLwEfGA5PprlCPjjrCfIp0rBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ca0cb51d7ecec99b51d5417e4fab444f5f22be774a8d9c6325b826014c32c899","last_reissued_at":"2026-05-18T00:30:10.922055Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:30:10.922055Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.07154","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:30:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q3pGkS6ATjToZPnnoXTgsWlpom8tvfusLNf+WnqhXK3Y2uYP7QphDVfimwQGuW2i9rVurWmb93mNnulh2ZSdDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T09:44:45.318063Z"},"content_sha256":"1b17c23af5c2a48645133da533ca8d6be831df7243491e0ed248dcc44871163b","schema_version":"1.0","event_id":"sha256:1b17c23af5c2a48645133da533ca8d6be831df7243491e0ed248dcc44871163b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:ZIGLKHL6Z3EZWUOVIF7E7K2EJ5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CY","math.HO"],"primary_cat":"cs.HC","authors_text":"Ke Wang, Zhendong Su","submitted_at":"2017-11-20T05:39:58Z","abstract_excerpt":"Geometry theorem proving forms a major and challenging component in the K-12 mathematics curriculum. A particular difficult task is to add auxiliary constructions (i.e, additional lines or points) to aid proof discovery. Although there exist many intelligent tutoring systems proposed for geometry proofs, few teach students how to find auxiliary constructions. And the few exceptions are all limited by their underlying reasoning processes for supporting auxiliary constructions. This paper tackles these weaknesses of prior systems by introducing an interactive geometry tutor, the Advanced Geometr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.07154","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:30:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JnpH2tJiwqUpFX45+jFd2eHRFh6iiEnMQYp19LEHOkapzO2CORfvbetz3TMvYLfdHlWDkFBCJra49923qqAmBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T09:44:45.318438Z"},"content_sha256":"736c0ed3003c2bfce7574755a88dad247f60d5cbcdfc4ef733e398ff02f41fe2","schema_version":"1.0","event_id":"sha256:736c0ed3003c2bfce7574755a88dad247f60d5cbcdfc4ef733e398ff02f41fe2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZIGLKHL6Z3EZWUOVIF7E7K2EJ5/bundle.json","state_url":"https://pith.science/pith/ZIGLKHL6Z3EZWUOVIF7E7K2EJ5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZIGLKHL6Z3EZWUOVIF7E7K2EJ5/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-01T09:44:45Z","links":{"resolver":"https://pith.science/pith/ZIGLKHL6Z3EZWUOVIF7E7K2EJ5","bundle":"https://pith.science/pith/ZIGLKHL6Z3EZWUOVIF7E7K2EJ5/bundle.json","state":"https://pith.science/pith/ZIGLKHL6Z3EZWUOVIF7E7K2EJ5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZIGLKHL6Z3EZWUOVIF7E7K2EJ5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:ZIGLKHL6Z3EZWUOVIF7E7K2EJ5","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"fe6c21d40a62da86a29e763100ca8dc2d8111ecd038006deebd26abe98191738","cross_cats_sorted":["cs.AI","cs.CY","math.HO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2017-11-20T05:39:58Z","title_canon_sha256":"d34dc517349f4477b68bc620bb49d3332baf10c03ca650b1a4000a19756d297d"},"schema_version":"1.0","source":{"id":"1711.07154","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.07154","created_at":"2026-05-18T00:30:10Z"},{"alias_kind":"arxiv_version","alias_value":"1711.07154v1","created_at":"2026-05-18T00:30:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.07154","created_at":"2026-05-18T00:30:10Z"},{"alias_kind":"pith_short_12","alias_value":"ZIGLKHL6Z3EZ","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZIGLKHL6Z3EZWUOV","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZIGLKHL6","created_at":"2026-05-18T12:31:59Z"}],"graph_snapshots":[{"event_id":"sha256:736c0ed3003c2bfce7574755a88dad247f60d5cbcdfc4ef733e398ff02f41fe2","target":"graph","created_at":"2026-05-18T00:30:10Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Geometry theorem proving forms a major and challenging component in the K-12 mathematics curriculum. A particular difficult task is to add auxiliary constructions (i.e, additional lines or points) to aid proof discovery. Although there exist many intelligent tutoring systems proposed for geometry proofs, few teach students how to find auxiliary constructions. And the few exceptions are all limited by their underlying reasoning processes for supporting auxiliary constructions. This paper tackles these weaknesses of prior systems by introducing an interactive geometry tutor, the Advanced Geometr","authors_text":"Ke Wang, Zhendong Su","cross_cats":["cs.AI","cs.CY","math.HO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2017-11-20T05:39:58Z","title":"Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.07154","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:1b17c23af5c2a48645133da533ca8d6be831df7243491e0ed248dcc44871163b","target":"record","created_at":"2026-05-18T00:30:10Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"fe6c21d40a62da86a29e763100ca8dc2d8111ecd038006deebd26abe98191738","cross_cats_sorted":["cs.AI","cs.CY","math.HO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.HC","submitted_at":"2017-11-20T05:39:58Z","title_canon_sha256":"d34dc517349f4477b68bc620bb49d3332baf10c03ca650b1a4000a19756d297d"},"schema_version":"1.0","source":{"id":"1711.07154","kind":"arxiv","version":1}},"canonical_sha256":"ca0cb51d7ecec99b51d5417e4fab444f5f22be774a8d9c6325b826014c32c899","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ca0cb51d7ecec99b51d5417e4fab444f5f22be774a8d9c6325b826014c32c899","first_computed_at":"2026-05-18T00:30:10.922055Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:30:10.922055Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+WOAhTPjBeP2c97c3ZD7KVTcmVTGORuDA45R0BO2JNHm3KbZLhWr8mjbiJ+EadLwEfGA5PprlCPjjrCfIp0rBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:30:10.922732Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.07154","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1b17c23af5c2a48645133da533ca8d6be831df7243491e0ed248dcc44871163b","sha256:736c0ed3003c2bfce7574755a88dad247f60d5cbcdfc4ef733e398ff02f41fe2"],"state_sha256":"e781897ad520d8f8ed70c1a4b4efc8dd82c27a74a5d4a68dc7966ea737198324"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3iAHPdmXqTj4CQaGnV93UxShfbivsXLO4XMrshSst5oTzfpMOF0M94oRvtzWLefcddhfifwgm4Fjftlm/kK3Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T09:44:45.320929Z","bundle_sha256":"225b3729221acd402fd7f881793d0dd53cb3db30c3a74d4295c79ed17a151fec"}}