{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:5RVHB42HUSNPUR5LGQH7INVHWQ","short_pith_number":"pith:5RVHB42H","canonical_record":{"source":{"id":"2402.09047","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-02-14T09:44:28Z","cross_cats_sorted":[],"title_canon_sha256":"8e6a6dec19362e97b3ca6185e931edd2132b6b6f639c1fd38524601793de60ea","abstract_canon_sha256":"52172a681abee87b242b281fae782ff51ad1184bc3862629aad464ada864930e"},"schema_version":"1.0"},"canonical_sha256":"ec6a70f347a49afa47ab340ff436a7b432422ad8f84f3e50e6232b8a81cf0cd7","source":{"kind":"arxiv","id":"2402.09047","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.09047","created_at":"2026-07-05T07:45:07Z"},{"alias_kind":"arxiv_version","alias_value":"2402.09047v1","created_at":"2026-07-05T07:45:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.09047","created_at":"2026-07-05T07:45:07Z"},{"alias_kind":"pith_short_12","alias_value":"5RVHB42HUSNP","created_at":"2026-07-05T07:45:07Z"},{"alias_kind":"pith_short_16","alias_value":"5RVHB42HUSNPUR5L","created_at":"2026-07-05T07:45:07Z"},{"alias_kind":"pith_short_8","alias_value":"5RVHB42H","created_at":"2026-07-05T07:45:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:5RVHB42HUSNPUR5LGQH7INVHWQ","target":"record","payload":{"canonical_record":{"source":{"id":"2402.09047","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-02-14T09:44:28Z","cross_cats_sorted":[],"title_canon_sha256":"8e6a6dec19362e97b3ca6185e931edd2132b6b6f639c1fd38524601793de60ea","abstract_canon_sha256":"52172a681abee87b242b281fae782ff51ad1184bc3862629aad464ada864930e"},"schema_version":"1.0"},"canonical_sha256":"ec6a70f347a49afa47ab340ff436a7b432422ad8f84f3e50e6232b8a81cf0cd7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:45:07.797727Z","signature_b64":"spaTQfrrSr+p3sWfn0uvcpYqYQNQsGucg01d2pBNjE7OteCfy/bNjRiEAOPoyVBI2HWnh9vvjl24aiBFLhLIAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ec6a70f347a49afa47ab340ff436a7b432422ad8f84f3e50e6232b8a81cf0cd7","last_reissued_at":"2026-07-05T07:45:07.797372Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:45:07.797372Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.09047","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-07-05T07:45:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NIu6hLO3t5k4DB6aIgRdzU9NStegj+A/eTqT3Y8u1HqxOKQonX9VlLXBRyji6VpCvuJprw6HBkhhXfYxrUomAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T11:35:43.438111Z"},"content_sha256":"6e124d331697530926ae56dfc6dbe3ebb8ff045c9fa22555f6ab5e3f6ce47650","schema_version":"1.0","event_id":"sha256:6e124d331697530926ae56dfc6dbe3ebb8ff045c9fa22555f6ab5e3f6ce47650"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:5RVHB42HUSNPUR5LGQH7INVHWQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jia Zou, Na Zhu, Tuo Leng, Xiaokai Zhang, Yiming He","submitted_at":"2024-02-14T09:44:28Z","abstract_excerpt":"The application of contemporary artificial intelligence techniques to address geometric problems and automated deductive proof has always been a grand challenge to the interdiscipline field of mathematics and artificial Intelligence. This is the fourth article in a series of our works, in our previous work, we established of a geometric formalized system known as FormalGeo. Moreover we annotated approximately 7000 geometric problems, forming the FormalGeo7k dataset. Despite the FGPS (Formal Geometry Problem Solver) can achieve interpretable algebraic equation solving and human-like deductive r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.09047","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2402.09047/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"},"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-07-05T07:45:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"91w2qoQ+jtqL1gfTQs3XpC0US0+j60FBXqflBtXq/YA3MS8xJZnfrn2AudnMr2wYyqmshgcdSk6fJ/im3KklDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T11:35:43.438574Z"},"content_sha256":"274021b7e8c54ec8426a74a9110325c0bf843e0a6ed590cd8f44c1d6c7183307","schema_version":"1.0","event_id":"sha256:274021b7e8c54ec8426a74a9110325c0bf843e0a6ed590cd8f44c1d6c7183307"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5RVHB42HUSNPUR5LGQH7INVHWQ/bundle.json","state_url":"https://pith.science/pith/5RVHB42HUSNPUR5LGQH7INVHWQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5RVHB42HUSNPUR5LGQH7INVHWQ/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-08-18T11:35:43Z","links":{"resolver":"https://pith.science/pith/5RVHB42HUSNPUR5LGQH7INVHWQ","bundle":"https://pith.science/pith/5RVHB42HUSNPUR5LGQH7INVHWQ/bundle.json","state":"https://pith.science/pith/5RVHB42HUSNPUR5LGQH7INVHWQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5RVHB42HUSNPUR5LGQH7INVHWQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:5RVHB42HUSNPUR5LGQH7INVHWQ","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":"52172a681abee87b242b281fae782ff51ad1184bc3862629aad464ada864930e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-02-14T09:44:28Z","title_canon_sha256":"8e6a6dec19362e97b3ca6185e931edd2132b6b6f639c1fd38524601793de60ea"},"schema_version":"1.0","source":{"id":"2402.09047","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.09047","created_at":"2026-07-05T07:45:07Z"},{"alias_kind":"arxiv_version","alias_value":"2402.09047v1","created_at":"2026-07-05T07:45:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.09047","created_at":"2026-07-05T07:45:07Z"},{"alias_kind":"pith_short_12","alias_value":"5RVHB42HUSNP","created_at":"2026-07-05T07:45:07Z"},{"alias_kind":"pith_short_16","alias_value":"5RVHB42HUSNPUR5L","created_at":"2026-07-05T07:45:07Z"},{"alias_kind":"pith_short_8","alias_value":"5RVHB42H","created_at":"2026-07-05T07:45:07Z"}],"graph_snapshots":[{"event_id":"sha256:274021b7e8c54ec8426a74a9110325c0bf843e0a6ed590cd8f44c1d6c7183307","target":"graph","created_at":"2026-07-05T07:45:07Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2402.09047/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The application of contemporary artificial intelligence techniques to address geometric problems and automated deductive proof has always been a grand challenge to the interdiscipline field of mathematics and artificial Intelligence. This is the fourth article in a series of our works, in our previous work, we established of a geometric formalized system known as FormalGeo. Moreover we annotated approximately 7000 geometric problems, forming the FormalGeo7k dataset. Despite the FGPS (Formal Geometry Problem Solver) can achieve interpretable algebraic equation solving and human-like deductive r","authors_text":"Jia Zou, Na Zhu, Tuo Leng, Xiaokai Zhang, Yiming He","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-02-14T09:44:28Z","title":"FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.09047","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:6e124d331697530926ae56dfc6dbe3ebb8ff045c9fa22555f6ab5e3f6ce47650","target":"record","created_at":"2026-07-05T07:45:07Z","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":"52172a681abee87b242b281fae782ff51ad1184bc3862629aad464ada864930e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-02-14T09:44:28Z","title_canon_sha256":"8e6a6dec19362e97b3ca6185e931edd2132b6b6f639c1fd38524601793de60ea"},"schema_version":"1.0","source":{"id":"2402.09047","kind":"arxiv","version":1}},"canonical_sha256":"ec6a70f347a49afa47ab340ff436a7b432422ad8f84f3e50e6232b8a81cf0cd7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec6a70f347a49afa47ab340ff436a7b432422ad8f84f3e50e6232b8a81cf0cd7","first_computed_at":"2026-07-05T07:45:07.797372Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:45:07.797372Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"spaTQfrrSr+p3sWfn0uvcpYqYQNQsGucg01d2pBNjE7OteCfy/bNjRiEAOPoyVBI2HWnh9vvjl24aiBFLhLIAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:45:07.797727Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.09047","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6e124d331697530926ae56dfc6dbe3ebb8ff045c9fa22555f6ab5e3f6ce47650","sha256:274021b7e8c54ec8426a74a9110325c0bf843e0a6ed590cd8f44c1d6c7183307"],"state_sha256":"5298eac97734091f9cbfe450b45381609b503ddc75c62293fd04daec0b01b67d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mWl9uRWg3OuSwLpAONpgaa3rV2zcg644beC9YjfWKBZIJsnC8mU4ZEoPFSK7ach3VU5hjXN2zx/gEE7UD/UmCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T11:35:43.444665Z","bundle_sha256":"4db0169efef71bfafc56becd661d3a9fbe4f3fcae5af1f0db84e96b24f45fc5c"}}