{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:3JX55UNYFDQGWLNAB6PJKROJZN","short_pith_number":"pith:3JX55UNY","canonical_record":{"source":{"id":"1808.08609","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-08-26T18:36:20Z","cross_cats_sorted":["cs.AI","cs.CL","stat.ML"],"title_canon_sha256":"8e838119d6d6016838dd711bdc115d9fa7f996d0a741646f21989e646b15ff23","abstract_canon_sha256":"7d71436e2c402ea9bf0a63deb288e75058a552795e02d31db9c5ca9fe99f9d2e"},"schema_version":"1.0"},"canonical_sha256":"da6fded1b828e06b2da00f9e9545c9cb7bee938af14c024536f547d7a0c5b827","source":{"kind":"arxiv","id":"1808.08609","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.08609","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"arxiv_version","alias_value":"1808.08609v1","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.08609","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"pith_short_12","alias_value":"3JX55UNYFDQG","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"3JX55UNYFDQGWLNA","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"3JX55UNY","created_at":"2026-05-18T12:32:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:3JX55UNYFDQGWLNAB6PJKROJZN","target":"record","payload":{"canonical_record":{"source":{"id":"1808.08609","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-08-26T18:36:20Z","cross_cats_sorted":["cs.AI","cs.CL","stat.ML"],"title_canon_sha256":"8e838119d6d6016838dd711bdc115d9fa7f996d0a741646f21989e646b15ff23","abstract_canon_sha256":"7d71436e2c402ea9bf0a63deb288e75058a552795e02d31db9c5ca9fe99f9d2e"},"schema_version":"1.0"},"canonical_sha256":"da6fded1b828e06b2da00f9e9545c9cb7bee938af14c024536f547d7a0c5b827","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:07:13.892638Z","signature_b64":"zBt/IzI9foWIAgUvV4jOa1wPgPMh4FNKRQr/Ua2leTNQ/aGpC6qDTE0xDe6WZ33oPm2iuWziWAjQf9LFI0dFBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"da6fded1b828e06b2da00f9e9545c9cb7bee938af14c024536f547d7a0c5b827","last_reissued_at":"2026-05-18T00:07:13.891948Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:07:13.891948Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.08609","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:07:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q7HODt7J+KqSOsjTSn1vCTSPpHGmz+tivbuc2PdCS/DvU7sQ7FdZlWPxrRljA0z6RrugBfzIaogBzx5fxGrqDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T19:55:53.750070Z"},"content_sha256":"d55932837a1d0c908d8214a40ca32afa6fc2436eb764c0b936aa818a2c0ddd31","schema_version":"1.0","event_id":"sha256:d55932837a1d0c908d8214a40ca32afa6fc2436eb764c0b936aa818a2c0ddd31"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:3JX55UNYFDQGWLNAB6PJKROJZN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Adversarially Regularising Neural NLI Models to Integrate Logical Background Knowledge","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CL","stat.ML"],"primary_cat":"cs.LG","authors_text":"Pasquale Minervini, Sebastian Riedel","submitted_at":"2018-08-26T18:36:20Z","abstract_excerpt":"Adversarial examples are inputs to machine learning models designed to cause the model to make a mistake. They are useful for understanding the shortcomings of machine learning models, interpreting their results, and for regularisation. In NLP, however, most example generation strategies produce input text by using known, pre-specified semantic transformations, requiring significant manual effort and in-depth understanding of the problem and domain. In this paper, we investigate the problem of automatically generating adversarial examples that violate a set of given First-Order Logic constrain"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.08609","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:07:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sJDuuHV04FhB60zwibeT72k7X3Ks8H+FofmRigQnZWh8X43ljTwNh5olX1byY8RJNW433FoFCdU78smXBN/NCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T19:55:53.750895Z"},"content_sha256":"4cff68a02a6ecaabb46765aeaf9bb676f219c81aec427815f27051c52ce3a1c0","schema_version":"1.0","event_id":"sha256:4cff68a02a6ecaabb46765aeaf9bb676f219c81aec427815f27051c52ce3a1c0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3JX55UNYFDQGWLNAB6PJKROJZN/bundle.json","state_url":"https://pith.science/pith/3JX55UNYFDQGWLNAB6PJKROJZN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3JX55UNYFDQGWLNAB6PJKROJZN/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-11T19:55:53Z","links":{"resolver":"https://pith.science/pith/3JX55UNYFDQGWLNAB6PJKROJZN","bundle":"https://pith.science/pith/3JX55UNYFDQGWLNAB6PJKROJZN/bundle.json","state":"https://pith.science/pith/3JX55UNYFDQGWLNAB6PJKROJZN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3JX55UNYFDQGWLNAB6PJKROJZN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:3JX55UNYFDQGWLNAB6PJKROJZN","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":"7d71436e2c402ea9bf0a63deb288e75058a552795e02d31db9c5ca9fe99f9d2e","cross_cats_sorted":["cs.AI","cs.CL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-08-26T18:36:20Z","title_canon_sha256":"8e838119d6d6016838dd711bdc115d9fa7f996d0a741646f21989e646b15ff23"},"schema_version":"1.0","source":{"id":"1808.08609","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.08609","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"arxiv_version","alias_value":"1808.08609v1","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.08609","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"pith_short_12","alias_value":"3JX55UNYFDQG","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"3JX55UNYFDQGWLNA","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"3JX55UNY","created_at":"2026-05-18T12:32:02Z"}],"graph_snapshots":[{"event_id":"sha256:4cff68a02a6ecaabb46765aeaf9bb676f219c81aec427815f27051c52ce3a1c0","target":"graph","created_at":"2026-05-18T00:07:13Z","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"},"paper":{"abstract_excerpt":"Adversarial examples are inputs to machine learning models designed to cause the model to make a mistake. They are useful for understanding the shortcomings of machine learning models, interpreting their results, and for regularisation. In NLP, however, most example generation strategies produce input text by using known, pre-specified semantic transformations, requiring significant manual effort and in-depth understanding of the problem and domain. In this paper, we investigate the problem of automatically generating adversarial examples that violate a set of given First-Order Logic constrain","authors_text":"Pasquale Minervini, Sebastian Riedel","cross_cats":["cs.AI","cs.CL","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-08-26T18:36:20Z","title":"Adversarially Regularising Neural NLI Models to Integrate Logical Background Knowledge"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.08609","kind":"arxiv","version":1},"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:d55932837a1d0c908d8214a40ca32afa6fc2436eb764c0b936aa818a2c0ddd31","target":"record","created_at":"2026-05-18T00:07:13Z","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":"7d71436e2c402ea9bf0a63deb288e75058a552795e02d31db9c5ca9fe99f9d2e","cross_cats_sorted":["cs.AI","cs.CL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-08-26T18:36:20Z","title_canon_sha256":"8e838119d6d6016838dd711bdc115d9fa7f996d0a741646f21989e646b15ff23"},"schema_version":"1.0","source":{"id":"1808.08609","kind":"arxiv","version":1}},"canonical_sha256":"da6fded1b828e06b2da00f9e9545c9cb7bee938af14c024536f547d7a0c5b827","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"da6fded1b828e06b2da00f9e9545c9cb7bee938af14c024536f547d7a0c5b827","first_computed_at":"2026-05-18T00:07:13.891948Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:13.891948Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zBt/IzI9foWIAgUvV4jOa1wPgPMh4FNKRQr/Ua2leTNQ/aGpC6qDTE0xDe6WZ33oPm2iuWziWAjQf9LFI0dFBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:13.892638Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.08609","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d55932837a1d0c908d8214a40ca32afa6fc2436eb764c0b936aa818a2c0ddd31","sha256:4cff68a02a6ecaabb46765aeaf9bb676f219c81aec427815f27051c52ce3a1c0"],"state_sha256":"2f5e967cb21e528f431939204e1a777e1d69a439143ac17a57c4d77a8de80ea8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ooOaC29t5J29sRYIsBTDXXlZa/2ujONlhwyZU0DCk/3t9Rb2JppBUjp8USlTmbNntUPpaiLvJcIHwMcN++F2BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T19:55:53.757553Z","bundle_sha256":"5a1a626c2f546104583c43fddc6bcd22f22694f85cc6c9ed73bc01377c70714d"}}