{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:SSOE3XGNNLNNIHDE3SAVIM6Z4J","short_pith_number":"pith:SSOE3XGN","schema_version":"1.0","canonical_sha256":"949c4ddccd6adad41c64dc815433d9e26f1386cb917e69bc5414938a7c6ef65e","source":{"kind":"arxiv","id":"2212.10535","version":2},"attestation_state":"computed","paper":{"title":"A Survey of Deep Learning for Mathematical Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL","cs.CV","cs.LG"],"primary_cat":"cs.AI","authors_text":"Kai-Wei Chang, Liang Qiu, Pan Lu, Sean Welleck, Wenhao Yu","submitted_at":"2022-12-20T18:46:16Z","abstract_excerpt":"Mathematical reasoning is a fundamental aspect of human intelligence and is applicable in various fields, including science, engineering, finance, and everyday life. The development of artificial intelligence (AI) systems capable of solving math problems and proving theorems has garnered significant interest in the fields of machine learning and natural language processing. For example, mathematics serves as a testbed for aspects of reasoning that are challenging for powerful deep learning models, driving new algorithmic and modeling advances. On the other hand, recent advances in large-scale "},"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":"2212.10535","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-12-20T18:46:16Z","cross_cats_sorted":["cs.CL","cs.CV","cs.LG"],"title_canon_sha256":"2d833e576659098b1eb14fb1eeca8196d4fdaf0ec1f671a7820387214c52080a","abstract_canon_sha256":"b459811f83ceb2f48df16391a989292a831a5bcda6c3453120d1e83d9c175032"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:23:37.424485Z","signature_b64":"ZxlKh8cVxryoQ4p7fSMot53giOXl/vEKp1ooVMl3B2KjORWEJBaMdoc3kHHmCviBGN4yrtTOa5/6ygss4e9MCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"949c4ddccd6adad41c64dc815433d9e26f1386cb917e69bc5414938a7c6ef65e","last_reissued_at":"2026-07-05T06:23:37.423971Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:23:37.423971Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Survey of Deep Learning for Mathematical Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL","cs.CV","cs.LG"],"primary_cat":"cs.AI","authors_text":"Kai-Wei Chang, Liang Qiu, Pan Lu, Sean Welleck, Wenhao Yu","submitted_at":"2022-12-20T18:46:16Z","abstract_excerpt":"Mathematical reasoning is a fundamental aspect of human intelligence and is applicable in various fields, including science, engineering, finance, and everyday life. The development of artificial intelligence (AI) systems capable of solving math problems and proving theorems has garnered significant interest in the fields of machine learning and natural language processing. For example, mathematics serves as a testbed for aspects of reasoning that are challenging for powerful deep learning models, driving new algorithmic and modeling advances. On the other hand, recent advances in large-scale "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.10535","kind":"arxiv","version":2},"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/2212.10535/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":"2212.10535","created_at":"2026-07-05T06:23:37.424059+00:00"},{"alias_kind":"arxiv_version","alias_value":"2212.10535v2","created_at":"2026-07-05T06:23:37.424059+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.10535","created_at":"2026-07-05T06:23:37.424059+00:00"},{"alias_kind":"pith_short_12","alias_value":"SSOE3XGNNLNN","created_at":"2026-07-05T06:23:37.424059+00:00"},{"alias_kind":"pith_short_16","alias_value":"SSOE3XGNNLNNIHDE","created_at":"2026-07-05T06:23:37.424059+00:00"},{"alias_kind":"pith_short_8","alias_value":"SSOE3XGN","created_at":"2026-07-05T06:23:37.424059+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":3,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2410.04509","citing_title":"ErrorRadar: Benchmarking Complex Mathematical Reasoning of Multimodal Large Language Models Via Error Detection","ref_index":40,"is_internal_anchor":false},{"citing_arxiv_id":"2502.02871","citing_title":"Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning","ref_index":118,"is_internal_anchor":false},{"citing_arxiv_id":"2303.18223","citing_title":"A Survey of Large Language Models","ref_index":51,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SSOE3XGNNLNNIHDE3SAVIM6Z4J","json":"https://pith.science/pith/SSOE3XGNNLNNIHDE3SAVIM6Z4J.json","graph_json":"https://pith.science/api/pith-number/SSOE3XGNNLNNIHDE3SAVIM6Z4J/graph.json","events_json":"https://pith.science/api/pith-number/SSOE3XGNNLNNIHDE3SAVIM6Z4J/events.json","paper":"https://pith.science/paper/SSOE3XGN"},"agent_actions":{"view_html":"https://pith.science/pith/SSOE3XGNNLNNIHDE3SAVIM6Z4J","download_json":"https://pith.science/pith/SSOE3XGNNLNNIHDE3SAVIM6Z4J.json","view_paper":"https://pith.science/paper/SSOE3XGN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2212.10535&json=true","fetch_graph":"https://pith.science/api/pith-number/SSOE3XGNNLNNIHDE3SAVIM6Z4J/graph.json","fetch_events":"https://pith.science/api/pith-number/SSOE3XGNNLNNIHDE3SAVIM6Z4J/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SSOE3XGNNLNNIHDE3SAVIM6Z4J/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SSOE3XGNNLNNIHDE3SAVIM6Z4J/action/storage_attestation","attest_author":"https://pith.science/pith/SSOE3XGNNLNNIHDE3SAVIM6Z4J/action/author_attestation","sign_citation":"https://pith.science/pith/SSOE3XGNNLNNIHDE3SAVIM6Z4J/action/citation_signature","submit_replication":"https://pith.science/pith/SSOE3XGNNLNNIHDE3SAVIM6Z4J/action/replication_record"}},"created_at":"2026-07-05T06:23:37.424059+00:00","updated_at":"2026-07-05T06:23:37.424059+00:00"}