{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:ITOL4KP7VMPIT2REWFXT65IB2I","short_pith_number":"pith:ITOL4KP7","schema_version":"1.0","canonical_sha256":"44dcbe29ffab1e89ea24b16f3f7501d21d2ab2865f9642c2f82ae3c67570451f","source":{"kind":"arxiv","id":"2605.27014","version":1},"attestation_state":"computed","paper":{"title":"ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Adnan Rashid","submitted_at":"2026-05-26T13:32:15Z","abstract_excerpt":"Large Language Models (LLMs) have transformed artificial intelligence from primarily generative systems into increasingly capable reasoning agents. Recent advances in theorem proving, autoformalization, symbolic reasoning, and tool-augmented language models demonstrate substantial progress toward machine-assisted formal reasoning. However, current reasoning systems still suffer from hidden logical inconsistencies, hallucinated symbolic transitions, unsupported theorem applications, and limited reliability guarantees. Existing approaches remain fragmented across formal verification, runtime ass"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.27014","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-26T13:32:15Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"2e795189fabdcfa6ed5a68e90498f3b1ac43791d87075fbde47742186098d4e4","abstract_canon_sha256":"769590774e60dde7dedfd681a49e9b36bb79b46fb557d7413b36c0c16a9e4170"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-27T01:06:24.218853Z","signature_b64":"BJF/0dPWqKjS2H+Pi44kPwM1Nyytq1HJr6IABhi5tK4MojiXyQ/S/kFaZR+0GWmdCfkIySc5ddR4Epfv4bFyCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"44dcbe29ffab1e89ea24b16f3f7501d21d2ab2865f9642c2f82ae3c67570451f","last_reissued_at":"2026-05-27T01:06:24.218229Z","signature_status":"signed_v1","first_computed_at":"2026-05-27T01:06:24.218229Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Adnan Rashid","submitted_at":"2026-05-26T13:32:15Z","abstract_excerpt":"Large Language Models (LLMs) have transformed artificial intelligence from primarily generative systems into increasingly capable reasoning agents. Recent advances in theorem proving, autoformalization, symbolic reasoning, and tool-augmented language models demonstrate substantial progress toward machine-assisted formal reasoning. However, current reasoning systems still suffer from hidden logical inconsistencies, hallucinated symbolic transitions, unsupported theorem applications, and limited reliability guarantees. Existing approaches remain fragmented across formal verification, runtime ass"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.27014","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/2605.27014/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.27014","created_at":"2026-05-27T01:06:24.218352+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.27014v1","created_at":"2026-05-27T01:06:24.218352+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.27014","created_at":"2026-05-27T01:06:24.218352+00:00"},{"alias_kind":"pith_short_12","alias_value":"ITOL4KP7VMPI","created_at":"2026-05-27T01:06:24.218352+00:00"},{"alias_kind":"pith_short_16","alias_value":"ITOL4KP7VMPIT2RE","created_at":"2026-05-27T01:06:24.218352+00:00"},{"alias_kind":"pith_short_8","alias_value":"ITOL4KP7","created_at":"2026-05-27T01:06:24.218352+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ITOL4KP7VMPIT2REWFXT65IB2I","json":"https://pith.science/pith/ITOL4KP7VMPIT2REWFXT65IB2I.json","graph_json":"https://pith.science/api/pith-number/ITOL4KP7VMPIT2REWFXT65IB2I/graph.json","events_json":"https://pith.science/api/pith-number/ITOL4KP7VMPIT2REWFXT65IB2I/events.json","paper":"https://pith.science/paper/ITOL4KP7"},"agent_actions":{"view_html":"https://pith.science/pith/ITOL4KP7VMPIT2REWFXT65IB2I","download_json":"https://pith.science/pith/ITOL4KP7VMPIT2REWFXT65IB2I.json","view_paper":"https://pith.science/paper/ITOL4KP7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.27014&json=true","fetch_graph":"https://pith.science/api/pith-number/ITOL4KP7VMPIT2REWFXT65IB2I/graph.json","fetch_events":"https://pith.science/api/pith-number/ITOL4KP7VMPIT2REWFXT65IB2I/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ITOL4KP7VMPIT2REWFXT65IB2I/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ITOL4KP7VMPIT2REWFXT65IB2I/action/storage_attestation","attest_author":"https://pith.science/pith/ITOL4KP7VMPIT2REWFXT65IB2I/action/author_attestation","sign_citation":"https://pith.science/pith/ITOL4KP7VMPIT2REWFXT65IB2I/action/citation_signature","submit_replication":"https://pith.science/pith/ITOL4KP7VMPIT2REWFXT65IB2I/action/replication_record"}},"created_at":"2026-05-27T01:06:24.218352+00:00","updated_at":"2026-05-27T01:06:24.218352+00:00"}