{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:K5DCLXFT5MWD7E4S53E5NIYUC2","short_pith_number":"pith:K5DCLXFT","schema_version":"1.0","canonical_sha256":"574625dcb3eb2c3f9392eec9d6a31416b6bac2af95e33e59ce3d1ed4fa173bd5","source":{"kind":"arxiv","id":"2605.16385","version":1},"attestation_state":"computed","paper":{"title":"Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.CV","authors_text":"Bin Dong, Haoyu Cheng, Qiufeng Wang, Ruoran Xu","submitted_at":"2026-05-11T13:42:41Z","abstract_excerpt":"Geometric problem solving, as a typical multimodal reasoning problem, has attracted much attention and made great progress recently, however most of works focus on plane geometry while usually fail in solid geometry due to 3D spatial diagrams and complex reasoning. To bridge this gap, we introduce Hilbert-Geo, the first unified formal language framework for solid geometry, including an extensive predicate library and a dedicated theorem bank. Based on this framework, we propose a Parse2Reason method containing two steps of first parsing then reasoning. In the parsing step, we utilize condition"},"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":"2605.16385","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2026-05-11T13:42:41Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"9bb31664d49997fb36d4f72d9f1db6c62d35ea2839872c12daf58ebd87ea7c9b","abstract_canon_sha256":"846170f6079c87827598f4934f0a4b1017670443f2ac7014794df362ec0228d2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:02:19.576189Z","signature_b64":"8+VlYYi6TKw4SjdqiPTh4zIBUh1TWCEorCTgPILDATmOWMJpcnz8ygzEJ4Zv1dRGmhNGIZwu7lWuoYAe2JxIDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"574625dcb3eb2c3f9392eec9d6a31416b6bac2af95e33e59ce3d1ed4fa173bd5","last_reissued_at":"2026-05-20T00:02:19.575575Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:02:19.575575Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.CV","authors_text":"Bin Dong, Haoyu Cheng, Qiufeng Wang, Ruoran Xu","submitted_at":"2026-05-11T13:42:41Z","abstract_excerpt":"Geometric problem solving, as a typical multimodal reasoning problem, has attracted much attention and made great progress recently, however most of works focus on plane geometry while usually fail in solid geometry due to 3D spatial diagrams and complex reasoning. To bridge this gap, we introduce Hilbert-Geo, the first unified formal language framework for solid geometry, including an extensive predicate library and a dedicated theorem bank. Based on this framework, we propose a Parse2Reason method containing two steps of first parsing then reasoning. In the parsing step, we utilize condition"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.16385","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/2605.16385/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"ai_meta_artifact","ran_at":"2026-05-19T19:34:36.611458Z","status":"skipped","version":"1.0.0","findings_count":0}],"snapshot_sha256":"c8c0f41d9ae205b7d408efdda1108908656e033053246352d3faec329346bff4"},"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":"2605.16385","created_at":"2026-05-20T00:02:19.575674+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.16385v1","created_at":"2026-05-20T00:02:19.575674+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.16385","created_at":"2026-05-20T00:02:19.575674+00:00"},{"alias_kind":"pith_short_12","alias_value":"K5DCLXFT5MWD","created_at":"2026-05-20T00:02:19.575674+00:00"},{"alias_kind":"pith_short_16","alias_value":"K5DCLXFT5MWD7E4S","created_at":"2026-05-20T00:02:19.575674+00:00"},{"alias_kind":"pith_short_8","alias_value":"K5DCLXFT","created_at":"2026-05-20T00:02:19.575674+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/K5DCLXFT5MWD7E4S53E5NIYUC2","json":"https://pith.science/pith/K5DCLXFT5MWD7E4S53E5NIYUC2.json","graph_json":"https://pith.science/api/pith-number/K5DCLXFT5MWD7E4S53E5NIYUC2/graph.json","events_json":"https://pith.science/api/pith-number/K5DCLXFT5MWD7E4S53E5NIYUC2/events.json","paper":"https://pith.science/paper/K5DCLXFT"},"agent_actions":{"view_html":"https://pith.science/pith/K5DCLXFT5MWD7E4S53E5NIYUC2","download_json":"https://pith.science/pith/K5DCLXFT5MWD7E4S53E5NIYUC2.json","view_paper":"https://pith.science/paper/K5DCLXFT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.16385&json=true","fetch_graph":"https://pith.science/api/pith-number/K5DCLXFT5MWD7E4S53E5NIYUC2/graph.json","fetch_events":"https://pith.science/api/pith-number/K5DCLXFT5MWD7E4S53E5NIYUC2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/K5DCLXFT5MWD7E4S53E5NIYUC2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/K5DCLXFT5MWD7E4S53E5NIYUC2/action/storage_attestation","attest_author":"https://pith.science/pith/K5DCLXFT5MWD7E4S53E5NIYUC2/action/author_attestation","sign_citation":"https://pith.science/pith/K5DCLXFT5MWD7E4S53E5NIYUC2/action/citation_signature","submit_replication":"https://pith.science/pith/K5DCLXFT5MWD7E4S53E5NIYUC2/action/replication_record"}},"created_at":"2026-05-20T00:02:19.575674+00:00","updated_at":"2026-05-20T00:02:19.575674+00:00"}