{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:G52AZY2ONNOVZTCAHA6UHN2XQV","short_pith_number":"pith:G52AZY2O","schema_version":"1.0","canonical_sha256":"37740ce34e6b5d5ccc40383d43b757857629a0038455b60eb8e2c2dd2f43e95c","source":{"kind":"arxiv","id":"2608.08559","version":1},"attestation_state":"computed","paper":{"title":"Differentiate the Solver, Not the Equation: Reverse-Sweep Adjoints for Block Implicit Simulation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.NA","math.NA"],"primary_cat":"cs.GR","authors_text":"Chenfanfu Jiang, Kui Wu, Lei Shu, Leonidas Guibas, Ying Jiang, Yin Yang","submitted_at":"2026-08-09T08:03:02Z","abstract_excerpt":"Differentiable simulation is a key component in learning, control, and inverse problems, where gradients through nonlinear implicit solvers are required. Existing approaches either rely on unrolled automatic differentiation, whose memory grows with solver depth, or on equation-level implicit differentiation, which assembles global Jacobians and solves large sparse adjoint systems, discarding the locality of the forward solver -- and differentiating the converged equation rather than the finite computation that actually ran. We propose solver-level differentiation, which differentiates the exec"},"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":"2608.08559","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GR","submitted_at":"2026-08-09T08:03:02Z","cross_cats_sorted":["cs.LG","cs.NA","math.NA"],"title_canon_sha256":"c5037c16990c72a02c3341610005ba669ec891747017ade04fe7ba6f1b9171a6","abstract_canon_sha256":"e28820d113f744318ef152e310a759abdc57b06f08571e2797ef9daa8bb31fd8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-11T01:22:58.964789Z","signature_b64":"fgT4/xCxb7mFj0bikapzBghRwuPiZtmpk9tBHs0Dg0str6S7JsKu/5oLXFGVuNT5n+BNEoCsh68EutdLe+i1CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37740ce34e6b5d5ccc40383d43b757857629a0038455b60eb8e2c2dd2f43e95c","last_reissued_at":"2026-08-11T01:22:58.962275Z","signature_status":"signed_v1","first_computed_at":"2026-08-11T01:22:58.962275Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Differentiate the Solver, Not the Equation: Reverse-Sweep Adjoints for Block Implicit Simulation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.NA","math.NA"],"primary_cat":"cs.GR","authors_text":"Chenfanfu Jiang, Kui Wu, Lei Shu, Leonidas Guibas, Ying Jiang, Yin Yang","submitted_at":"2026-08-09T08:03:02Z","abstract_excerpt":"Differentiable simulation is a key component in learning, control, and inverse problems, where gradients through nonlinear implicit solvers are required. Existing approaches either rely on unrolled automatic differentiation, whose memory grows with solver depth, or on equation-level implicit differentiation, which assembles global Jacobians and solves large sparse adjoint systems, discarding the locality of the forward solver -- and differentiating the converged equation rather than the finite computation that actually ran. We propose solver-level differentiation, which differentiates the exec"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.08559","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/2608.08559/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":"2608.08559","created_at":"2026-08-11T01:22:58.963132+00:00"},{"alias_kind":"arxiv_version","alias_value":"2608.08559v1","created_at":"2026-08-11T01:22:58.963132+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.08559","created_at":"2026-08-11T01:22:58.963132+00:00"},{"alias_kind":"pith_short_12","alias_value":"G52AZY2ONNOV","created_at":"2026-08-11T01:22:58.963132+00:00"},{"alias_kind":"pith_short_16","alias_value":"G52AZY2ONNOVZTCA","created_at":"2026-08-11T01:22:58.963132+00:00"},{"alias_kind":"pith_short_8","alias_value":"G52AZY2O","created_at":"2026-08-11T01:22:58.963132+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/G52AZY2ONNOVZTCAHA6UHN2XQV","json":"https://pith.science/pith/G52AZY2ONNOVZTCAHA6UHN2XQV.json","graph_json":"https://pith.science/api/pith-number/G52AZY2ONNOVZTCAHA6UHN2XQV/graph.json","events_json":"https://pith.science/api/pith-number/G52AZY2ONNOVZTCAHA6UHN2XQV/events.json","paper":"https://pith.science/paper/G52AZY2O"},"agent_actions":{"view_html":"https://pith.science/pith/G52AZY2ONNOVZTCAHA6UHN2XQV","download_json":"https://pith.science/pith/G52AZY2ONNOVZTCAHA6UHN2XQV.json","view_paper":"https://pith.science/paper/G52AZY2O","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2608.08559&json=true","fetch_graph":"https://pith.science/api/pith-number/G52AZY2ONNOVZTCAHA6UHN2XQV/graph.json","fetch_events":"https://pith.science/api/pith-number/G52AZY2ONNOVZTCAHA6UHN2XQV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/G52AZY2ONNOVZTCAHA6UHN2XQV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/G52AZY2ONNOVZTCAHA6UHN2XQV/action/storage_attestation","attest_author":"https://pith.science/pith/G52AZY2ONNOVZTCAHA6UHN2XQV/action/author_attestation","sign_citation":"https://pith.science/pith/G52AZY2ONNOVZTCAHA6UHN2XQV/action/citation_signature","submit_replication":"https://pith.science/pith/G52AZY2ONNOVZTCAHA6UHN2XQV/action/replication_record"}},"created_at":"2026-08-11T01:22:58.963132+00:00","updated_at":"2026-08-11T01:22:58.963132+00:00"}