{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:TQSPKUTTZB4G7GECG56IINVIGF","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":"5b1a7771c3962b7a6043b7a9942cc7e29036229cf3be74ded6121c8f9f098128","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CE","submitted_at":"2023-05-30T20:25:25Z","title_canon_sha256":"ee369239a1cfa4252a13b10eebba2f5ddae0f75ee57362efaedab048a3c0563e"},"schema_version":"1.0","source":{"id":"2305.19398","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.19398","created_at":"2026-07-05T06:15:49Z"},{"alias_kind":"arxiv_version","alias_value":"2305.19398v1","created_at":"2026-07-05T06:15:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.19398","created_at":"2026-07-05T06:15:49Z"},{"alias_kind":"pith_short_12","alias_value":"TQSPKUTTZB4G","created_at":"2026-07-05T06:15:49Z"},{"alias_kind":"pith_short_16","alias_value":"TQSPKUTTZB4G7GEC","created_at":"2026-07-05T06:15:49Z"},{"alias_kind":"pith_short_8","alias_value":"TQSPKUTT","created_at":"2026-07-05T06:15:49Z"}],"graph_snapshots":[{"event_id":"sha256:b5c8f7a072c3600058f835dce5e347fd13477c04fa3fc3c02b2beebee03d2c20","target":"graph","created_at":"2026-07-05T06:15:49Z","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/2305.19398/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a high-level domain-specific language (DSL) interface to drive an adaptive incomplete $k$-d tree-based framework for finite element (FEM) solutions to PDEs. This DSL provides three key advances: (a) it abstracts out the complexity of implementing non-trivial FEM formulations, (b) it simplifies deploying these formulations on arbitrarily complicated and adaptively refined meshes, and (c) it exhibits good parallel performance. Taken together, the DSL interface allows end-users to rapidly and efficiently prototype new mathematical approaches, and deploy them on large clusters for solvi","authors_text":"Aadesh Deshmukh, Baskar Ganapathysubramanian, Cheng-Hau Yang, Eric Heisler, Hari Sundar","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CE","submitted_at":"2023-05-30T20:25:25Z","title":"Generating Finite Element Codes combining Adaptive Octrees with Complex Geometries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.19398","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:ade1a3c8a61dcf47e101609d548c4f975aa05ae40e2832e92629d2fe67983616","target":"record","created_at":"2026-07-05T06:15:49Z","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":"5b1a7771c3962b7a6043b7a9942cc7e29036229cf3be74ded6121c8f9f098128","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CE","submitted_at":"2023-05-30T20:25:25Z","title_canon_sha256":"ee369239a1cfa4252a13b10eebba2f5ddae0f75ee57362efaedab048a3c0563e"},"schema_version":"1.0","source":{"id":"2305.19398","kind":"arxiv","version":1}},"canonical_sha256":"9c24f55273c8786f9882377c8436a83142269492440b58537e83858e952d897b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9c24f55273c8786f9882377c8436a83142269492440b58537e83858e952d897b","first_computed_at":"2026-07-05T06:15:49.766500Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:15:49.766500Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HfXz7HnpnFfIjmkMbHM98N0Sh4afaxx2kjGp6lLC1yjJUz0gycABYeDJiO9GJ/8N+hJ7ildRQdui+aVmbZWPBA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:15:49.767048Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.19398","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ade1a3c8a61dcf47e101609d548c4f975aa05ae40e2832e92629d2fe67983616","sha256:b5c8f7a072c3600058f835dce5e347fd13477c04fa3fc3c02b2beebee03d2c20"],"state_sha256":"d1e3f4eecd275c25c7926d3f24396225b15f7bc3c83ad0fb7bc295765828b30c"}