{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:HOU5FTS2L3NQUJKS64CFRV2HMC","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":"9f1786feafb53666f6451a681eca18dd13d0d1809247153386d31f95017b758c","cross_cats_sorted":["cs.AI","cs.ET"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-23T13:31:05Z","title_canon_sha256":"88019e1e9d865351b433e6d8b472fbbb703fb31537cf68edc1d270bf7aaca7b8"},"schema_version":"1.0","source":{"id":"2607.21307","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.21307","created_at":"2026-07-24T01:24:24Z"},{"alias_kind":"arxiv_version","alias_value":"2607.21307v1","created_at":"2026-07-24T01:24:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.21307","created_at":"2026-07-24T01:24:24Z"},{"alias_kind":"pith_short_12","alias_value":"HOU5FTS2L3NQ","created_at":"2026-07-24T01:24:24Z"},{"alias_kind":"pith_short_16","alias_value":"HOU5FTS2L3NQUJKS","created_at":"2026-07-24T01:24:24Z"},{"alias_kind":"pith_short_8","alias_value":"HOU5FTS2","created_at":"2026-07-24T01:24:24Z"}],"graph_snapshots":[{"event_id":"sha256:7024f8edf1a7489853e0a11331f69538d6ec9aa20409cce947b0d0dbbf55a45b","target":"graph","created_at":"2026-07-24T01:24:24Z","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/2607.21307/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The reliance on unstructured free text for documenting clinical trial protocols creates a significant barrier to automated reasoning, cohort discovery, and trial simulation. The lack of formal structure obscures critical temporal phenotypes, such as dynamic eligibility criteria and event timing constraints. Although Temporal Ensemble Logic (TEL) offers an expressive framework for modeling these elements, manual encoding remains a prohibitive bottleneck. We introduce the CT-TEL workflow: a scalable pipeline leveraging Large Language Models (LLMs) to translate narrative clinical protocols into T","authors_text":"Guo-Qiang Zhang, Licong Cui, Rashmie Abeysinghe, Xiaojin Li, Xiaoqian Jiang, Xubing Hao, Yan Huang","cross_cats":["cs.AI","cs.ET"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-23T13:31:05Z","title":"Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.21307","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:dab8cfc16a1312afa692a9fe7a05637d5afb2c10f6d6eea2a81fde13a3422413","target":"record","created_at":"2026-07-24T01:24:24Z","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":"9f1786feafb53666f6451a681eca18dd13d0d1809247153386d31f95017b758c","cross_cats_sorted":["cs.AI","cs.ET"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-23T13:31:05Z","title_canon_sha256":"88019e1e9d865351b433e6d8b472fbbb703fb31537cf68edc1d270bf7aaca7b8"},"schema_version":"1.0","source":{"id":"2607.21307","kind":"arxiv","version":1}},"canonical_sha256":"3ba9d2ce5a5edb0a2552f70458d7476081f70eb69432c7e710946f0fa26fe0ef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3ba9d2ce5a5edb0a2552f70458d7476081f70eb69432c7e710946f0fa26fe0ef","first_computed_at":"2026-07-24T01:24:24.983651Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-24T01:24:24.983651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7n9O15YyX6HI+9Mk/bRCIywubXY0tCLv1M5oU8UQFyyd26k1FOLfhY+t/fkJFtEEoBcWK7QalbeRTU2KyBh6DA==","signature_status":"signed_v1","signed_at":"2026-07-24T01:24:24.984519Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.21307","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dab8cfc16a1312afa692a9fe7a05637d5afb2c10f6d6eea2a81fde13a3422413","sha256:7024f8edf1a7489853e0a11331f69538d6ec9aa20409cce947b0d0dbbf55a45b"],"state_sha256":"a6587676fda7c25312b0c669d8dc6e31f4da3e86c2809a34a4a2f31e1d7c78fc"}