{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:3QNWLREJHMDZIMVVPHDP6RT6FP","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":"d10976c91cd6b1c7c900c407dc0e9b4a72a7beb1a3fbfe6f25fcf8adbd6ca840","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-10-18T12:02:41Z","title_canon_sha256":"73fb325f4442fdeb5c4d4c214d917ca2d2cd91e2df5211aac55dcf71ccfb244c"},"schema_version":"1.0","source":{"id":"2410.14399","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.14399","created_at":"2026-07-05T10:12:01Z"},{"alias_kind":"arxiv_version","alias_value":"2410.14399v2","created_at":"2026-07-05T10:12:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.14399","created_at":"2026-07-05T10:12:01Z"},{"alias_kind":"pith_short_12","alias_value":"3QNWLREJHMDZ","created_at":"2026-07-05T10:12:01Z"},{"alias_kind":"pith_short_16","alias_value":"3QNWLREJHMDZIMVV","created_at":"2026-07-05T10:12:01Z"},{"alias_kind":"pith_short_8","alias_value":"3QNWLREJ","created_at":"2026-07-05T10:12:01Z"}],"graph_snapshots":[{"event_id":"sha256:74f6746572829716a5b3d53c797c9dd33d60ad2840eab07d3fdcd308f9a1a0ef","target":"graph","created_at":"2026-07-05T10:12:01Z","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/2410.14399/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Syllogistic reasoning is crucial for Natural Language Inference (NLI). This capability is particularly significant in specialized domains such as biomedicine, where it can support automatic evidence interpretation and scientific discovery. This paper presents SylloBio-NLI, a novel framework that leverages external ontologies to systematically instantiate diverse syllogistic arguments for biomedical NLI. We employ SylloBio-NLI to evaluate Large Language Models (LLMs) on identifying valid conclusions and extracting supporting evidence across 28 syllogistic schemes instantiated with human genome ","authors_text":"Andre Freitas, Danilo Carvalho, Magdalena Wysocka, Marco Valentino, Oskar Wysocki","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-10-18T12:02:41Z","title":"SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.14399","kind":"arxiv","version":2},"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:9380c78ce89cae99be6c1fdecf305b2876c00ccaf84c653d1610e575d130ffe9","target":"record","created_at":"2026-07-05T10:12:01Z","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":"d10976c91cd6b1c7c900c407dc0e9b4a72a7beb1a3fbfe6f25fcf8adbd6ca840","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CL","submitted_at":"2024-10-18T12:02:41Z","title_canon_sha256":"73fb325f4442fdeb5c4d4c214d917ca2d2cd91e2df5211aac55dcf71ccfb244c"},"schema_version":"1.0","source":{"id":"2410.14399","kind":"arxiv","version":2}},"canonical_sha256":"dc1b65c4893b079432b579c6ff467e2bd0b72fe1bdbc7c2ef53431edc563a498","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dc1b65c4893b079432b579c6ff467e2bd0b72fe1bdbc7c2ef53431edc563a498","first_computed_at":"2026-07-05T10:12:01.842697Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:12:01.842697Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Me/5nLGEfRvqdrMwAk+zVvKzebYe/OTFTIYRDCWaz/FX4h2p5PSFM57ZqdAUHOFwJ7HXYxucmniYeuDPDY94Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:12:01.843251Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.14399","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9380c78ce89cae99be6c1fdecf305b2876c00ccaf84c653d1610e575d130ffe9","sha256:74f6746572829716a5b3d53c797c9dd33d60ad2840eab07d3fdcd308f9a1a0ef"],"state_sha256":"e74e8d32d256a3f789e1f1a173129418c7076b84a31ed159c617770663f34330"}