{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:U6YUJGE6EVQUMOKW4UBZSL3FWA","short_pith_number":"pith:U6YUJGE6","schema_version":"1.0","canonical_sha256":"a7b144989e2561463956e503992f65b00584ee230ea58ee1b80f837b611c6fc3","source":{"kind":"arxiv","id":"2501.17782","version":1},"attestation_state":"computed","paper":{"title":"Picard-KKT-hPINN: Enforcing Nonlinear Enthalpy Balances for Physically Consistent Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Artur M. Schweidtmann, Giacomo Lastrucci, Tanuj Karia, Zo\\\"e Gromotka","submitted_at":"2025-01-29T17:15:45Z","abstract_excerpt":"Neural networks are widely used as surrogate models but they do not guarantee physically consistent predictions thereby preventing adoption in various applications. We propose a method that can enforce NNs to satisfy physical laws that are nonlinear in nature such as enthalpy balances. Our approach, inspired by Picard successive approximations method, aims to enforce multiplicatively separable constraints by sequentially freezing and projecting a set of the participating variables. We demonstrate our PicardKKThPINN for surrogate modeling of a catalytic packed bed reactor for methanol synthesis"},"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":"2501.17782","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-01-29T17:15:45Z","cross_cats_sorted":[],"title_canon_sha256":"e218772f68f61c433657b1441e8b47aaa2cd2ba187d2cacf05344fb072e499db","abstract_canon_sha256":"a5152b6d56a4b43b3303624d0a1eddf94bbae72edb5a5d9e23fb28e38cb649f4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:06:57.732181Z","signature_b64":"Mb/6jMr5ixteyrsLKWX5lMDYfUGLhZ+Fe4tff7ElgAzh15HxpBhF31wWNdjLH0bWXBDoYln+TOQ2UeMk6wSeBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a7b144989e2561463956e503992f65b00584ee230ea58ee1b80f837b611c6fc3","last_reissued_at":"2026-07-05T10:06:57.731598Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:06:57.731598Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Picard-KKT-hPINN: Enforcing Nonlinear Enthalpy Balances for Physically Consistent Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Artur M. Schweidtmann, Giacomo Lastrucci, Tanuj Karia, Zo\\\"e Gromotka","submitted_at":"2025-01-29T17:15:45Z","abstract_excerpt":"Neural networks are widely used as surrogate models but they do not guarantee physically consistent predictions thereby preventing adoption in various applications. We propose a method that can enforce NNs to satisfy physical laws that are nonlinear in nature such as enthalpy balances. Our approach, inspired by Picard successive approximations method, aims to enforce multiplicatively separable constraints by sequentially freezing and projecting a set of the participating variables. We demonstrate our PicardKKThPINN for surrogate modeling of a catalytic packed bed reactor for methanol synthesis"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.17782","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/2501.17782/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":"2501.17782","created_at":"2026-07-05T10:06:57.731685+00:00"},{"alias_kind":"arxiv_version","alias_value":"2501.17782v1","created_at":"2026-07-05T10:06:57.731685+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.17782","created_at":"2026-07-05T10:06:57.731685+00:00"},{"alias_kind":"pith_short_12","alias_value":"U6YUJGE6EVQU","created_at":"2026-07-05T10:06:57.731685+00:00"},{"alias_kind":"pith_short_16","alias_value":"U6YUJGE6EVQUMOKW","created_at":"2026-07-05T10:06:57.731685+00:00"},{"alias_kind":"pith_short_8","alias_value":"U6YUJGE6","created_at":"2026-07-05T10:06:57.731685+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.10682","citing_title":"PL-KKT-hPINN: Enforcing Nonlinear Equality Constraints on Neural Networks via Piecewise-Linear Projection","ref_index":20,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/U6YUJGE6EVQUMOKW4UBZSL3FWA","json":"https://pith.science/pith/U6YUJGE6EVQUMOKW4UBZSL3FWA.json","graph_json":"https://pith.science/api/pith-number/U6YUJGE6EVQUMOKW4UBZSL3FWA/graph.json","events_json":"https://pith.science/api/pith-number/U6YUJGE6EVQUMOKW4UBZSL3FWA/events.json","paper":"https://pith.science/paper/U6YUJGE6"},"agent_actions":{"view_html":"https://pith.science/pith/U6YUJGE6EVQUMOKW4UBZSL3FWA","download_json":"https://pith.science/pith/U6YUJGE6EVQUMOKW4UBZSL3FWA.json","view_paper":"https://pith.science/paper/U6YUJGE6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2501.17782&json=true","fetch_graph":"https://pith.science/api/pith-number/U6YUJGE6EVQUMOKW4UBZSL3FWA/graph.json","fetch_events":"https://pith.science/api/pith-number/U6YUJGE6EVQUMOKW4UBZSL3FWA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/U6YUJGE6EVQUMOKW4UBZSL3FWA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/U6YUJGE6EVQUMOKW4UBZSL3FWA/action/storage_attestation","attest_author":"https://pith.science/pith/U6YUJGE6EVQUMOKW4UBZSL3FWA/action/author_attestation","sign_citation":"https://pith.science/pith/U6YUJGE6EVQUMOKW4UBZSL3FWA/action/citation_signature","submit_replication":"https://pith.science/pith/U6YUJGE6EVQUMOKW4UBZSL3FWA/action/replication_record"}},"created_at":"2026-07-05T10:06:57.731685+00:00","updated_at":"2026-07-05T10:06:57.731685+00:00"}