{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:3NGT5RAC7WOLMH6OTKJBUHJBBR","short_pith_number":"pith:3NGT5RAC","schema_version":"1.0","canonical_sha256":"db4d3ec402fd9cb61fce9a921a1d210c74148ab975ac230f26b407a4eac251aa","source":{"kind":"arxiv","id":"1509.07164","version":1},"attestation_state":"computed","paper":{"title":"The Stan Math Library: Reverse-Mode Automatic Differentiation in C++","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.MS","authors_text":"Bob Carpenter, Daniel Lee, Marcus Brubaker, Matthew D. Hoffman, Michael Betancourt, Peter Li","submitted_at":"2015-09-23T21:34:46Z","abstract_excerpt":"As computational challenges in optimization and statistical inference grow ever harder, algorithms that utilize derivatives are becoming increasingly more important. The implementation of the derivatives that make these algorithms so powerful, however, is a substantial user burden and the practicality of these algorithms depends critically on tools like automatic differentiation that remove the implementation burden entirely. The Stan Math Library is a C++, reverse-mode automatic differentiation library designed to be usable, extensive and extensible, efficient, scalable, stable, portable, and"},"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":"1509.07164","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2015-09-23T21:34:46Z","cross_cats_sorted":[],"title_canon_sha256":"a636d4506626fd61d76a6645e46be1418fb68eb41d5f3d56aaad0f4dbc0e46a7","abstract_canon_sha256":"75a9fc8eb742025943201f3fc88854bdc2f49d6d9b5938390bbeca51d65b59a4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:32:11.211728Z","signature_b64":"gizHCCG23fxDBMESOtzClmufE/JnyB9aBILgWPuiE8tqA0UPITZu6u7oemZ1U0MNuZ6KZRUUGytcovt/j+/SAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db4d3ec402fd9cb61fce9a921a1d210c74148ab975ac230f26b407a4eac251aa","last_reissued_at":"2026-05-18T01:32:11.211118Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:32:11.211118Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Stan Math Library: Reverse-Mode Automatic Differentiation in C++","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.MS","authors_text":"Bob Carpenter, Daniel Lee, Marcus Brubaker, Matthew D. Hoffman, Michael Betancourt, Peter Li","submitted_at":"2015-09-23T21:34:46Z","abstract_excerpt":"As computational challenges in optimization and statistical inference grow ever harder, algorithms that utilize derivatives are becoming increasingly more important. The implementation of the derivatives that make these algorithms so powerful, however, is a substantial user burden and the practicality of these algorithms depends critically on tools like automatic differentiation that remove the implementation burden entirely. The Stan Math Library is a C++, reverse-mode automatic differentiation library designed to be usable, extensive and extensible, efficient, scalable, stable, portable, and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.07164","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1509.07164","created_at":"2026-05-18T01:32:11.211208+00:00"},{"alias_kind":"arxiv_version","alias_value":"1509.07164v1","created_at":"2026-05-18T01:32:11.211208+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.07164","created_at":"2026-05-18T01:32:11.211208+00:00"},{"alias_kind":"pith_short_12","alias_value":"3NGT5RAC7WOL","created_at":"2026-05-18T12:29:02.477457+00:00"},{"alias_kind":"pith_short_16","alias_value":"3NGT5RAC7WOLMH6O","created_at":"2026-05-18T12:29:02.477457+00:00"},{"alias_kind":"pith_short_8","alias_value":"3NGT5RAC","created_at":"2026-05-18T12:29:02.477457+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":4,"internal_anchor_count":4,"sample":[{"citing_arxiv_id":"1906.11365","citing_title":"Parameter Estimation and Uncertainty Quantification for Systems Biology Models","ref_index":31,"is_internal_anchor":true},{"citing_arxiv_id":"2101.06757","citing_title":"Higher Order Automatic Differentiation of Higher Order Functions","ref_index":8,"is_internal_anchor":true},{"citing_arxiv_id":"2103.15776","citing_title":"CHAD: Combinatory Homomorphic Automatic Differentiation","ref_index":9,"is_internal_anchor":true},{"citing_arxiv_id":"1806.07366","citing_title":"Neural Ordinary Differential Equations","ref_index":7,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3NGT5RAC7WOLMH6OTKJBUHJBBR","json":"https://pith.science/pith/3NGT5RAC7WOLMH6OTKJBUHJBBR.json","graph_json":"https://pith.science/api/pith-number/3NGT5RAC7WOLMH6OTKJBUHJBBR/graph.json","events_json":"https://pith.science/api/pith-number/3NGT5RAC7WOLMH6OTKJBUHJBBR/events.json","paper":"https://pith.science/paper/3NGT5RAC"},"agent_actions":{"view_html":"https://pith.science/pith/3NGT5RAC7WOLMH6OTKJBUHJBBR","download_json":"https://pith.science/pith/3NGT5RAC7WOLMH6OTKJBUHJBBR.json","view_paper":"https://pith.science/paper/3NGT5RAC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1509.07164&json=true","fetch_graph":"https://pith.science/api/pith-number/3NGT5RAC7WOLMH6OTKJBUHJBBR/graph.json","fetch_events":"https://pith.science/api/pith-number/3NGT5RAC7WOLMH6OTKJBUHJBBR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3NGT5RAC7WOLMH6OTKJBUHJBBR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3NGT5RAC7WOLMH6OTKJBUHJBBR/action/storage_attestation","attest_author":"https://pith.science/pith/3NGT5RAC7WOLMH6OTKJBUHJBBR/action/author_attestation","sign_citation":"https://pith.science/pith/3NGT5RAC7WOLMH6OTKJBUHJBBR/action/citation_signature","submit_replication":"https://pith.science/pith/3NGT5RAC7WOLMH6OTKJBUHJBBR/action/replication_record"}},"created_at":"2026-05-18T01:32:11.211208+00:00","updated_at":"2026-05-18T01:32:11.211208+00:00"}