{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:UQAUXDPBABF6YWQ2PMULCQB2I7","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":"837df658ffe166fe6fd64af8259217cf9b668e7fd4f9f225902b92069e3d1103","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-09-01T12:09:43Z","title_canon_sha256":"f169134a595b79548e01376f6e9770e1c7ece83f28781b69844a6b7fc7a13129"},"schema_version":"1.0","source":{"id":"2509.01412","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.01412","created_at":"2026-06-26T01:15:45Z"},{"alias_kind":"arxiv_version","alias_value":"2509.01412v3","created_at":"2026-06-26T01:15:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.01412","created_at":"2026-06-26T01:15:45Z"},{"alias_kind":"pith_short_12","alias_value":"UQAUXDPBABF6","created_at":"2026-06-26T01:15:45Z"},{"alias_kind":"pith_short_16","alias_value":"UQAUXDPBABF6YWQ2","created_at":"2026-06-26T01:15:45Z"},{"alias_kind":"pith_short_8","alias_value":"UQAUXDPB","created_at":"2026-06-26T01:15:45Z"}],"graph_snapshots":[{"event_id":"sha256:9f463e7952cdb4d6b37c27d8ffaa3e0b8f102275252bd4496344a90f8c9d7665","target":"graph","created_at":"2026-06-26T01:15:45Z","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/2509.01412/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) show strong reasoning via chain-of-thought (CoT) prompting, but the process is opaque, which makes verification, debugging, and control difficult in high-stakes settings. We present Vis-CoT, a human-in-the-loop framework that converts linear CoT text into an interactive reasoning graph. Users can visualize the logical flow, identify flawed steps, and intervene by pruning incorrect paths and grafting new, user-defined premises. This shifts interaction from passive observation to active collaboration, steering models toward more accurate and trustworthy conclusions. ","authors_text":"Arben Krasniqi, Claire Schmit, Elena Hadjigeorgiou, Irina Rusu, Kabir Khan, Kaviraj Pather, Marc Pons","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-09-01T12:09:43Z","title":"Vis-CoT: A Human-in-the-Loop Framework for Interactive Visualization and Intervention in LLM Chain-of-Thought Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.01412","kind":"arxiv","version":3},"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:9ed09ac4c4b4dc031c8ab78987228509b9c0e9d4c6d66dfd71cc4d413daf3101","target":"record","created_at":"2026-06-26T01:15:45Z","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":"837df658ffe166fe6fd64af8259217cf9b668e7fd4f9f225902b92069e3d1103","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-09-01T12:09:43Z","title_canon_sha256":"f169134a595b79548e01376f6e9770e1c7ece83f28781b69844a6b7fc7a13129"},"schema_version":"1.0","source":{"id":"2509.01412","kind":"arxiv","version":3}},"canonical_sha256":"a4014b8de1004bec5a1a7b28b1403a47faed847e5a935cc4f5bdc0d981401435","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a4014b8de1004bec5a1a7b28b1403a47faed847e5a935cc4f5bdc0d981401435","first_computed_at":"2026-06-26T01:15:45.612270Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-26T01:15:45.612270Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uK0bLFgHI36PRezPUlrH+bLrhDr1BDvhEO6N77m66EmA1ZXnBG2FJwR34wnQNxoXrDNCkaL+M21Supj+kHilAA==","signature_status":"signed_v1","signed_at":"2026-06-26T01:15:45.612693Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.01412","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9ed09ac4c4b4dc031c8ab78987228509b9c0e9d4c6d66dfd71cc4d413daf3101","sha256:9f463e7952cdb4d6b37c27d8ffaa3e0b8f102275252bd4496344a90f8c9d7665"],"state_sha256":"2413feff4aa5acd5b1fbf22efec9097a29f009d565d665b946bce38dd6b33257"}