{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:K5HVGLMCYOVEJ32M2E4L7WP7TF","short_pith_number":"pith:K5HVGLMC","canonical_record":{"source":{"id":"2208.13518","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-08-29T11:40:36Z","cross_cats_sorted":["cs.CL","cs.CV","cs.LO","cs.SC"],"title_canon_sha256":"2081d517e7d4fa10e117367e56d43055845c015de90114aee6c78d293615512f","abstract_canon_sha256":"54e12f15d87638326f2b71d5a0f10724cff0766a141be516fc8d172bb0137871"},"schema_version":"1.0"},"canonical_sha256":"574f532d82c3aa44ef4cd138bfd9ff995b124f668c3a843a25c4e8d2f7506037","source":{"kind":"arxiv","id":"2208.13518","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.13518","created_at":"2026-07-05T04:52:17Z"},{"alias_kind":"arxiv_version","alias_value":"2208.13518v1","created_at":"2026-07-05T04:52:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.13518","created_at":"2026-07-05T04:52:17Z"},{"alias_kind":"pith_short_12","alias_value":"K5HVGLMCYOVE","created_at":"2026-07-05T04:52:17Z"},{"alias_kind":"pith_short_16","alias_value":"K5HVGLMCYOVEJ32M","created_at":"2026-07-05T04:52:17Z"},{"alias_kind":"pith_short_8","alias_value":"K5HVGLMC","created_at":"2026-07-05T04:52:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:K5HVGLMCYOVEJ32M2E4L7WP7TF","target":"record","payload":{"canonical_record":{"source":{"id":"2208.13518","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-08-29T11:40:36Z","cross_cats_sorted":["cs.CL","cs.CV","cs.LO","cs.SC"],"title_canon_sha256":"2081d517e7d4fa10e117367e56d43055845c015de90114aee6c78d293615512f","abstract_canon_sha256":"54e12f15d87638326f2b71d5a0f10724cff0766a141be516fc8d172bb0137871"},"schema_version":"1.0"},"canonical_sha256":"574f532d82c3aa44ef4cd138bfd9ff995b124f668c3a843a25c4e8d2f7506037","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:52:17.945390Z","signature_b64":"iiR0YLaujx5xlt5vTpPMdKRkbo5f5zpRbB3wR5whuM8Kled5eQ1pPenI/tEbPx8hUQoA9W9/uLOpiPDW0dFtCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"574f532d82c3aa44ef4cd138bfd9ff995b124f668c3a843a25c4e8d2f7506037","last_reissued_at":"2026-07-05T04:52:17.944905Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:52:17.944905Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2208.13518","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-05T04:52:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GIhnf0EhK2BfYj91pnG3Dpym4ypVgDqSaeGCz5LBtLNX33CHDakpj1jt5yW47eDbBXUlPeLfoY6Iws0x3DUBCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:28:12.899456Z"},"content_sha256":"3382970140a4fa3b37206361f7cd341870c63f80529c2ea469dea072888d96c0","schema_version":"1.0","event_id":"sha256:3382970140a4fa3b37206361f7cd341870c63f80529c2ea469dea072888d96c0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:K5HVGLMCYOVEJ32M2E4L7WP7TF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL","cs.CV","cs.LO","cs.SC"],"primary_cat":"cs.AI","authors_text":"Bj\\\"orn Deiseroth, Devendra Singh Dhami, Hikaru Shindo, Kristian Kersting, Patrick Schramowski","submitted_at":"2022-08-29T11:40:36Z","abstract_excerpt":"Text-to-image models have recently achieved remarkable success with seemingly accurate samples in photo-realistic quality. However as state-of-the-art language models still struggle evaluating precise statements consistently, so do language model based image generation processes. In this work we showcase problems of state-of-the-art text-to-image models like DALL-E with generating accurate samples from statements related to the draw bench benchmark. Furthermore we show that CLIP is not able to rerank those generated samples consistently. To this end we propose LogicRank, a neuro-symbolic reaso"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.13518","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/2208.13518/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-05T04:52:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AhSWjsyyD0C34c5Bdh5JjA12UonoElALJJkcTB3o29fpbQMaOdtwHe7HfwmIuqcW8DZ990Zf45q2n6tN3daCAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:28:12.899979Z"},"content_sha256":"89467c60f1673d7a2cf41620e72fbbdccaf10a4bed2663ea50c3fceb8f0c1ff4","schema_version":"1.0","event_id":"sha256:89467c60f1673d7a2cf41620e72fbbdccaf10a4bed2663ea50c3fceb8f0c1ff4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K5HVGLMCYOVEJ32M2E4L7WP7TF/bundle.json","state_url":"https://pith.science/pith/K5HVGLMCYOVEJ32M2E4L7WP7TF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K5HVGLMCYOVEJ32M2E4L7WP7TF/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-08-03T17:28:12Z","links":{"resolver":"https://pith.science/pith/K5HVGLMCYOVEJ32M2E4L7WP7TF","bundle":"https://pith.science/pith/K5HVGLMCYOVEJ32M2E4L7WP7TF/bundle.json","state":"https://pith.science/pith/K5HVGLMCYOVEJ32M2E4L7WP7TF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K5HVGLMCYOVEJ32M2E4L7WP7TF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:K5HVGLMCYOVEJ32M2E4L7WP7TF","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":"54e12f15d87638326f2b71d5a0f10724cff0766a141be516fc8d172bb0137871","cross_cats_sorted":["cs.CL","cs.CV","cs.LO","cs.SC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-08-29T11:40:36Z","title_canon_sha256":"2081d517e7d4fa10e117367e56d43055845c015de90114aee6c78d293615512f"},"schema_version":"1.0","source":{"id":"2208.13518","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.13518","created_at":"2026-07-05T04:52:17Z"},{"alias_kind":"arxiv_version","alias_value":"2208.13518v1","created_at":"2026-07-05T04:52:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.13518","created_at":"2026-07-05T04:52:17Z"},{"alias_kind":"pith_short_12","alias_value":"K5HVGLMCYOVE","created_at":"2026-07-05T04:52:17Z"},{"alias_kind":"pith_short_16","alias_value":"K5HVGLMCYOVEJ32M","created_at":"2026-07-05T04:52:17Z"},{"alias_kind":"pith_short_8","alias_value":"K5HVGLMC","created_at":"2026-07-05T04:52:17Z"}],"graph_snapshots":[{"event_id":"sha256:89467c60f1673d7a2cf41620e72fbbdccaf10a4bed2663ea50c3fceb8f0c1ff4","target":"graph","created_at":"2026-07-05T04:52:17Z","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/2208.13518/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Text-to-image models have recently achieved remarkable success with seemingly accurate samples in photo-realistic quality. However as state-of-the-art language models still struggle evaluating precise statements consistently, so do language model based image generation processes. In this work we showcase problems of state-of-the-art text-to-image models like DALL-E with generating accurate samples from statements related to the draw bench benchmark. Furthermore we show that CLIP is not able to rerank those generated samples consistently. To this end we propose LogicRank, a neuro-symbolic reaso","authors_text":"Bj\\\"orn Deiseroth, Devendra Singh Dhami, Hikaru Shindo, Kristian Kersting, Patrick Schramowski","cross_cats":["cs.CL","cs.CV","cs.LO","cs.SC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-08-29T11:40:36Z","title":"LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.13518","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:3382970140a4fa3b37206361f7cd341870c63f80529c2ea469dea072888d96c0","target":"record","created_at":"2026-07-05T04:52:17Z","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":"54e12f15d87638326f2b71d5a0f10724cff0766a141be516fc8d172bb0137871","cross_cats_sorted":["cs.CL","cs.CV","cs.LO","cs.SC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-08-29T11:40:36Z","title_canon_sha256":"2081d517e7d4fa10e117367e56d43055845c015de90114aee6c78d293615512f"},"schema_version":"1.0","source":{"id":"2208.13518","kind":"arxiv","version":1}},"canonical_sha256":"574f532d82c3aa44ef4cd138bfd9ff995b124f668c3a843a25c4e8d2f7506037","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"574f532d82c3aa44ef4cd138bfd9ff995b124f668c3a843a25c4e8d2f7506037","first_computed_at":"2026-07-05T04:52:17.944905Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:52:17.944905Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iiR0YLaujx5xlt5vTpPMdKRkbo5f5zpRbB3wR5whuM8Kled5eQ1pPenI/tEbPx8hUQoA9W9/uLOpiPDW0dFtCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:52:17.945390Z","signed_message":"canonical_sha256_bytes"},"source_id":"2208.13518","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3382970140a4fa3b37206361f7cd341870c63f80529c2ea469dea072888d96c0","sha256:89467c60f1673d7a2cf41620e72fbbdccaf10a4bed2663ea50c3fceb8f0c1ff4"],"state_sha256":"17cab70f0b90f7fbd610fea4b770533506f2e976cb1fd79e2d30858d49185c35"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uO9LK/ujbU40hfCfFJIelXFdSLfryWw7IsMcXfi0yT/0wdz4Sk1IRNBncBGAr/YOoYaw1fCdQoh2roNiIqTdBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T17:28:12.905782Z","bundle_sha256":"76f451fd84f094e7930a4a2c5b8db3859c04510f8d9ebfe9cafdc6f2fc39fb47"}}