{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:2UDZA7K5ILTHKIO2UXMRUVPTWZ","short_pith_number":"pith:2UDZA7K5","canonical_record":{"source":{"id":"2506.08243","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-09T21:21:12Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"014305815b04c380a510b89b35ef9d276f0780d777e89ba138fc97f9c6f49e0a","abstract_canon_sha256":"b699827950c89f7f3fc0e9fac90ab5c38a1a6c188c4d038de6e71b8ae0d3ad34"},"schema_version":"1.0"},"canonical_sha256":"d507907d5d42e67521daa5d91a55f3b66f92b8d22b9cc6be65001ccf0944d17e","source":{"kind":"arxiv","id":"2506.08243","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.08243","created_at":"2026-07-05T11:19:09Z"},{"alias_kind":"arxiv_version","alias_value":"2506.08243v1","created_at":"2026-07-05T11:19:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08243","created_at":"2026-07-05T11:19:09Z"},{"alias_kind":"pith_short_12","alias_value":"2UDZA7K5ILTH","created_at":"2026-07-05T11:19:09Z"},{"alias_kind":"pith_short_16","alias_value":"2UDZA7K5ILTHKIO2","created_at":"2026-07-05T11:19:09Z"},{"alias_kind":"pith_short_8","alias_value":"2UDZA7K5","created_at":"2026-07-05T11:19:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:2UDZA7K5ILTHKIO2UXMRUVPTWZ","target":"record","payload":{"canonical_record":{"source":{"id":"2506.08243","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-09T21:21:12Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"014305815b04c380a510b89b35ef9d276f0780d777e89ba138fc97f9c6f49e0a","abstract_canon_sha256":"b699827950c89f7f3fc0e9fac90ab5c38a1a6c188c4d038de6e71b8ae0d3ad34"},"schema_version":"1.0"},"canonical_sha256":"d507907d5d42e67521daa5d91a55f3b66f92b8d22b9cc6be65001ccf0944d17e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:19:09.071050Z","signature_b64":"cxv/N0KkLMvsVkbqTze7AYMDVXvtF2mUGKk47ZVwvpvlxqHOJrbzIdE/Mlne+/PFOpV7vcbhJPpk6ldlqbNwAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d507907d5d42e67521daa5d91a55f3b66f92b8d22b9cc6be65001ccf0944d17e","last_reissued_at":"2026-07-05T11:19:09.070651Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:19:09.070651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.08243","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-05T11:19:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GuPuHBFIUCgT7Sv9jC/icPcaJ0wAFvmY8Hqt9FBPK0SaOhOZxdepTx0OMa6AP/t/bAgzvZQvmBrrprNYZ3PCDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T10:24:05.523623Z"},"content_sha256":"270843d87a597cabece8362018a5c9c1fc641191127e114d2fc0a89fdb58a6a8","schema_version":"1.0","event_id":"sha256:270843d87a597cabece8362018a5c9c1fc641191127e114d2fc0a89fdb58a6a8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:2UDZA7K5ILTHKIO2UXMRUVPTWZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Artem Bisliouk, Ivan Ruchkin, Rohith Reddy Nama, Zhenjiang Mao","submitted_at":"2025-06-09T21:21:12Z","abstract_excerpt":"Large Language Models (LLMs) have shown impressive performance in mathematical reasoning tasks when guided by Chain-of-Thought (CoT) prompting. However, they tend to produce highly confident yet incorrect outputs, which poses significant risks in domains like education, where users may lack the expertise to assess reasoning steps. To address this, we propose a structured framework that models stepwise confidence as a temporal signal and evaluates it using Signal Temporal Logic (STL). In particular, we define formal STL-based constraints to capture desirable temporal properties and compute robu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.08243","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/2506.08243/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-05T11:19:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t0aPJWy58vBR7Qkwg/PwsmXtrh5xMi9IqxWsRjRHVegVnodrB/JhMDlLLCSZZ/2JAlC/YkVdbbKdkYOta2pHDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T10:24:05.524148Z"},"content_sha256":"a9c28f88be102c8768b37f1846de943ab731a5ca12edb56613295959cb93dc6b","schema_version":"1.0","event_id":"sha256:a9c28f88be102c8768b37f1846de943ab731a5ca12edb56613295959cb93dc6b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2UDZA7K5ILTHKIO2UXMRUVPTWZ/bundle.json","state_url":"https://pith.science/pith/2UDZA7K5ILTHKIO2UXMRUVPTWZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2UDZA7K5ILTHKIO2UXMRUVPTWZ/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-07T10:24:05Z","links":{"resolver":"https://pith.science/pith/2UDZA7K5ILTHKIO2UXMRUVPTWZ","bundle":"https://pith.science/pith/2UDZA7K5ILTHKIO2UXMRUVPTWZ/bundle.json","state":"https://pith.science/pith/2UDZA7K5ILTHKIO2UXMRUVPTWZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2UDZA7K5ILTHKIO2UXMRUVPTWZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:2UDZA7K5ILTHKIO2UXMRUVPTWZ","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":"b699827950c89f7f3fc0e9fac90ab5c38a1a6c188c4d038de6e71b8ae0d3ad34","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-09T21:21:12Z","title_canon_sha256":"014305815b04c380a510b89b35ef9d276f0780d777e89ba138fc97f9c6f49e0a"},"schema_version":"1.0","source":{"id":"2506.08243","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.08243","created_at":"2026-07-05T11:19:09Z"},{"alias_kind":"arxiv_version","alias_value":"2506.08243v1","created_at":"2026-07-05T11:19:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08243","created_at":"2026-07-05T11:19:09Z"},{"alias_kind":"pith_short_12","alias_value":"2UDZA7K5ILTH","created_at":"2026-07-05T11:19:09Z"},{"alias_kind":"pith_short_16","alias_value":"2UDZA7K5ILTHKIO2","created_at":"2026-07-05T11:19:09Z"},{"alias_kind":"pith_short_8","alias_value":"2UDZA7K5","created_at":"2026-07-05T11:19:09Z"}],"graph_snapshots":[{"event_id":"sha256:a9c28f88be102c8768b37f1846de943ab731a5ca12edb56613295959cb93dc6b","target":"graph","created_at":"2026-07-05T11:19:09Z","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/2506.08243/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) have shown impressive performance in mathematical reasoning tasks when guided by Chain-of-Thought (CoT) prompting. However, they tend to produce highly confident yet incorrect outputs, which poses significant risks in domains like education, where users may lack the expertise to assess reasoning steps. To address this, we propose a structured framework that models stepwise confidence as a temporal signal and evaluates it using Signal Temporal Logic (STL). In particular, we define formal STL-based constraints to capture desirable temporal properties and compute robu","authors_text":"Artem Bisliouk, Ivan Ruchkin, Rohith Reddy Nama, Zhenjiang Mao","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-09T21:21:12Z","title":"Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.08243","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:270843d87a597cabece8362018a5c9c1fc641191127e114d2fc0a89fdb58a6a8","target":"record","created_at":"2026-07-05T11:19:09Z","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":"b699827950c89f7f3fc0e9fac90ab5c38a1a6c188c4d038de6e71b8ae0d3ad34","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-09T21:21:12Z","title_canon_sha256":"014305815b04c380a510b89b35ef9d276f0780d777e89ba138fc97f9c6f49e0a"},"schema_version":"1.0","source":{"id":"2506.08243","kind":"arxiv","version":1}},"canonical_sha256":"d507907d5d42e67521daa5d91a55f3b66f92b8d22b9cc6be65001ccf0944d17e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d507907d5d42e67521daa5d91a55f3b66f92b8d22b9cc6be65001ccf0944d17e","first_computed_at":"2026-07-05T11:19:09.070651Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:19:09.070651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cxv/N0KkLMvsVkbqTze7AYMDVXvtF2mUGKk47ZVwvpvlxqHOJrbzIdE/Mlne+/PFOpV7vcbhJPpk6ldlqbNwAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:19:09.071050Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.08243","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:270843d87a597cabece8362018a5c9c1fc641191127e114d2fc0a89fdb58a6a8","sha256:a9c28f88be102c8768b37f1846de943ab731a5ca12edb56613295959cb93dc6b"],"state_sha256":"2b2af225400257864c20f0a2c9a57c074eeef863152a567edce5d1300886b1d7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g1dtDgrF3cw+WRK0FRqNmIYV3tr4AR4NbXrPBVA+PNP2fQWvydhdPa3LS36zLJJP4hF3aRZ5MtsIE7Ym084ZAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T10:24:05.528561Z","bundle_sha256":"a57c12e028cf2e5c499069b73edcf8b160acf86e31b5fff5b2e26a503ab6d994"}}