{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:DIBSKAPCEUQZTDLXUNVKRFTGDS","short_pith_number":"pith:DIBSKAPC","schema_version":"1.0","canonical_sha256":"1a032501e22521998d77a36aa896661c8c2d844f8cc487a1f6aed24748749567","source":{"kind":"arxiv","id":"2605.20098","version":1},"attestation_state":"computed","paper":{"title":"Neurosymbolic Learning for Inference-Time Argumentation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Adam Dejl, Adam Gould, Francesca Toni, Gabriel Freedman, Jianqi Jiang, Lihu Chen, Mansi","submitted_at":"2026-05-19T16:49:29Z","abstract_excerpt":"Claim verification is an important problem in high-stakes settings, including health and finance. When information underpinning claims is incomplete or conflicting, uncertain answers may be more appropriate than binary true or false classifications. In all cases, faithful explanations of the considerations determining the final verdict are crucial. We introduce inference-time argumentation (ITA), a trainable neurosymbolic framework for ternary claim verification in which a formal argumentation semantics giving the strength of claims is used both (i) to guide LLM training as models learn to gen"},"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.20098","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-19T16:49:29Z","cross_cats_sorted":[],"title_canon_sha256":"b5e9bcd1bb28e839bc5a50f288b22679450dfefa775f94697afb599801de02ce","abstract_canon_sha256":"e5e615cf8450414320af7c0c875f2515705fbec1ca62390e39d9f08587d7097e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T02:06:01.961917Z","signature_b64":"BHxXZpr1ml6wGChuwGQ+PXhNCcj9DOafpR2l3UJNOWFvD3tvIendgquFVElQrA430cpgHcY+RgaxEvrZ2NizBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1a032501e22521998d77a36aa896661c8c2d844f8cc487a1f6aed24748749567","last_reissued_at":"2026-05-20T02:06:01.961286Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T02:06:01.961286Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Neurosymbolic Learning for Inference-Time Argumentation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Adam Dejl, Adam Gould, Francesca Toni, Gabriel Freedman, Jianqi Jiang, Lihu Chen, Mansi","submitted_at":"2026-05-19T16:49:29Z","abstract_excerpt":"Claim verification is an important problem in high-stakes settings, including health and finance. When information underpinning claims is incomplete or conflicting, uncertain answers may be more appropriate than binary true or false classifications. In all cases, faithful explanations of the considerations determining the final verdict are crucial. We introduce inference-time argumentation (ITA), a trainable neurosymbolic framework for ternary claim verification in which a formal argumentation semantics giving the strength of claims is used both (i) to guide LLM training as models learn to gen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.20098","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.20098/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.20098","created_at":"2026-05-20T02:06:01.961418+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.20098v1","created_at":"2026-05-20T02:06:01.961418+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.20098","created_at":"2026-05-20T02:06:01.961418+00:00"},{"alias_kind":"pith_short_12","alias_value":"DIBSKAPCEUQZ","created_at":"2026-05-20T02:06:01.961418+00:00"},{"alias_kind":"pith_short_16","alias_value":"DIBSKAPCEUQZTDLX","created_at":"2026-05-20T02:06:01.961418+00:00"},{"alias_kind":"pith_short_8","alias_value":"DIBSKAPC","created_at":"2026-05-20T02:06:01.961418+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/DIBSKAPCEUQZTDLXUNVKRFTGDS","json":"https://pith.science/pith/DIBSKAPCEUQZTDLXUNVKRFTGDS.json","graph_json":"https://pith.science/api/pith-number/DIBSKAPCEUQZTDLXUNVKRFTGDS/graph.json","events_json":"https://pith.science/api/pith-number/DIBSKAPCEUQZTDLXUNVKRFTGDS/events.json","paper":"https://pith.science/paper/DIBSKAPC"},"agent_actions":{"view_html":"https://pith.science/pith/DIBSKAPCEUQZTDLXUNVKRFTGDS","download_json":"https://pith.science/pith/DIBSKAPCEUQZTDLXUNVKRFTGDS.json","view_paper":"https://pith.science/paper/DIBSKAPC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.20098&json=true","fetch_graph":"https://pith.science/api/pith-number/DIBSKAPCEUQZTDLXUNVKRFTGDS/graph.json","fetch_events":"https://pith.science/api/pith-number/DIBSKAPCEUQZTDLXUNVKRFTGDS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DIBSKAPCEUQZTDLXUNVKRFTGDS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DIBSKAPCEUQZTDLXUNVKRFTGDS/action/storage_attestation","attest_author":"https://pith.science/pith/DIBSKAPCEUQZTDLXUNVKRFTGDS/action/author_attestation","sign_citation":"https://pith.science/pith/DIBSKAPCEUQZTDLXUNVKRFTGDS/action/citation_signature","submit_replication":"https://pith.science/pith/DIBSKAPCEUQZTDLXUNVKRFTGDS/action/replication_record"}},"created_at":"2026-05-20T02:06:01.961418+00:00","updated_at":"2026-05-20T02:06:01.961418+00:00"}