{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:J22GLPT63AACZ55BWH5FDPKMMX","short_pith_number":"pith:J22GLPT6","canonical_record":{"source":{"id":"2407.18011","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-07-25T13:05:00Z","cross_cats_sorted":[],"title_canon_sha256":"7add8e7ea1c7f6925616fc25b98e084548415155d95ab48bd6750163dd41cc13","abstract_canon_sha256":"bfc731eb7f4103a65730c0a5a5af094df43d4b1f85b1a3ea523a77567bedd342"},"schema_version":"1.0"},"canonical_sha256":"4eb465be7ed8002cf7a1b1fa51bd4c65e92378af9b36690bef97ccf7cb2697c2","source":{"kind":"arxiv","id":"2407.18011","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.18011","created_at":"2026-07-05T09:44:13Z"},{"alias_kind":"arxiv_version","alias_value":"2407.18011v1","created_at":"2026-07-05T09:44:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.18011","created_at":"2026-07-05T09:44:13Z"},{"alias_kind":"pith_short_12","alias_value":"J22GLPT63AAC","created_at":"2026-07-05T09:44:13Z"},{"alias_kind":"pith_short_16","alias_value":"J22GLPT63AACZ55B","created_at":"2026-07-05T09:44:13Z"},{"alias_kind":"pith_short_8","alias_value":"J22GLPT6","created_at":"2026-07-05T09:44:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:J22GLPT63AACZ55BWH5FDPKMMX","target":"record","payload":{"canonical_record":{"source":{"id":"2407.18011","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-07-25T13:05:00Z","cross_cats_sorted":[],"title_canon_sha256":"7add8e7ea1c7f6925616fc25b98e084548415155d95ab48bd6750163dd41cc13","abstract_canon_sha256":"bfc731eb7f4103a65730c0a5a5af094df43d4b1f85b1a3ea523a77567bedd342"},"schema_version":"1.0"},"canonical_sha256":"4eb465be7ed8002cf7a1b1fa51bd4c65e92378af9b36690bef97ccf7cb2697c2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:44:13.476205Z","signature_b64":"Q4h9UVGiKarNEsKM9ZbGhmbpJeRdDJ64v13rFCawXZLbRh1yzEna0DmONZnFlh9qb9ALrmfh8HOr2PP+LUoIAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4eb465be7ed8002cf7a1b1fa51bd4c65e92378af9b36690bef97ccf7cb2697c2","last_reissued_at":"2026-07-05T09:44:13.475702Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:44:13.475702Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2407.18011","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:44:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E4k3mLBcRxh2ovmBAZxM5pZ6y/3lZAtAl3DP/RP1eu4fzebqzI2vcMHo7SZTjyIXsS4VBg65TeCd6shueubGCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-28T16:00:40.028460Z"},"content_sha256":"2f95683b70fa450bd18ef82c4ae09ddee569b814da1a93f8d6485b5d1c6cd678","schema_version":"1.0","event_id":"sha256:2f95683b70fa450bd18ef82c4ae09ddee569b814da1a93f8d6485b5d1c6cd678"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:J22GLPT63AACZ55BWH5FDPKMMX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"HANNA: Hard-constraint Neural Network for Consistent Activity Coefficient Prediction","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Fabian Jirasek, Hans Hasse, Mayank Nagda, Sophie Fellenz, Stephan Mandt, Thomas Specht","submitted_at":"2024-07-25T13:05:00Z","abstract_excerpt":"We present the first hard-constraint neural network for predicting activity coefficients (HANNA), a thermodynamic mixture property that is the basis for many applications in science and engineering. Unlike traditional neural networks, which ignore physical laws and result in inconsistent predictions, our model is designed to strictly adhere to all thermodynamic consistency criteria. By leveraging deep-set neural networks, HANNA maintains symmetry under the permutation of the components. Furthermore, by hard-coding physical constraints in the network architecture, we ensure consistency with the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.18011","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/2407.18011/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:44:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3ZFu2SnYHN3AxuvZxeFpp+RVRoOqp/TXYY2opDFs7B57QieSa5luvkv19T92MzssNciXvPn/IfMhfprAG+m8DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-28T16:00:40.028837Z"},"content_sha256":"fcda9a97dd0451376fc5513606e47fd101114e8a5bf460e0b3ba18df7c1ba320","schema_version":"1.0","event_id":"sha256:fcda9a97dd0451376fc5513606e47fd101114e8a5bf460e0b3ba18df7c1ba320"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J22GLPT63AACZ55BWH5FDPKMMX/bundle.json","state_url":"https://pith.science/pith/J22GLPT63AACZ55BWH5FDPKMMX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J22GLPT63AACZ55BWH5FDPKMMX/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-28T16:00:40Z","links":{"resolver":"https://pith.science/pith/J22GLPT63AACZ55BWH5FDPKMMX","bundle":"https://pith.science/pith/J22GLPT63AACZ55BWH5FDPKMMX/bundle.json","state":"https://pith.science/pith/J22GLPT63AACZ55BWH5FDPKMMX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J22GLPT63AACZ55BWH5FDPKMMX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:J22GLPT63AACZ55BWH5FDPKMMX","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":"bfc731eb7f4103a65730c0a5a5af094df43d4b1f85b1a3ea523a77567bedd342","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-07-25T13:05:00Z","title_canon_sha256":"7add8e7ea1c7f6925616fc25b98e084548415155d95ab48bd6750163dd41cc13"},"schema_version":"1.0","source":{"id":"2407.18011","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.18011","created_at":"2026-07-05T09:44:13Z"},{"alias_kind":"arxiv_version","alias_value":"2407.18011v1","created_at":"2026-07-05T09:44:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.18011","created_at":"2026-07-05T09:44:13Z"},{"alias_kind":"pith_short_12","alias_value":"J22GLPT63AAC","created_at":"2026-07-05T09:44:13Z"},{"alias_kind":"pith_short_16","alias_value":"J22GLPT63AACZ55B","created_at":"2026-07-05T09:44:13Z"},{"alias_kind":"pith_short_8","alias_value":"J22GLPT6","created_at":"2026-07-05T09:44:13Z"}],"graph_snapshots":[{"event_id":"sha256:fcda9a97dd0451376fc5513606e47fd101114e8a5bf460e0b3ba18df7c1ba320","target":"graph","created_at":"2026-07-05T09:44:13Z","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/2407.18011/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present the first hard-constraint neural network for predicting activity coefficients (HANNA), a thermodynamic mixture property that is the basis for many applications in science and engineering. Unlike traditional neural networks, which ignore physical laws and result in inconsistent predictions, our model is designed to strictly adhere to all thermodynamic consistency criteria. By leveraging deep-set neural networks, HANNA maintains symmetry under the permutation of the components. Furthermore, by hard-coding physical constraints in the network architecture, we ensure consistency with the","authors_text":"Fabian Jirasek, Hans Hasse, Mayank Nagda, Sophie Fellenz, Stephan Mandt, Thomas Specht","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-07-25T13:05:00Z","title":"HANNA: Hard-constraint Neural Network for Consistent Activity Coefficient Prediction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.18011","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:2f95683b70fa450bd18ef82c4ae09ddee569b814da1a93f8d6485b5d1c6cd678","target":"record","created_at":"2026-07-05T09:44:13Z","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":"bfc731eb7f4103a65730c0a5a5af094df43d4b1f85b1a3ea523a77567bedd342","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-07-25T13:05:00Z","title_canon_sha256":"7add8e7ea1c7f6925616fc25b98e084548415155d95ab48bd6750163dd41cc13"},"schema_version":"1.0","source":{"id":"2407.18011","kind":"arxiv","version":1}},"canonical_sha256":"4eb465be7ed8002cf7a1b1fa51bd4c65e92378af9b36690bef97ccf7cb2697c2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4eb465be7ed8002cf7a1b1fa51bd4c65e92378af9b36690bef97ccf7cb2697c2","first_computed_at":"2026-07-05T09:44:13.475702Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:44:13.475702Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Q4h9UVGiKarNEsKM9ZbGhmbpJeRdDJ64v13rFCawXZLbRh1yzEna0DmONZnFlh9qb9ALrmfh8HOr2PP+LUoIAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:44:13.476205Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.18011","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2f95683b70fa450bd18ef82c4ae09ddee569b814da1a93f8d6485b5d1c6cd678","sha256:fcda9a97dd0451376fc5513606e47fd101114e8a5bf460e0b3ba18df7c1ba320"],"state_sha256":"4699f880e1bb81755bb1c5b836d04befbf8272c94716d8ce45e5546bb6511c5a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PQzn+gUmZS0y3tTZyO4PnRXca0EOxjPBSNuvzd4NRxJHsOsrV+IgkISbtCLDAD8Bbpr7HZ6hZy7uQhrqXwkpCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-28T16:00:40.031325Z","bundle_sha256":"9e529ec06b4cba1ba08d43cc0aa01e1f8b0d234a972e317c6f536de900697dab"}}