{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:IPR2YSJPONEPFEJMY7336VOESY","short_pith_number":"pith:IPR2YSJP","canonical_record":{"source":{"id":"2104.02899","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-07T03:50:11Z","cross_cats_sorted":[],"title_canon_sha256":"fb0a0a530e814ac9868ea375ae64b7df698101fc505f5e66df54d387cce8b633","abstract_canon_sha256":"f1fb0fe407d0c0f4d2fb5d2f274ea9e9f4659ae776032986d4bf781cc17ac779"},"schema_version":"1.0"},"canonical_sha256":"43e3ac492f7348f2912cc7f7bf55c49603a9c3d961cbd7adabac725c4d6e6a4b","source":{"kind":"arxiv","id":"2104.02899","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.02899","created_at":"2026-07-05T02:30:00Z"},{"alias_kind":"arxiv_version","alias_value":"2104.02899v1","created_at":"2026-07-05T02:30:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.02899","created_at":"2026-07-05T02:30:00Z"},{"alias_kind":"pith_short_12","alias_value":"IPR2YSJPONEP","created_at":"2026-07-05T02:30:00Z"},{"alias_kind":"pith_short_16","alias_value":"IPR2YSJPONEPFEJM","created_at":"2026-07-05T02:30:00Z"},{"alias_kind":"pith_short_8","alias_value":"IPR2YSJP","created_at":"2026-07-05T02:30:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:IPR2YSJPONEPFEJMY7336VOESY","target":"record","payload":{"canonical_record":{"source":{"id":"2104.02899","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-07T03:50:11Z","cross_cats_sorted":[],"title_canon_sha256":"fb0a0a530e814ac9868ea375ae64b7df698101fc505f5e66df54d387cce8b633","abstract_canon_sha256":"f1fb0fe407d0c0f4d2fb5d2f274ea9e9f4659ae776032986d4bf781cc17ac779"},"schema_version":"1.0"},"canonical_sha256":"43e3ac492f7348f2912cc7f7bf55c49603a9c3d961cbd7adabac725c4d6e6a4b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:30:00.906349Z","signature_b64":"Gn5lBb3jToTRDFCejdkYcSEo2JhdBp8SjfEujxnlDTqR9s8FRJKtcOGEQhDVUMtsI7UsqmaT48/5GM42rxXjCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"43e3ac492f7348f2912cc7f7bf55c49603a9c3d961cbd7adabac725c4d6e6a4b","last_reissued_at":"2026-07-05T02:30:00.905926Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:30:00.905926Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2104.02899","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-05T02:30:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9sN8gB/kjzEn/DwSGhmDwcpK/XESLkLu2BE7B7Yoqv0Sgl2hUuJBKTajoVUPKs3n7Hwv+l7m7jcBmUAWoIAEBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T23:30:48.128273Z"},"content_sha256":"968a73f7796fe29215e1b938d4a30a9f61efbc92a3d8ac86e8c84f40a7598d7f","schema_version":"1.0","event_id":"sha256:968a73f7796fe29215e1b938d4a30a9f61efbc92a3d8ac86e8c84f40a7598d7f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:IPR2YSJPONEPFEJMY7336VOESY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Alexander Ororbia, Ankur Mali, C. Lee Giles, Daniel Kifer","submitted_at":"2021-04-07T03:50:11Z","abstract_excerpt":"Automated mathematical reasoning is a challenging problem that requires an agent to learn algebraic patterns that contain long-range dependencies. Two particular tasks that test this type of reasoning are (1) mathematical equation verification, which requires determining whether trigonometric and linear algebraic statements are valid identities or not, and (2) equation completion, which entails filling in a blank within an expression to make it true. Solving these tasks with deep learning requires that the neural model learn how to manipulate and compose various algebraic symbols, carrying thi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.02899","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/2104.02899/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:30:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wH1+13sVqOXYPcVsXIjA6UVvH9N74cwVsdtAcvPtNHYTWdDN0X8rplFaz0JTp6fO1Ozeb6z/4eFFRYj6T3w0AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T23:30:48.128953Z"},"content_sha256":"fdb5e86a8f6d8eb9c32d4eea63912c0531a1d7d0ca6af518c695a8bd0f11494b","schema_version":"1.0","event_id":"sha256:fdb5e86a8f6d8eb9c32d4eea63912c0531a1d7d0ca6af518c695a8bd0f11494b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IPR2YSJPONEPFEJMY7336VOESY/bundle.json","state_url":"https://pith.science/pith/IPR2YSJPONEPFEJMY7336VOESY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IPR2YSJPONEPFEJMY7336VOESY/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-05T23:30:48Z","links":{"resolver":"https://pith.science/pith/IPR2YSJPONEPFEJMY7336VOESY","bundle":"https://pith.science/pith/IPR2YSJPONEPFEJMY7336VOESY/bundle.json","state":"https://pith.science/pith/IPR2YSJPONEPFEJMY7336VOESY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IPR2YSJPONEPFEJMY7336VOESY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:IPR2YSJPONEPFEJMY7336VOESY","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":"f1fb0fe407d0c0f4d2fb5d2f274ea9e9f4659ae776032986d4bf781cc17ac779","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-07T03:50:11Z","title_canon_sha256":"fb0a0a530e814ac9868ea375ae64b7df698101fc505f5e66df54d387cce8b633"},"schema_version":"1.0","source":{"id":"2104.02899","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.02899","created_at":"2026-07-05T02:30:00Z"},{"alias_kind":"arxiv_version","alias_value":"2104.02899v1","created_at":"2026-07-05T02:30:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.02899","created_at":"2026-07-05T02:30:00Z"},{"alias_kind":"pith_short_12","alias_value":"IPR2YSJPONEP","created_at":"2026-07-05T02:30:00Z"},{"alias_kind":"pith_short_16","alias_value":"IPR2YSJPONEPFEJM","created_at":"2026-07-05T02:30:00Z"},{"alias_kind":"pith_short_8","alias_value":"IPR2YSJP","created_at":"2026-07-05T02:30:00Z"}],"graph_snapshots":[{"event_id":"sha256:fdb5e86a8f6d8eb9c32d4eea63912c0531a1d7d0ca6af518c695a8bd0f11494b","target":"graph","created_at":"2026-07-05T02:30:00Z","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/2104.02899/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automated mathematical reasoning is a challenging problem that requires an agent to learn algebraic patterns that contain long-range dependencies. Two particular tasks that test this type of reasoning are (1) mathematical equation verification, which requires determining whether trigonometric and linear algebraic statements are valid identities or not, and (2) equation completion, which entails filling in a blank within an expression to make it true. Solving these tasks with deep learning requires that the neural model learn how to manipulate and compose various algebraic symbols, carrying thi","authors_text":"Alexander Ororbia, Ankur Mali, C. Lee Giles, Daniel Kifer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-07T03:50:11Z","title":"Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.02899","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:968a73f7796fe29215e1b938d4a30a9f61efbc92a3d8ac86e8c84f40a7598d7f","target":"record","created_at":"2026-07-05T02:30:00Z","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":"f1fb0fe407d0c0f4d2fb5d2f274ea9e9f4659ae776032986d4bf781cc17ac779","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-04-07T03:50:11Z","title_canon_sha256":"fb0a0a530e814ac9868ea375ae64b7df698101fc505f5e66df54d387cce8b633"},"schema_version":"1.0","source":{"id":"2104.02899","kind":"arxiv","version":1}},"canonical_sha256":"43e3ac492f7348f2912cc7f7bf55c49603a9c3d961cbd7adabac725c4d6e6a4b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"43e3ac492f7348f2912cc7f7bf55c49603a9c3d961cbd7adabac725c4d6e6a4b","first_computed_at":"2026-07-05T02:30:00.905926Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:30:00.905926Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Gn5lBb3jToTRDFCejdkYcSEo2JhdBp8SjfEujxnlDTqR9s8FRJKtcOGEQhDVUMtsI7UsqmaT48/5GM42rxXjCg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:30:00.906349Z","signed_message":"canonical_sha256_bytes"},"source_id":"2104.02899","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:968a73f7796fe29215e1b938d4a30a9f61efbc92a3d8ac86e8c84f40a7598d7f","sha256:fdb5e86a8f6d8eb9c32d4eea63912c0531a1d7d0ca6af518c695a8bd0f11494b"],"state_sha256":"3b0cfa9b49414d01df8660df82ef8a8e03ee42ccecd4534a8bc51648b26f246e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rNTrczvwvuynzZBlvFB21SJbioKTZqSc6Qh+bLkXfoZrDbON0XmcPB/tISN70CXPuhP0XM4AMEBfRLki/crbDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T23:30:48.133985Z","bundle_sha256":"e693bf812bc82b6a2866c787e8660692536c130efd3dde98f88dacef12780f19"}}