{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:QGTWCYUK5RNXI5AYXJ5446SQVE","short_pith_number":"pith:QGTWCYUK","canonical_record":{"source":{"id":"2407.21060","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-07-26T08:30:47Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"3984c95c395a10d25c9d43afaea1ed5f5cbdcecff2862aacba5741126c8cb694","abstract_canon_sha256":"967cf2f5fff2c1629c9f22b16c14f650bc1460d57d95af615fa674e1601f4538"},"schema_version":"1.0"},"canonical_sha256":"81a761628aec5b747418ba7bce7a50a9387d3dcdb596088db0ce311c25c3314a","source":{"kind":"arxiv","id":"2407.21060","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.21060","created_at":"2026-07-05T08:50:33Z"},{"alias_kind":"arxiv_version","alias_value":"2407.21060v1","created_at":"2026-07-05T08:50:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.21060","created_at":"2026-07-05T08:50:33Z"},{"alias_kind":"pith_short_12","alias_value":"QGTWCYUK5RNX","created_at":"2026-07-05T08:50:33Z"},{"alias_kind":"pith_short_16","alias_value":"QGTWCYUK5RNXI5AY","created_at":"2026-07-05T08:50:33Z"},{"alias_kind":"pith_short_8","alias_value":"QGTWCYUK","created_at":"2026-07-05T08:50:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:QGTWCYUK5RNXI5AYXJ5446SQVE","target":"record","payload":{"canonical_record":{"source":{"id":"2407.21060","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-07-26T08:30:47Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"3984c95c395a10d25c9d43afaea1ed5f5cbdcecff2862aacba5741126c8cb694","abstract_canon_sha256":"967cf2f5fff2c1629c9f22b16c14f650bc1460d57d95af615fa674e1601f4538"},"schema_version":"1.0"},"canonical_sha256":"81a761628aec5b747418ba7bce7a50a9387d3dcdb596088db0ce311c25c3314a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:50:33.418861Z","signature_b64":"T6b4M5AhaBYRLtieaAagjgFmuvn05fJjNaexBINkXgYESZjW8dNDvVtb4P0DNjJzmpXfdBIgeNyE4EuCXbfcBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"81a761628aec5b747418ba7bce7a50a9387d3dcdb596088db0ce311c25c3314a","last_reissued_at":"2026-07-05T08:50:33.418434Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:50:33.418434Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2407.21060","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-05T08:50:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NygqaddW5tGhJyZ7I5n3WJ3cXFuRv65AXeBNAKHtAk3uF7xquvaIU/AzJbSz0IUq7vyNvbOVFWi0bKVaT3gYDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T07:00:28.868822Z"},"content_sha256":"fb67e1a4f7542b2c2c14744d69b35977f122d8137204259e74aa4e7a3b18c2e1","schema_version":"1.0","event_id":"sha256:fb67e1a4f7542b2c2c14744d69b35977f122d8137204259e74aa4e7a3b18c2e1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:QGTWCYUK5RNXI5AYXJ5446SQVE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using Large Language Models for the Interpretation of Building Regulations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Johannes Dimyadi, Michael Witbrock, Robert Amor, Stefan Fuchs","submitted_at":"2024-07-26T08:30:47Z","abstract_excerpt":"Compliance checking is an essential part of a construction project. The recent rapid uptake of building information models (BIM) in the construction industry has created more opportunities for automated compliance checking (ACC). BIM enables sharing of digital building design data that can be used for compliance checking with legal requirements, which are conventionally conveyed in natural language and not intended for machine processing. Creating a computable representation of legal requirements suitable for ACC is complex, costly, and time-consuming. Large language models (LLMs) such as the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.21060","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.21060/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-05T08:50:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KcJ9rWAAEZWpXC4llGLb6s1NPnkh3UoBHm0z4xGyCYCupk240FtD5xFroz33VB2oG/S/QL7P3uU/jpXnW/dDCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T07:00:28.869196Z"},"content_sha256":"facdea850332b92e72953479b6f6456c4eddfd2f340c5fd37ac6a7da56ed6f62","schema_version":"1.0","event_id":"sha256:facdea850332b92e72953479b6f6456c4eddfd2f340c5fd37ac6a7da56ed6f62"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QGTWCYUK5RNXI5AYXJ5446SQVE/bundle.json","state_url":"https://pith.science/pith/QGTWCYUK5RNXI5AYXJ5446SQVE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QGTWCYUK5RNXI5AYXJ5446SQVE/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-06T07:00:28Z","links":{"resolver":"https://pith.science/pith/QGTWCYUK5RNXI5AYXJ5446SQVE","bundle":"https://pith.science/pith/QGTWCYUK5RNXI5AYXJ5446SQVE/bundle.json","state":"https://pith.science/pith/QGTWCYUK5RNXI5AYXJ5446SQVE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QGTWCYUK5RNXI5AYXJ5446SQVE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:QGTWCYUK5RNXI5AYXJ5446SQVE","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":"967cf2f5fff2c1629c9f22b16c14f650bc1460d57d95af615fa674e1601f4538","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-07-26T08:30:47Z","title_canon_sha256":"3984c95c395a10d25c9d43afaea1ed5f5cbdcecff2862aacba5741126c8cb694"},"schema_version":"1.0","source":{"id":"2407.21060","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.21060","created_at":"2026-07-05T08:50:33Z"},{"alias_kind":"arxiv_version","alias_value":"2407.21060v1","created_at":"2026-07-05T08:50:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.21060","created_at":"2026-07-05T08:50:33Z"},{"alias_kind":"pith_short_12","alias_value":"QGTWCYUK5RNX","created_at":"2026-07-05T08:50:33Z"},{"alias_kind":"pith_short_16","alias_value":"QGTWCYUK5RNXI5AY","created_at":"2026-07-05T08:50:33Z"},{"alias_kind":"pith_short_8","alias_value":"QGTWCYUK","created_at":"2026-07-05T08:50:33Z"}],"graph_snapshots":[{"event_id":"sha256:facdea850332b92e72953479b6f6456c4eddfd2f340c5fd37ac6a7da56ed6f62","target":"graph","created_at":"2026-07-05T08:50:33Z","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.21060/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Compliance checking is an essential part of a construction project. The recent rapid uptake of building information models (BIM) in the construction industry has created more opportunities for automated compliance checking (ACC). BIM enables sharing of digital building design data that can be used for compliance checking with legal requirements, which are conventionally conveyed in natural language and not intended for machine processing. Creating a computable representation of legal requirements suitable for ACC is complex, costly, and time-consuming. Large language models (LLMs) such as the ","authors_text":"Johannes Dimyadi, Michael Witbrock, Robert Amor, Stefan Fuchs","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-07-26T08:30:47Z","title":"Using Large Language Models for the Interpretation of Building Regulations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.21060","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:fb67e1a4f7542b2c2c14744d69b35977f122d8137204259e74aa4e7a3b18c2e1","target":"record","created_at":"2026-07-05T08:50:33Z","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":"967cf2f5fff2c1629c9f22b16c14f650bc1460d57d95af615fa674e1601f4538","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-07-26T08:30:47Z","title_canon_sha256":"3984c95c395a10d25c9d43afaea1ed5f5cbdcecff2862aacba5741126c8cb694"},"schema_version":"1.0","source":{"id":"2407.21060","kind":"arxiv","version":1}},"canonical_sha256":"81a761628aec5b747418ba7bce7a50a9387d3dcdb596088db0ce311c25c3314a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81a761628aec5b747418ba7bce7a50a9387d3dcdb596088db0ce311c25c3314a","first_computed_at":"2026-07-05T08:50:33.418434Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:50:33.418434Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T6b4M5AhaBYRLtieaAagjgFmuvn05fJjNaexBINkXgYESZjW8dNDvVtb4P0DNjJzmpXfdBIgeNyE4EuCXbfcBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:50:33.418861Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.21060","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fb67e1a4f7542b2c2c14744d69b35977f122d8137204259e74aa4e7a3b18c2e1","sha256:facdea850332b92e72953479b6f6456c4eddfd2f340c5fd37ac6a7da56ed6f62"],"state_sha256":"09517f12f3c7605f6cf5e644109194618cf2d254ec00575811c615faa9cdc6c1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wFZQ6Kg87IFaYqc00Hg+X1MCfqA5jDB8edhqaJr5BPMVbEVclOMHVd7bX342h1zc78SaX6ZqJRRn1okakdc8BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T07:00:28.871310Z","bundle_sha256":"76c8832989003df6cb40433811baf6ad659abd5f7204dca10127e0ff9dbdb205"}}