{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:D2BT4Y7JFAOULBEURA7B6QU2KP","short_pith_number":"pith:D2BT4Y7J","schema_version":"1.0","canonical_sha256":"1e833e63e9281d458494883e1f429a53c7dda5a488ab41b6878a1d267362e2a2","source":{"kind":"arxiv","id":"2605.30583","version":1},"attestation_state":"computed","paper":{"title":"Caspar: CUDA Accelerator for Symbolic Programming with Adaptive Reordering","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PF"],"primary_cat":"cs.RO","authors_text":"Aaron Miller, Annette Stahl, Emil Martens, Matias Varnum","submitted_at":"2026-05-28T21:18:59Z","abstract_excerpt":"We present Caspar, a library that makes the power of modern GPUs more accessible in robotics and provides a state-of-the-art nonlinear GPU solver that can be applied to a wide range of different optimization problems. Caspar bridges the gap between expressive symbolic programming in Python and high-performance GPU runtimes in C++ by automatically generating optimized CUDA kernels from symbolic expressions. Building on the SymForce library, users can easily define and combine symbolic expressions, including Lie group operations, to generate custom CUDA kernels. To use Caspar as a solver, users "},"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":"2605.30583","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-28T21:18:59Z","cross_cats_sorted":["cs.PF"],"title_canon_sha256":"40e2386d0c9058d496e6e7eb115b9163daf92c115bbd6991c2ed300f9ecb250f","abstract_canon_sha256":"ca2069ad46c17477e4caac749a00a934a10e9ff08418800e348d398c7f8cb271"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-01T01:03:02.452078Z","signature_b64":"4qZnv/bZ/ohKbwVTeHvfQv4SXjypUHH5ByseBYa9s2kLBPAhEiEo+TSN1tHD1Oic73uOB/pQAc+iFQ0r/s2MAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1e833e63e9281d458494883e1f429a53c7dda5a488ab41b6878a1d267362e2a2","last_reissued_at":"2026-06-01T01:03:02.451296Z","signature_status":"signed_v1","first_computed_at":"2026-06-01T01:03:02.451296Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Caspar: CUDA Accelerator for Symbolic Programming with Adaptive Reordering","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PF"],"primary_cat":"cs.RO","authors_text":"Aaron Miller, Annette Stahl, Emil Martens, Matias Varnum","submitted_at":"2026-05-28T21:18:59Z","abstract_excerpt":"We present Caspar, a library that makes the power of modern GPUs more accessible in robotics and provides a state-of-the-art nonlinear GPU solver that can be applied to a wide range of different optimization problems. Caspar bridges the gap between expressive symbolic programming in Python and high-performance GPU runtimes in C++ by automatically generating optimized CUDA kernels from symbolic expressions. Building on the SymForce library, users can easily define and combine symbolic expressions, including Lie group operations, to generate custom CUDA kernels. To use Caspar as a solver, users "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.30583","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/2605.30583/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":"2605.30583","created_at":"2026-06-01T01:03:02.451419+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.30583v1","created_at":"2026-06-01T01:03:02.451419+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.30583","created_at":"2026-06-01T01:03:02.451419+00:00"},{"alias_kind":"pith_short_12","alias_value":"D2BT4Y7JFAOU","created_at":"2026-06-01T01:03:02.451419+00:00"},{"alias_kind":"pith_short_16","alias_value":"D2BT4Y7JFAOULBEU","created_at":"2026-06-01T01:03:02.451419+00:00"},{"alias_kind":"pith_short_8","alias_value":"D2BT4Y7J","created_at":"2026-06-01T01:03:02.451419+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/D2BT4Y7JFAOULBEURA7B6QU2KP","json":"https://pith.science/pith/D2BT4Y7JFAOULBEURA7B6QU2KP.json","graph_json":"https://pith.science/api/pith-number/D2BT4Y7JFAOULBEURA7B6QU2KP/graph.json","events_json":"https://pith.science/api/pith-number/D2BT4Y7JFAOULBEURA7B6QU2KP/events.json","paper":"https://pith.science/paper/D2BT4Y7J"},"agent_actions":{"view_html":"https://pith.science/pith/D2BT4Y7JFAOULBEURA7B6QU2KP","download_json":"https://pith.science/pith/D2BT4Y7JFAOULBEURA7B6QU2KP.json","view_paper":"https://pith.science/paper/D2BT4Y7J","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.30583&json=true","fetch_graph":"https://pith.science/api/pith-number/D2BT4Y7JFAOULBEURA7B6QU2KP/graph.json","fetch_events":"https://pith.science/api/pith-number/D2BT4Y7JFAOULBEURA7B6QU2KP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/D2BT4Y7JFAOULBEURA7B6QU2KP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/D2BT4Y7JFAOULBEURA7B6QU2KP/action/storage_attestation","attest_author":"https://pith.science/pith/D2BT4Y7JFAOULBEURA7B6QU2KP/action/author_attestation","sign_citation":"https://pith.science/pith/D2BT4Y7JFAOULBEURA7B6QU2KP/action/citation_signature","submit_replication":"https://pith.science/pith/D2BT4Y7JFAOULBEURA7B6QU2KP/action/replication_record"}},"created_at":"2026-06-01T01:03:02.451419+00:00","updated_at":"2026-06-01T01:03:02.451419+00:00"}