{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:DYBYJQG3ZXBMSORTRZB3DJHFTH","short_pith_number":"pith:DYBYJQG3","schema_version":"1.0","canonical_sha256":"1e0384c0dbcdc2c93a338e43b1a4e599ebfdf4a7a10b1d8d30d2dfed0fa49e91","source":{"kind":"arxiv","id":"2607.18564","version":1},"attestation_state":"computed","paper":{"title":"HALO: Interactive Co-abductive Reasoning in Scientific Hypothesis Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.HC","authors_text":"JiaSyuan Chang, Kat Limqueco, Xiang 'Anthony' Chen, Youngseung Jeon","submitted_at":"2026-07-20T22:54:42Z","abstract_excerpt":"Scientific discovery is essential yet inefficient, primarily because generating hypotheses within a vast search space hinders breakthroughs. While current AI systems assist in generating new hypothesis candidates, they lack interactive support for the reasoning process by which users develop these outputs into promising hypotheses, resulting in surface-level hypotheses. To address this issue, we present co-abduction, a human-AI collaborative framework for abductive reasoning in scientific hypothesis generation. To operationalize co-abduction, we build HALO, a human-AI collaborative system for "},"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":"2607.18564","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2026-07-20T22:54:42Z","cross_cats_sorted":[],"title_canon_sha256":"8f97c4774ed7c13b1ddb5b5d59b58d4942ed1679af776b8d3b09fba62542d740","abstract_canon_sha256":"69aafaec55a2da24186c262c22bd1d8e16785765495bd0844ab18bace8f50a43"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-22T00:22:54.525819Z","signature_b64":"ipxmw4qz1GXeQ4JSTGUXz0cX+qSnZFyR75NeDwciTAgyerhEvA3QXVnUpA/Zm17ggrEl6bzA2Aa3tNdosjVVDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1e0384c0dbcdc2c93a338e43b1a4e599ebfdf4a7a10b1d8d30d2dfed0fa49e91","last_reissued_at":"2026-07-22T00:22:54.524989Z","signature_status":"signed_v1","first_computed_at":"2026-07-22T00:22:54.524989Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"HALO: Interactive Co-abductive Reasoning in Scientific Hypothesis Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.HC","authors_text":"JiaSyuan Chang, Kat Limqueco, Xiang 'Anthony' Chen, Youngseung Jeon","submitted_at":"2026-07-20T22:54:42Z","abstract_excerpt":"Scientific discovery is essential yet inefficient, primarily because generating hypotheses within a vast search space hinders breakthroughs. While current AI systems assist in generating new hypothesis candidates, they lack interactive support for the reasoning process by which users develop these outputs into promising hypotheses, resulting in surface-level hypotheses. To address this issue, we present co-abduction, a human-AI collaborative framework for abductive reasoning in scientific hypothesis generation. To operationalize co-abduction, we build HALO, a human-AI collaborative system for "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.18564","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/2607.18564/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":"2607.18564","created_at":"2026-07-22T00:22:54.525425+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.18564v1","created_at":"2026-07-22T00:22:54.525425+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.18564","created_at":"2026-07-22T00:22:54.525425+00:00"},{"alias_kind":"pith_short_12","alias_value":"DYBYJQG3ZXBM","created_at":"2026-07-22T00:22:54.525425+00:00"},{"alias_kind":"pith_short_16","alias_value":"DYBYJQG3ZXBMSORT","created_at":"2026-07-22T00:22:54.525425+00:00"},{"alias_kind":"pith_short_8","alias_value":"DYBYJQG3","created_at":"2026-07-22T00:22:54.525425+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/DYBYJQG3ZXBMSORTRZB3DJHFTH","json":"https://pith.science/pith/DYBYJQG3ZXBMSORTRZB3DJHFTH.json","graph_json":"https://pith.science/api/pith-number/DYBYJQG3ZXBMSORTRZB3DJHFTH/graph.json","events_json":"https://pith.science/api/pith-number/DYBYJQG3ZXBMSORTRZB3DJHFTH/events.json","paper":"https://pith.science/paper/DYBYJQG3"},"agent_actions":{"view_html":"https://pith.science/pith/DYBYJQG3ZXBMSORTRZB3DJHFTH","download_json":"https://pith.science/pith/DYBYJQG3ZXBMSORTRZB3DJHFTH.json","view_paper":"https://pith.science/paper/DYBYJQG3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.18564&json=true","fetch_graph":"https://pith.science/api/pith-number/DYBYJQG3ZXBMSORTRZB3DJHFTH/graph.json","fetch_events":"https://pith.science/api/pith-number/DYBYJQG3ZXBMSORTRZB3DJHFTH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DYBYJQG3ZXBMSORTRZB3DJHFTH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DYBYJQG3ZXBMSORTRZB3DJHFTH/action/storage_attestation","attest_author":"https://pith.science/pith/DYBYJQG3ZXBMSORTRZB3DJHFTH/action/author_attestation","sign_citation":"https://pith.science/pith/DYBYJQG3ZXBMSORTRZB3DJHFTH/action/citation_signature","submit_replication":"https://pith.science/pith/DYBYJQG3ZXBMSORTRZB3DJHFTH/action/replication_record"}},"created_at":"2026-07-22T00:22:54.525425+00:00","updated_at":"2026-07-22T00:22:54.525425+00:00"}