{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:KOAHHN7GTHAQHZI2XDJ7UH7QNG","short_pith_number":"pith:KOAHHN7G","canonical_record":{"source":{"id":"2402.00052","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-01-25T12:52:42Z","cross_cats_sorted":["cs.CV","cs.GR"],"title_canon_sha256":"c66ee61898fe2dcab051b583dacc9283c4fce2fc699784ff9dfa28ea8fb76a69","abstract_canon_sha256":"66b2856627c9df9977a2ea09feebfb8b47565d13cb3de6202335dbb2b78ed928"},"schema_version":"1.0"},"canonical_sha256":"538073b7e699c103e51ab8d3fa1ff069aee3adc92121e2e60da54904077a899c","source":{"kind":"arxiv","id":"2402.00052","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.00052","created_at":"2026-07-05T07:39:48Z"},{"alias_kind":"arxiv_version","alias_value":"2402.00052v1","created_at":"2026-07-05T07:39:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.00052","created_at":"2026-07-05T07:39:48Z"},{"alias_kind":"pith_short_12","alias_value":"KOAHHN7GTHAQ","created_at":"2026-07-05T07:39:48Z"},{"alias_kind":"pith_short_16","alias_value":"KOAHHN7GTHAQHZI2","created_at":"2026-07-05T07:39:48Z"},{"alias_kind":"pith_short_8","alias_value":"KOAHHN7G","created_at":"2026-07-05T07:39:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:KOAHHN7GTHAQHZI2XDJ7UH7QNG","target":"record","payload":{"canonical_record":{"source":{"id":"2402.00052","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-01-25T12:52:42Z","cross_cats_sorted":["cs.CV","cs.GR"],"title_canon_sha256":"c66ee61898fe2dcab051b583dacc9283c4fce2fc699784ff9dfa28ea8fb76a69","abstract_canon_sha256":"66b2856627c9df9977a2ea09feebfb8b47565d13cb3de6202335dbb2b78ed928"},"schema_version":"1.0"},"canonical_sha256":"538073b7e699c103e51ab8d3fa1ff069aee3adc92121e2e60da54904077a899c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:39:48.055455Z","signature_b64":"hfn461oNcs2lP40qgSbLsuLE14zW6buIwd4wpdcO7cJuJn90syjo9Q8GG0CAi66TYuLN5fbfxnLnrSTBQ1ASDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"538073b7e699c103e51ab8d3fa1ff069aee3adc92121e2e60da54904077a899c","last_reissued_at":"2026-07-05T07:39:48.055044Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:39:48.055044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.00052","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-05T07:39:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jb15jig4YPm5ItfmE4fMCATlD3mzgHkprGOfQbYAjffOUSAQo61xUuXqwXOs+cn6DQLiPXghsXZJstBDM/RADg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T02:45:12.690587Z"},"content_sha256":"d387068fba2a24835da388d1c7ddb8e694268b35619d7a9ebf9b91a78d4a6313","schema_version":"1.0","event_id":"sha256:d387068fba2a24835da388d1c7ddb8e694268b35619d7a9ebf9b91a78d4a6313"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:KOAHHN7GTHAQHZI2XDJ7UH7QNG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Zero-shot Sequential Neuro-symbolic Reasoning for Automatically Generating Architecture Schematic Designs","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.CV","cs.GR"],"primary_cat":"cs.AI","authors_text":"Adriana Schulz, Lawrence H. Curtis, Milin Kodnongbua","submitted_at":"2024-01-25T12:52:42Z","abstract_excerpt":"This paper introduces a novel automated system for generating architecture schematic designs aimed at streamlining complex decision-making at the multifamily real estate development project's outset. Leveraging the combined strengths of generative AI (neuro reasoning) and mathematical program solvers (symbolic reasoning), the method addresses both the reliance on expert insights and technical challenges in architectural schematic design. To address the large-scale and interconnected nature of design decisions needed for designing a whole building, we proposed a novel sequential neuro-symbolic "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.00052","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/2402.00052/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-05T07:39:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EwnqhWgK4idyv2bgshULb6hZ4+CwiLndkjNMCzB0zCP4O+GC1s1kFBgQJcTa4sBQ0ESj87pkxxEi803vuQmMCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T02:45:12.690961Z"},"content_sha256":"d3ff7146123169d3ba6170111312ae443e787e4ebc3644b570c665ccf7236449","schema_version":"1.0","event_id":"sha256:d3ff7146123169d3ba6170111312ae443e787e4ebc3644b570c665ccf7236449"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KOAHHN7GTHAQHZI2XDJ7UH7QNG/bundle.json","state_url":"https://pith.science/pith/KOAHHN7GTHAQHZI2XDJ7UH7QNG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KOAHHN7GTHAQHZI2XDJ7UH7QNG/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-08T02:45:12Z","links":{"resolver":"https://pith.science/pith/KOAHHN7GTHAQHZI2XDJ7UH7QNG","bundle":"https://pith.science/pith/KOAHHN7GTHAQHZI2XDJ7UH7QNG/bundle.json","state":"https://pith.science/pith/KOAHHN7GTHAQHZI2XDJ7UH7QNG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KOAHHN7GTHAQHZI2XDJ7UH7QNG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:KOAHHN7GTHAQHZI2XDJ7UH7QNG","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":"66b2856627c9df9977a2ea09feebfb8b47565d13cb3de6202335dbb2b78ed928","cross_cats_sorted":["cs.CV","cs.GR"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-01-25T12:52:42Z","title_canon_sha256":"c66ee61898fe2dcab051b583dacc9283c4fce2fc699784ff9dfa28ea8fb76a69"},"schema_version":"1.0","source":{"id":"2402.00052","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.00052","created_at":"2026-07-05T07:39:48Z"},{"alias_kind":"arxiv_version","alias_value":"2402.00052v1","created_at":"2026-07-05T07:39:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.00052","created_at":"2026-07-05T07:39:48Z"},{"alias_kind":"pith_short_12","alias_value":"KOAHHN7GTHAQ","created_at":"2026-07-05T07:39:48Z"},{"alias_kind":"pith_short_16","alias_value":"KOAHHN7GTHAQHZI2","created_at":"2026-07-05T07:39:48Z"},{"alias_kind":"pith_short_8","alias_value":"KOAHHN7G","created_at":"2026-07-05T07:39:48Z"}],"graph_snapshots":[{"event_id":"sha256:d3ff7146123169d3ba6170111312ae443e787e4ebc3644b570c665ccf7236449","target":"graph","created_at":"2026-07-05T07:39:48Z","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/2402.00052/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper introduces a novel automated system for generating architecture schematic designs aimed at streamlining complex decision-making at the multifamily real estate development project's outset. Leveraging the combined strengths of generative AI (neuro reasoning) and mathematical program solvers (symbolic reasoning), the method addresses both the reliance on expert insights and technical challenges in architectural schematic design. To address the large-scale and interconnected nature of design decisions needed for designing a whole building, we proposed a novel sequential neuro-symbolic ","authors_text":"Adriana Schulz, Lawrence H. Curtis, Milin Kodnongbua","cross_cats":["cs.CV","cs.GR"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-01-25T12:52:42Z","title":"Zero-shot Sequential Neuro-symbolic Reasoning for Automatically Generating Architecture Schematic Designs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.00052","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:d387068fba2a24835da388d1c7ddb8e694268b35619d7a9ebf9b91a78d4a6313","target":"record","created_at":"2026-07-05T07:39:48Z","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":"66b2856627c9df9977a2ea09feebfb8b47565d13cb3de6202335dbb2b78ed928","cross_cats_sorted":["cs.CV","cs.GR"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2024-01-25T12:52:42Z","title_canon_sha256":"c66ee61898fe2dcab051b583dacc9283c4fce2fc699784ff9dfa28ea8fb76a69"},"schema_version":"1.0","source":{"id":"2402.00052","kind":"arxiv","version":1}},"canonical_sha256":"538073b7e699c103e51ab8d3fa1ff069aee3adc92121e2e60da54904077a899c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"538073b7e699c103e51ab8d3fa1ff069aee3adc92121e2e60da54904077a899c","first_computed_at":"2026-07-05T07:39:48.055044Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:39:48.055044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hfn461oNcs2lP40qgSbLsuLE14zW6buIwd4wpdcO7cJuJn90syjo9Q8GG0CAi66TYuLN5fbfxnLnrSTBQ1ASDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:39:48.055455Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.00052","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d387068fba2a24835da388d1c7ddb8e694268b35619d7a9ebf9b91a78d4a6313","sha256:d3ff7146123169d3ba6170111312ae443e787e4ebc3644b570c665ccf7236449"],"state_sha256":"9321562f016a5e199e1d4b72c68dbd773a01957fb903ceaf433f22e0db6e5206"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bdM8YUvYVOja7TsUtTsiEyzrE/qMRsrPPqoU/yRx07PjTDZIc6NH5x/YWKiijgcTJ7TEcP962KPHdp0kfR3aDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T02:45:12.693123Z","bundle_sha256":"690ff9d2d7187b13ccaef2ceaa9b137cc4155ec2e1140664490bb17b2eb50fef"}}