{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:I7VO6QG3BZGTM6WETXXGY466CT","short_pith_number":"pith:I7VO6QG3","schema_version":"1.0","canonical_sha256":"47eaef40db0e4d367ac49dee6c73de14d7ed1c8b881e9da397af2e9480488f0c","source":{"kind":"arxiv","id":"1707.08713","version":1},"attestation_state":"computed","paper":{"title":"Determining Semantic Textual Similarity using Natural Deduction Proofs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Daisuke Bekki, Hitomi Yanaka, Koji Mineshima, Pascual Martinez-Gomez","submitted_at":"2017-07-27T05:49:51Z","abstract_excerpt":"Determining semantic textual similarity is a core research subject in natural language processing. Since vector-based models for sentence representation often use shallow information, capturing accurate semantics is difficult. By contrast, logical semantic representations capture deeper levels of sentence semantics, but their symbolic nature does not offer graded notions of textual similarity. We propose a method for determining semantic textual similarity by combining shallow features with features extracted from natural deduction proofs of bidirectional entailment relations between sentence "},"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":"1707.08713","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2017-07-27T05:49:51Z","cross_cats_sorted":[],"title_canon_sha256":"51ca6791bd5e26ce68ba5895ab994edb67cf11794236c8b693f479e3ad4157f1","abstract_canon_sha256":"b2e827ff270729ea385aff418e5f6ef88b1124c9fae5663a2f824a2277f36616"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:22.194297Z","signature_b64":"wYekRsXHDDTX78y2VTlhGC5jfogr6hTtSfk3TXhCy11fVlC8nVo0kLwfc9SCeJGoZYE0d9k93kuZjAAX54HZDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"47eaef40db0e4d367ac49dee6c73de14d7ed1c8b881e9da397af2e9480488f0c","last_reissued_at":"2026-05-18T00:39:22.193605Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:22.193605Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Determining Semantic Textual Similarity using Natural Deduction Proofs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Daisuke Bekki, Hitomi Yanaka, Koji Mineshima, Pascual Martinez-Gomez","submitted_at":"2017-07-27T05:49:51Z","abstract_excerpt":"Determining semantic textual similarity is a core research subject in natural language processing. Since vector-based models for sentence representation often use shallow information, capturing accurate semantics is difficult. By contrast, logical semantic representations capture deeper levels of sentence semantics, but their symbolic nature does not offer graded notions of textual similarity. We propose a method for determining semantic textual similarity by combining shallow features with features extracted from natural deduction proofs of bidirectional entailment relations between sentence "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08713","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":""},"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":"1707.08713","created_at":"2026-05-18T00:39:22.193708+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.08713v1","created_at":"2026-05-18T00:39:22.193708+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08713","created_at":"2026-05-18T00:39:22.193708+00:00"},{"alias_kind":"pith_short_12","alias_value":"I7VO6QG3BZGT","created_at":"2026-05-18T12:31:21.493067+00:00"},{"alias_kind":"pith_short_16","alias_value":"I7VO6QG3BZGTM6WE","created_at":"2026-05-18T12:31:21.493067+00:00"},{"alias_kind":"pith_short_8","alias_value":"I7VO6QG3","created_at":"2026-05-18T12:31:21.493067+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/I7VO6QG3BZGTM6WETXXGY466CT","json":"https://pith.science/pith/I7VO6QG3BZGTM6WETXXGY466CT.json","graph_json":"https://pith.science/api/pith-number/I7VO6QG3BZGTM6WETXXGY466CT/graph.json","events_json":"https://pith.science/api/pith-number/I7VO6QG3BZGTM6WETXXGY466CT/events.json","paper":"https://pith.science/paper/I7VO6QG3"},"agent_actions":{"view_html":"https://pith.science/pith/I7VO6QG3BZGTM6WETXXGY466CT","download_json":"https://pith.science/pith/I7VO6QG3BZGTM6WETXXGY466CT.json","view_paper":"https://pith.science/paper/I7VO6QG3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.08713&json=true","fetch_graph":"https://pith.science/api/pith-number/I7VO6QG3BZGTM6WETXXGY466CT/graph.json","fetch_events":"https://pith.science/api/pith-number/I7VO6QG3BZGTM6WETXXGY466CT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/I7VO6QG3BZGTM6WETXXGY466CT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/I7VO6QG3BZGTM6WETXXGY466CT/action/storage_attestation","attest_author":"https://pith.science/pith/I7VO6QG3BZGTM6WETXXGY466CT/action/author_attestation","sign_citation":"https://pith.science/pith/I7VO6QG3BZGTM6WETXXGY466CT/action/citation_signature","submit_replication":"https://pith.science/pith/I7VO6QG3BZGTM6WETXXGY466CT/action/replication_record"}},"created_at":"2026-05-18T00:39:22.193708+00:00","updated_at":"2026-05-18T00:39:22.193708+00:00"}