{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:TGT37NDHNV4GADII5GPDHZVS3W","short_pith_number":"pith:TGT37NDH","canonical_record":{"source":{"id":"2105.04165","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2021-05-10T07:46:55Z","cross_cats_sorted":["cs.AI","cs.CV","cs.FL"],"title_canon_sha256":"d50611091f500b7d08f97cd7646a0e4454b4fd3a07c3cd05a552f09cc0b740ee","abstract_canon_sha256":"0e80ff4b409fd3142c015ff36aaff759489690ca52588c497fa5d1f86ea1ba2c"},"schema_version":"1.0"},"canonical_sha256":"99a7bfb4676d78600d08e99e33e6b2ddb3193ab1d11987583029ebf833ca261d","source":{"kind":"arxiv","id":"2105.04165","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.04165","created_at":"2026-07-05T02:59:37Z"},{"alias_kind":"arxiv_version","alias_value":"2105.04165v3","created_at":"2026-07-05T02:59:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.04165","created_at":"2026-07-05T02:59:37Z"},{"alias_kind":"pith_short_12","alias_value":"TGT37NDHNV4G","created_at":"2026-07-05T02:59:37Z"},{"alias_kind":"pith_short_16","alias_value":"TGT37NDHNV4GADII","created_at":"2026-07-05T02:59:37Z"},{"alias_kind":"pith_short_8","alias_value":"TGT37NDH","created_at":"2026-07-05T02:59:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:TGT37NDHNV4GADII5GPDHZVS3W","target":"record","payload":{"canonical_record":{"source":{"id":"2105.04165","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2021-05-10T07:46:55Z","cross_cats_sorted":["cs.AI","cs.CV","cs.FL"],"title_canon_sha256":"d50611091f500b7d08f97cd7646a0e4454b4fd3a07c3cd05a552f09cc0b740ee","abstract_canon_sha256":"0e80ff4b409fd3142c015ff36aaff759489690ca52588c497fa5d1f86ea1ba2c"},"schema_version":"1.0"},"canonical_sha256":"99a7bfb4676d78600d08e99e33e6b2ddb3193ab1d11987583029ebf833ca261d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:59:37.426156Z","signature_b64":"xcTZ9DrlwU9rbhIJPpdATbOBKJn6VM9kUZXFIONqvlR7g/KBEymTGZudfB6sumBGqIBwduTWMa5L1sxi83tPAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"99a7bfb4676d78600d08e99e33e6b2ddb3193ab1d11987583029ebf833ca261d","last_reissued_at":"2026-07-05T02:59:37.425657Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:59:37.425657Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2105.04165","source_version":3,"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-05T02:59:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9qg8XHTmcQCi7fwaCyPffRWEpxium7Spc9Ece+83TTsPhNlrZAYQ6jz576V68I9PyeCVymTtcbOhhtgk5q85Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T18:28:58.880890Z"},"content_sha256":"1b2cc49579f90a36af9c74be8aa9aade2d43c8762f85ad85aa3d719d86c414eb","schema_version":"1.0","event_id":"sha256:1b2cc49579f90a36af9c74be8aa9aade2d43c8762f85ad85aa3d719d86c414eb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:TGT37NDHNV4GADII5GPDHZVS3W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.CV","cs.FL"],"primary_cat":"cs.CL","authors_text":"Liang Qiu, Pan Lu, Ran Gong, Shibiao Jiang, Siyuan Huang, Song-Chun Zhu, Xiaodan Liang","submitted_at":"2021-05-10T07:46:55Z","abstract_excerpt":"Geometry problem solving has attracted much attention in the NLP community recently. The task is challenging as it requires abstract problem understanding and symbolic reasoning with axiomatic knowledge. However, current datasets are either small in scale or not publicly available. Thus, we construct a new large-scale benchmark, Geometry3K, consisting of 3,002 geometry problems with dense annotation in formal language. We further propose a novel geometry solving approach with formal language and symbolic reasoning, called Interpretable Geometry Problem Solver (Inter-GPS). Inter-GPS first parse"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.04165","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/2105.04165/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-05T02:59:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pe0IhlXB6GwUPgI2c3PVA3BsxxP/yDt6X3rEYIM5QLCljvnnSKCS+1wAhbANDcEP7JZg/VxhR3Qfll93heXHCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T18:28:58.881556Z"},"content_sha256":"d6a364de9c8211048d496d2b60495533d7ee37d1e0d2c5d5590225ed5491f074","schema_version":"1.0","event_id":"sha256:d6a364de9c8211048d496d2b60495533d7ee37d1e0d2c5d5590225ed5491f074"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TGT37NDHNV4GADII5GPDHZVS3W/bundle.json","state_url":"https://pith.science/pith/TGT37NDHNV4GADII5GPDHZVS3W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TGT37NDHNV4GADII5GPDHZVS3W/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-07T18:28:58Z","links":{"resolver":"https://pith.science/pith/TGT37NDHNV4GADII5GPDHZVS3W","bundle":"https://pith.science/pith/TGT37NDHNV4GADII5GPDHZVS3W/bundle.json","state":"https://pith.science/pith/TGT37NDHNV4GADII5GPDHZVS3W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TGT37NDHNV4GADII5GPDHZVS3W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:TGT37NDHNV4GADII5GPDHZVS3W","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":"0e80ff4b409fd3142c015ff36aaff759489690ca52588c497fa5d1f86ea1ba2c","cross_cats_sorted":["cs.AI","cs.CV","cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2021-05-10T07:46:55Z","title_canon_sha256":"d50611091f500b7d08f97cd7646a0e4454b4fd3a07c3cd05a552f09cc0b740ee"},"schema_version":"1.0","source":{"id":"2105.04165","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.04165","created_at":"2026-07-05T02:59:37Z"},{"alias_kind":"arxiv_version","alias_value":"2105.04165v3","created_at":"2026-07-05T02:59:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.04165","created_at":"2026-07-05T02:59:37Z"},{"alias_kind":"pith_short_12","alias_value":"TGT37NDHNV4G","created_at":"2026-07-05T02:59:37Z"},{"alias_kind":"pith_short_16","alias_value":"TGT37NDHNV4GADII","created_at":"2026-07-05T02:59:37Z"},{"alias_kind":"pith_short_8","alias_value":"TGT37NDH","created_at":"2026-07-05T02:59:37Z"}],"graph_snapshots":[{"event_id":"sha256:d6a364de9c8211048d496d2b60495533d7ee37d1e0d2c5d5590225ed5491f074","target":"graph","created_at":"2026-07-05T02:59:37Z","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/2105.04165/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Geometry problem solving has attracted much attention in the NLP community recently. The task is challenging as it requires abstract problem understanding and symbolic reasoning with axiomatic knowledge. However, current datasets are either small in scale or not publicly available. Thus, we construct a new large-scale benchmark, Geometry3K, consisting of 3,002 geometry problems with dense annotation in formal language. We further propose a novel geometry solving approach with formal language and symbolic reasoning, called Interpretable Geometry Problem Solver (Inter-GPS). Inter-GPS first parse","authors_text":"Liang Qiu, Pan Lu, Ran Gong, Shibiao Jiang, Siyuan Huang, Song-Chun Zhu, Xiaodan Liang","cross_cats":["cs.AI","cs.CV","cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.04165","kind":"arxiv","version":3},"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:1b2cc49579f90a36af9c74be8aa9aade2d43c8762f85ad85aa3d719d86c414eb","target":"record","created_at":"2026-07-05T02:59:37Z","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":"0e80ff4b409fd3142c015ff36aaff759489690ca52588c497fa5d1f86ea1ba2c","cross_cats_sorted":["cs.AI","cs.CV","cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2021-05-10T07:46:55Z","title_canon_sha256":"d50611091f500b7d08f97cd7646a0e4454b4fd3a07c3cd05a552f09cc0b740ee"},"schema_version":"1.0","source":{"id":"2105.04165","kind":"arxiv","version":3}},"canonical_sha256":"99a7bfb4676d78600d08e99e33e6b2ddb3193ab1d11987583029ebf833ca261d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"99a7bfb4676d78600d08e99e33e6b2ddb3193ab1d11987583029ebf833ca261d","first_computed_at":"2026-07-05T02:59:37.425657Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:59:37.425657Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xcTZ9DrlwU9rbhIJPpdATbOBKJn6VM9kUZXFIONqvlR7g/KBEymTGZudfB6sumBGqIBwduTWMa5L1sxi83tPAw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:59:37.426156Z","signed_message":"canonical_sha256_bytes"},"source_id":"2105.04165","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1b2cc49579f90a36af9c74be8aa9aade2d43c8762f85ad85aa3d719d86c414eb","sha256:d6a364de9c8211048d496d2b60495533d7ee37d1e0d2c5d5590225ed5491f074"],"state_sha256":"08051669ac026dca3ddfefd45e7d26b0b3b937c27b915fece30de61427b1aa2d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7mLzHqZ8X7bNvCYCWArr60/XGiEqSh57Tuxl0GMmfnZbBlrqhQ/cZA+o3ZkLGMhKmCq3g1cs3aizkhVcN/+ADg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T18:28:58.887784Z","bundle_sha256":"a42c7d379c6a4f47f13b29736f9dc47b76c690ac3d144ce7d8bee59186339474"}}