{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:T3SOVF4ZYXTAR5C734TRUYEBRI","short_pith_number":"pith:T3SOVF4Z","schema_version":"1.0","canonical_sha256":"9ee4ea9799c5e608f45fdf271a60818a292ab7d0572fd12ae1a32b5b79095ad2","source":{"kind":"arxiv","id":"2505.23059","version":1},"attestation_state":"computed","paper":{"title":"From Token to Action: State Machine Reasoning to Mitigate Overthinking in Information Retrieval","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.IR","authors_text":"Dohyeon Lee, Seung-won Hwang, Yeonseok Jeong","submitted_at":"2025-05-29T04:04:25Z","abstract_excerpt":"Chain-of-Thought (CoT) prompting enables complex reasoning in large language models (LLMs), including applications in information retrieval (IR). However, it often leads to overthinking, where models produce excessively long and semantically redundant traces with little or no benefit. We identify two key challenges in IR: redundant trajectories that revisit similar states and misguided reasoning that diverges from user intent. To address these, we propose State Machine Reasoning (SMR), a transition-based reasoning framework composed of discrete actions (Refine, Rerank, Stop) that support early"},"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":"2505.23059","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IR","submitted_at":"2025-05-29T04:04:25Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"8215732d64ca19aa4d810d0743a2846b5d398dc31eb18d7837074beb5f6b5be7","abstract_canon_sha256":"26bfc90120125ea6395d49cd528cb3311f9e9b4aa6bff9e14356e747bb9412a2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:11:54.796226Z","signature_b64":"WKSBkxbNOcUNmrY6w9Hv30p3ChDItgqRNpBMXtQEv0aAyNAbdXGlXok+D6wED2FLqmXPA+YKpeMwGgUtE3HiAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9ee4ea9799c5e608f45fdf271a60818a292ab7d0572fd12ae1a32b5b79095ad2","last_reissued_at":"2026-07-05T11:11:54.795657Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:11:54.795657Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"From Token to Action: State Machine Reasoning to Mitigate Overthinking in Information Retrieval","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.IR","authors_text":"Dohyeon Lee, Seung-won Hwang, Yeonseok Jeong","submitted_at":"2025-05-29T04:04:25Z","abstract_excerpt":"Chain-of-Thought (CoT) prompting enables complex reasoning in large language models (LLMs), including applications in information retrieval (IR). However, it often leads to overthinking, where models produce excessively long and semantically redundant traces with little or no benefit. We identify two key challenges in IR: redundant trajectories that revisit similar states and misguided reasoning that diverges from user intent. To address these, we propose State Machine Reasoning (SMR), a transition-based reasoning framework composed of discrete actions (Refine, Rerank, Stop) that support early"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.23059","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/2505.23059/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":"2505.23059","created_at":"2026-07-05T11:11:54.795734+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.23059v1","created_at":"2026-07-05T11:11:54.795734+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.23059","created_at":"2026-07-05T11:11:54.795734+00:00"},{"alias_kind":"pith_short_12","alias_value":"T3SOVF4ZYXTA","created_at":"2026-07-05T11:11:54.795734+00:00"},{"alias_kind":"pith_short_16","alias_value":"T3SOVF4ZYXTAR5C7","created_at":"2026-07-05T11:11:54.795734+00:00"},{"alias_kind":"pith_short_8","alias_value":"T3SOVF4Z","created_at":"2026-07-05T11:11:54.795734+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/T3SOVF4ZYXTAR5C734TRUYEBRI","json":"https://pith.science/pith/T3SOVF4ZYXTAR5C734TRUYEBRI.json","graph_json":"https://pith.science/api/pith-number/T3SOVF4ZYXTAR5C734TRUYEBRI/graph.json","events_json":"https://pith.science/api/pith-number/T3SOVF4ZYXTAR5C734TRUYEBRI/events.json","paper":"https://pith.science/paper/T3SOVF4Z"},"agent_actions":{"view_html":"https://pith.science/pith/T3SOVF4ZYXTAR5C734TRUYEBRI","download_json":"https://pith.science/pith/T3SOVF4ZYXTAR5C734TRUYEBRI.json","view_paper":"https://pith.science/paper/T3SOVF4Z","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.23059&json=true","fetch_graph":"https://pith.science/api/pith-number/T3SOVF4ZYXTAR5C734TRUYEBRI/graph.json","fetch_events":"https://pith.science/api/pith-number/T3SOVF4ZYXTAR5C734TRUYEBRI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/T3SOVF4ZYXTAR5C734TRUYEBRI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/T3SOVF4ZYXTAR5C734TRUYEBRI/action/storage_attestation","attest_author":"https://pith.science/pith/T3SOVF4ZYXTAR5C734TRUYEBRI/action/author_attestation","sign_citation":"https://pith.science/pith/T3SOVF4ZYXTAR5C734TRUYEBRI/action/citation_signature","submit_replication":"https://pith.science/pith/T3SOVF4ZYXTAR5C734TRUYEBRI/action/replication_record"}},"created_at":"2026-07-05T11:11:54.795734+00:00","updated_at":"2026-07-05T11:11:54.795734+00:00"}