{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:YRRB52D4XAFVLDKTLZQA7VKYQ4","short_pith_number":"pith:YRRB52D4","schema_version":"1.0","canonical_sha256":"c4621ee87cb80b558d535e600fd5588733a233f84957c0776edbe0a32f788e2e","source":{"kind":"arxiv","id":"2310.18021","version":6},"attestation_state":"computed","paper":{"title":"FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Cheng Qin, Chenyang Mao, Dengfeng Yue, Fangzhen Zhu, Jia Zou, Na Zhu, Qike Huang, Runan Wang, Shaorong Xie, Tuo Leng, Xiangfeng Luo, Xiaokai Zhang, Xiaoxiao Jin, Yang Li, Yanjun Guo, Yifan Wang, Yiming He, Yiwen Huang, Zhenbing Zeng, Zhe Zhu","submitted_at":"2023-10-27T09:55:12Z","abstract_excerpt":"This is the first paper in a series of work we have accomplished over the past three years. In this paper, we have constructed a consistent formal plane geometry system. This will serve as a crucial bridge between IMO-level plane geometry challenges and readable AI automated reasoning. Within this formal framework, we have been able to seamlessly integrate modern AI models with our formal system. AI is now capable of providing deductive reasoning solutions to IMO-level plane geometry problems, just like handling other natural languages, and these proofs are readable, traceable, and verifiable."},"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":"2310.18021","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-10-27T09:55:12Z","cross_cats_sorted":[],"title_canon_sha256":"02474cd79ee98b2bdf06483b64854c736ec28bf0ed6426f811ba6eff2077cd46","abstract_canon_sha256":"5fc70991e8914a017622bf10d739a4fc0d0a1a9ecbf0f3ff8fc13e2c3b53783a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:45:30.534590Z","signature_b64":"Tzuh+0i5WNcna1XYHmqY4uhJHXWLcP1WUFQ9+jtU2QbRZc91K23NW1Es7zFoD/pH3YLI5Xh88kFjHGE8chIVDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c4621ee87cb80b558d535e600fd5588733a233f84957c0776edbe0a32f788e2e","last_reissued_at":"2026-07-05T07:45:30.534023Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:45:30.534023Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Cheng Qin, Chenyang Mao, Dengfeng Yue, Fangzhen Zhu, Jia Zou, Na Zhu, Qike Huang, Runan Wang, Shaorong Xie, Tuo Leng, Xiangfeng Luo, Xiaokai Zhang, Xiaoxiao Jin, Yang Li, Yanjun Guo, Yifan Wang, Yiming He, Yiwen Huang, Zhenbing Zeng, Zhe Zhu","submitted_at":"2023-10-27T09:55:12Z","abstract_excerpt":"This is the first paper in a series of work we have accomplished over the past three years. In this paper, we have constructed a consistent formal plane geometry system. This will serve as a crucial bridge between IMO-level plane geometry challenges and readable AI automated reasoning. Within this formal framework, we have been able to seamlessly integrate modern AI models with our formal system. AI is now capable of providing deductive reasoning solutions to IMO-level plane geometry problems, just like handling other natural languages, and these proofs are readable, traceable, and verifiable."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.18021","kind":"arxiv","version":6},"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/2310.18021/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":"2310.18021","created_at":"2026-07-05T07:45:30.534088+00:00"},{"alias_kind":"arxiv_version","alias_value":"2310.18021v6","created_at":"2026-07-05T07:45:30.534088+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.18021","created_at":"2026-07-05T07:45:30.534088+00:00"},{"alias_kind":"pith_short_12","alias_value":"YRRB52D4XAFV","created_at":"2026-07-05T07:45:30.534088+00:00"},{"alias_kind":"pith_short_16","alias_value":"YRRB52D4XAFVLDKT","created_at":"2026-07-05T07:45:30.534088+00:00"},{"alias_kind":"pith_short_8","alias_value":"YRRB52D4","created_at":"2026-07-05T07:45:30.534088+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":4,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.16385","citing_title":"Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning","ref_index":38,"is_internal_anchor":false},{"citing_arxiv_id":"2605.16385","citing_title":"Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning","ref_index":38,"is_internal_anchor":false},{"citing_arxiv_id":"2601.13209","citing_title":"AI for Mathematics: Progress, Challenges, and Prospects","ref_index":173,"is_internal_anchor":false},{"citing_arxiv_id":"2601.21164","citing_title":"Concise Geometric Description as a Bridge: Unleashing the Potential of LLM for Plane Geometry Problem Solving","ref_index":41,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4","json":"https://pith.science/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4.json","graph_json":"https://pith.science/api/pith-number/YRRB52D4XAFVLDKTLZQA7VKYQ4/graph.json","events_json":"https://pith.science/api/pith-number/YRRB52D4XAFVLDKTLZQA7VKYQ4/events.json","paper":"https://pith.science/paper/YRRB52D4"},"agent_actions":{"view_html":"https://pith.science/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4","download_json":"https://pith.science/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4.json","view_paper":"https://pith.science/paper/YRRB52D4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2310.18021&json=true","fetch_graph":"https://pith.science/api/pith-number/YRRB52D4XAFVLDKTLZQA7VKYQ4/graph.json","fetch_events":"https://pith.science/api/pith-number/YRRB52D4XAFVLDKTLZQA7VKYQ4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4/action/storage_attestation","attest_author":"https://pith.science/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4/action/author_attestation","sign_citation":"https://pith.science/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4/action/citation_signature","submit_replication":"https://pith.science/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4/action/replication_record"}},"created_at":"2026-07-05T07:45:30.534088+00:00","updated_at":"2026-07-05T07:45:30.534088+00:00"}