{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:JSDZGJ66BO3M3ZXMWF7Z4LW5E2","short_pith_number":"pith:JSDZGJ66","schema_version":"1.0","canonical_sha256":"4c879327de0bb6cde6ecb17f9e2edd26b08940d1a035d021b91c1ab9fe229e80","source":{"kind":"arxiv","id":"2307.02502","version":1},"attestation_state":"computed","paper":{"title":"Math Agents: Computational Infrastructure, Mathematical Embedding, and Genomics","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"q-bio.OT","authors_text":"Eric Roland, Melanie Swan, Renato P. dos Santos, Takashi Kido","submitted_at":"2023-07-04T20:16:32Z","abstract_excerpt":"The advancement in generative AI could be boosted with more accessible mathematics. Beyond human-AI chat, large language models (LLMs) are emerging in programming, algorithm discovery, and theorem proving, yet their genomics application is limited. This project introduces Math Agents and mathematical embedding as fresh entries to the \"Moore's Law of Mathematics\", using a GPT-based workflow to convert equations from literature into LaTeX and Python formats. While many digital equation representations exist, there's a lack of automated large-scale evaluation tools. LLMs are pivotal as linguistic"},"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":"2307.02502","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"q-bio.OT","submitted_at":"2023-07-04T20:16:32Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"487cbdb1d8657f764a986c89ee981067fe6f3f263a4a8c6c0cb1ebe6486bc534","abstract_canon_sha256":"dc8b146b7a6e138967da2dd0b1941556c8d2270a7de9323f0919c8ba649d3884"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:28:20.869533Z","signature_b64":"cOJTqZSp2a+4PYmwVBKvHRXjmIIQznw1+7IBmfmcrFuUbtHOhBF/C49kqumPrktiDc8k6zmmPNXCwXMrt46PBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4c879327de0bb6cde6ecb17f9e2edd26b08940d1a035d021b91c1ab9fe229e80","last_reissued_at":"2026-07-05T06:28:20.869042Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:28:20.869042Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Math Agents: Computational Infrastructure, Mathematical Embedding, and Genomics","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"q-bio.OT","authors_text":"Eric Roland, Melanie Swan, Renato P. dos Santos, Takashi Kido","submitted_at":"2023-07-04T20:16:32Z","abstract_excerpt":"The advancement in generative AI could be boosted with more accessible mathematics. Beyond human-AI chat, large language models (LLMs) are emerging in programming, algorithm discovery, and theorem proving, yet their genomics application is limited. This project introduces Math Agents and mathematical embedding as fresh entries to the \"Moore's Law of Mathematics\", using a GPT-based workflow to convert equations from literature into LaTeX and Python formats. While many digital equation representations exist, there's a lack of automated large-scale evaluation tools. LLMs are pivotal as linguistic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.02502","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/2307.02502/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":"2307.02502","created_at":"2026-07-05T06:28:20.869103+00:00"},{"alias_kind":"arxiv_version","alias_value":"2307.02502v1","created_at":"2026-07-05T06:28:20.869103+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.02502","created_at":"2026-07-05T06:28:20.869103+00:00"},{"alias_kind":"pith_short_12","alias_value":"JSDZGJ66BO3M","created_at":"2026-07-05T06:28:20.869103+00:00"},{"alias_kind":"pith_short_16","alias_value":"JSDZGJ66BO3M3ZXM","created_at":"2026-07-05T06:28:20.869103+00:00"},{"alias_kind":"pith_short_8","alias_value":"JSDZGJ66","created_at":"2026-07-05T06:28:20.869103+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2308.11432","citing_title":"A Survey on Large Language Model based Autonomous Agents","ref_index":116,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2","json":"https://pith.science/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2.json","graph_json":"https://pith.science/api/pith-number/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/graph.json","events_json":"https://pith.science/api/pith-number/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/events.json","paper":"https://pith.science/paper/JSDZGJ66"},"agent_actions":{"view_html":"https://pith.science/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2","download_json":"https://pith.science/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2.json","view_paper":"https://pith.science/paper/JSDZGJ66","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2307.02502&json=true","fetch_graph":"https://pith.science/api/pith-number/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/graph.json","fetch_events":"https://pith.science/api/pith-number/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/action/storage_attestation","attest_author":"https://pith.science/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/action/author_attestation","sign_citation":"https://pith.science/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/action/citation_signature","submit_replication":"https://pith.science/pith/JSDZGJ66BO3M3ZXMWF7Z4LW5E2/action/replication_record"}},"created_at":"2026-07-05T06:28:20.869103+00:00","updated_at":"2026-07-05T06:28:20.869103+00:00"}