{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:ZHIHGHVH4CBOIC5D55MZJ5ZG3C","short_pith_number":"pith:ZHIHGHVH","canonical_record":{"source":{"id":"1905.13319","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-05-30T21:28:12Z","cross_cats_sorted":[],"title_canon_sha256":"b912ec0473983e4002025b9d0bb691dcc60e9e0518955f935640b3376ffbfe67","abstract_canon_sha256":"b2c92f0b57fb8e411fc093d8a5db941853bfdd61bd8f348e7a9a84c3a1e2f2b4"},"schema_version":"1.0"},"canonical_sha256":"c9d0731ea7e082e40ba3ef5994f726d88a0829521e98127ddbe461fb137846ac","source":{"kind":"arxiv","id":"1905.13319","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.13319","created_at":"2026-05-17T23:44:35Z"},{"alias_kind":"arxiv_version","alias_value":"1905.13319v1","created_at":"2026-05-17T23:44:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.13319","created_at":"2026-05-17T23:44:35Z"},{"alias_kind":"pith_short_12","alias_value":"ZHIHGHVH4CBO","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"ZHIHGHVH4CBOIC5D","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"ZHIHGHVH","created_at":"2026-05-18T12:33:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:ZHIHGHVH4CBOIC5D55MZJ5ZG3C","target":"record","payload":{"canonical_record":{"source":{"id":"1905.13319","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-05-30T21:28:12Z","cross_cats_sorted":[],"title_canon_sha256":"b912ec0473983e4002025b9d0bb691dcc60e9e0518955f935640b3376ffbfe67","abstract_canon_sha256":"b2c92f0b57fb8e411fc093d8a5db941853bfdd61bd8f348e7a9a84c3a1e2f2b4"},"schema_version":"1.0"},"canonical_sha256":"c9d0731ea7e082e40ba3ef5994f726d88a0829521e98127ddbe461fb137846ac","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:35.319051Z","signature_b64":"yylzg7SSk/tc7dxFeUzCATHeNqRHfkCotWoY7yeYOONSXnlJMrGdE0JMql12zWgg1ErPF+p1EOc9bO8mP0uaDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c9d0731ea7e082e40ba3ef5994f726d88a0829521e98127ddbe461fb137846ac","last_reissued_at":"2026-05-17T23:44:35.318616Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:35.318616Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.13319","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-17T23:44:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lAHpxyZC25FT+uoFL58ehDroj9qRPn48xgCI+2ifcmalXLwkQrMJH6wyps/+BRRNKRWtoSOMLJ3LZVOnVSTPCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T23:38:05.243602Z"},"content_sha256":"ec599fb75dccd6687fb2f58c3235632714d2953b25de9f9c9167d69aa6edaaad","schema_version":"1.0","event_id":"sha256:ec599fb75dccd6687fb2f58c3235632714d2953b25de9f9c9167d69aa6edaaad"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:ZHIHGHVH4CBOIC5D55MZJ5ZG3C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Aida Amini, Hannaneh Hajishirzi, Peter Lin, Rik Koncel-Kedziorski, Saadia Gabriel, Yejin Choi","submitted_at":"2019-05-30T21:28:12Z","abstract_excerpt":"We introduce a large-scale dataset of math word problems and an interpretable neural math problem solver that learns to map problems to operation programs. Due to annotation challenges, current datasets in this domain have been either relatively small in scale or did not offer precise operational annotations over diverse problem types. We introduce a new representation language to model precise operation programs corresponding to each math problem that aim to improve both the performance and the interpretability of the learned models. Using this representation language, our new dataset, MathQA"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.13319","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-17T23:44:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O/skM9/6J5Z7nA0TUnIFeTYxJ3qxgc8CIPsojhPHdVyDEZ8YMNCxwUczRj9KhJfBfxfwI/bIxwkfVM77SqEPDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T23:38:05.244155Z"},"content_sha256":"800d4795c89785adea9a188aa499ff69ef1c4c9e7aad40b8d9e6b95023d6d0cb","schema_version":"1.0","event_id":"sha256:800d4795c89785adea9a188aa499ff69ef1c4c9e7aad40b8d9e6b95023d6d0cb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZHIHGHVH4CBOIC5D55MZJ5ZG3C/bundle.json","state_url":"https://pith.science/pith/ZHIHGHVH4CBOIC5D55MZJ5ZG3C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZHIHGHVH4CBOIC5D55MZJ5ZG3C/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-05T23:38:05Z","links":{"resolver":"https://pith.science/pith/ZHIHGHVH4CBOIC5D55MZJ5ZG3C","bundle":"https://pith.science/pith/ZHIHGHVH4CBOIC5D55MZJ5ZG3C/bundle.json","state":"https://pith.science/pith/ZHIHGHVH4CBOIC5D55MZJ5ZG3C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZHIHGHVH4CBOIC5D55MZJ5ZG3C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:ZHIHGHVH4CBOIC5D55MZJ5ZG3C","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":"b2c92f0b57fb8e411fc093d8a5db941853bfdd61bd8f348e7a9a84c3a1e2f2b4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-05-30T21:28:12Z","title_canon_sha256":"b912ec0473983e4002025b9d0bb691dcc60e9e0518955f935640b3376ffbfe67"},"schema_version":"1.0","source":{"id":"1905.13319","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.13319","created_at":"2026-05-17T23:44:35Z"},{"alias_kind":"arxiv_version","alias_value":"1905.13319v1","created_at":"2026-05-17T23:44:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.13319","created_at":"2026-05-17T23:44:35Z"},{"alias_kind":"pith_short_12","alias_value":"ZHIHGHVH4CBO","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"ZHIHGHVH4CBOIC5D","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"ZHIHGHVH","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:800d4795c89785adea9a188aa499ff69ef1c4c9e7aad40b8d9e6b95023d6d0cb","target":"graph","created_at":"2026-05-17T23:44:35Z","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":"We introduce a large-scale dataset of math word problems and an interpretable neural math problem solver that learns to map problems to operation programs. Due to annotation challenges, current datasets in this domain have been either relatively small in scale or did not offer precise operational annotations over diverse problem types. We introduce a new representation language to model precise operation programs corresponding to each math problem that aim to improve both the performance and the interpretability of the learned models. Using this representation language, our new dataset, MathQA","authors_text":"Aida Amini, Hannaneh Hajishirzi, Peter Lin, Rik Koncel-Kedziorski, Saadia Gabriel, Yejin Choi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-05-30T21:28:12Z","title":"MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.13319","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:ec599fb75dccd6687fb2f58c3235632714d2953b25de9f9c9167d69aa6edaaad","target":"record","created_at":"2026-05-17T23:44:35Z","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":"b2c92f0b57fb8e411fc093d8a5db941853bfdd61bd8f348e7a9a84c3a1e2f2b4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2019-05-30T21:28:12Z","title_canon_sha256":"b912ec0473983e4002025b9d0bb691dcc60e9e0518955f935640b3376ffbfe67"},"schema_version":"1.0","source":{"id":"1905.13319","kind":"arxiv","version":1}},"canonical_sha256":"c9d0731ea7e082e40ba3ef5994f726d88a0829521e98127ddbe461fb137846ac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c9d0731ea7e082e40ba3ef5994f726d88a0829521e98127ddbe461fb137846ac","first_computed_at":"2026-05-17T23:44:35.318616Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:35.318616Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yylzg7SSk/tc7dxFeUzCATHeNqRHfkCotWoY7yeYOONSXnlJMrGdE0JMql12zWgg1ErPF+p1EOc9bO8mP0uaDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:35.319051Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.13319","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ec599fb75dccd6687fb2f58c3235632714d2953b25de9f9c9167d69aa6edaaad","sha256:800d4795c89785adea9a188aa499ff69ef1c4c9e7aad40b8d9e6b95023d6d0cb"],"state_sha256":"0deb59b88a184b5886a06616b4794e97cb16b61e530c8bdd03747e3e047e16f6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ulP+NXiUkPMZq2Jdb7O/Vhkk3JWNffcUYG7Fm+91wnyMlpXN9G/s9/vxpzVSQJrSMatuZ99e60w5VqFz16mzCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T23:38:05.247425Z","bundle_sha256":"b70b4397db796bb58d1b0c426bb35486904cdbcd83f90852b30d6502a4dc22c4"}}