{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:ETXFI3UBBCXZ7GW2LQ556MOAIH","short_pith_number":"pith:ETXFI3UB","canonical_record":{"source":{"id":"1911.06904","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-11-15T23:12:30Z","cross_cats_sorted":["cs.LG","cs.LO","cs.SC"],"title_canon_sha256":"4a4e71aab4f951a24bf8c08e48e2448a8a97c0ec303ae4a3557b8953272b770a","abstract_canon_sha256":"9f987f8a15cb367a3190933f124a88f340fd1932250580a235277126ff7316dd"},"schema_version":"1.0"},"canonical_sha256":"24ee546e8108af9f9ada5c3bdf31c041c35c1e42e8924b2d7e9b13a7c8a398fd","source":{"kind":"arxiv","id":"1911.06904","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.06904","created_at":"2026-07-05T01:08:10Z"},{"alias_kind":"arxiv_version","alias_value":"1911.06904v3","created_at":"2026-07-05T01:08:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.06904","created_at":"2026-07-05T01:08:10Z"},{"alias_kind":"pith_short_12","alias_value":"ETXFI3UBBCXZ","created_at":"2026-07-05T01:08:10Z"},{"alias_kind":"pith_short_16","alias_value":"ETXFI3UBBCXZ7GW2","created_at":"2026-07-05T01:08:10Z"},{"alias_kind":"pith_short_8","alias_value":"ETXFI3UB","created_at":"2026-07-05T01:08:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:ETXFI3UBBCXZ7GW2LQ556MOAIH","target":"record","payload":{"canonical_record":{"source":{"id":"1911.06904","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-11-15T23:12:30Z","cross_cats_sorted":["cs.LG","cs.LO","cs.SC"],"title_canon_sha256":"4a4e71aab4f951a24bf8c08e48e2448a8a97c0ec303ae4a3557b8953272b770a","abstract_canon_sha256":"9f987f8a15cb367a3190933f124a88f340fd1932250580a235277126ff7316dd"},"schema_version":"1.0"},"canonical_sha256":"24ee546e8108af9f9ada5c3bdf31c041c35c1e42e8924b2d7e9b13a7c8a398fd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:08:10.707169Z","signature_b64":"q4ncsdd5N8/o2A04/bBy5XbpSS/7zurb4OFSfIhe5QSLWOt7FBIf7c31ADl53XkpI8rcEqa+Fc/k1n3DAyoQDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"24ee546e8108af9f9ada5c3bdf31c041c35c1e42e8924b2d7e9b13a7c8a398fd","last_reissued_at":"2026-07-05T01:08:10.706792Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:08:10.706792Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1911.06904","source_version":3,"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-07-05T01:08:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8SNTun1HzpMF01Q0yPOPxL8GvKcQE6nl7zx7YjLUOWQlaap7PHQgUXN0UO6vD+UyoRLPGtguaTjSdCjbz5tgAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T23:47:59.607395Z"},"content_sha256":"51c537c6fe8b06d08dcb02363f6dcd82e1187519d7ad2b142ebe3ce285239b92","schema_version":"1.0","event_id":"sha256:51c537c6fe8b06d08dcb02363f6dcd82e1187519d7ad2b142ebe3ce285239b92"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:ETXFI3UBBCXZ7GW2LQ556MOAIH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.LO","cs.SC"],"primary_cat":"cs.AI","authors_text":"Achille Fokoue, Cristina Cornelio, Ibrahim Abdelaziz, Kenneth Forbus, Lingfei Wu, Maxwell Crouse, Veronika Thost","submitted_at":"2019-11-15T23:12:30Z","abstract_excerpt":"Recent advances in the integration of deep learning with automated theorem proving have centered around the representation of logical formulae as inputs to deep learning systems. In particular, there has been a growing interest in adapting structure-aware neural methods to work with the underlying graph representations of logical expressions. While more effective than character and token-level approaches, graph-based methods have often made representational trade-offs that limited their ability to capture key structural properties of their inputs. In this work we propose a novel approach for e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.06904","kind":"arxiv","version":3},"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/1911.06904/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"},"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-07-05T01:08:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CrcEj4StT1GG7xkb5DepjciOnf9gdEZqkK/bF0Zpk5RlYiptd+rnSbV2BfgiSV3pZ7/QMiJZkR3t+vaNOpXpCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T23:47:59.608327Z"},"content_sha256":"6af490418ba2d773cd035d9637c639cd9f7aea5a1d1dce6860b128dde1f82e72","schema_version":"1.0","event_id":"sha256:6af490418ba2d773cd035d9637c639cd9f7aea5a1d1dce6860b128dde1f82e72"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ETXFI3UBBCXZ7GW2LQ556MOAIH/bundle.json","state_url":"https://pith.science/pith/ETXFI3UBBCXZ7GW2LQ556MOAIH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ETXFI3UBBCXZ7GW2LQ556MOAIH/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-12T23:47:59Z","links":{"resolver":"https://pith.science/pith/ETXFI3UBBCXZ7GW2LQ556MOAIH","bundle":"https://pith.science/pith/ETXFI3UBBCXZ7GW2LQ556MOAIH/bundle.json","state":"https://pith.science/pith/ETXFI3UBBCXZ7GW2LQ556MOAIH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ETXFI3UBBCXZ7GW2LQ556MOAIH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:ETXFI3UBBCXZ7GW2LQ556MOAIH","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":"9f987f8a15cb367a3190933f124a88f340fd1932250580a235277126ff7316dd","cross_cats_sorted":["cs.LG","cs.LO","cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-11-15T23:12:30Z","title_canon_sha256":"4a4e71aab4f951a24bf8c08e48e2448a8a97c0ec303ae4a3557b8953272b770a"},"schema_version":"1.0","source":{"id":"1911.06904","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.06904","created_at":"2026-07-05T01:08:10Z"},{"alias_kind":"arxiv_version","alias_value":"1911.06904v3","created_at":"2026-07-05T01:08:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.06904","created_at":"2026-07-05T01:08:10Z"},{"alias_kind":"pith_short_12","alias_value":"ETXFI3UBBCXZ","created_at":"2026-07-05T01:08:10Z"},{"alias_kind":"pith_short_16","alias_value":"ETXFI3UBBCXZ7GW2","created_at":"2026-07-05T01:08:10Z"},{"alias_kind":"pith_short_8","alias_value":"ETXFI3UB","created_at":"2026-07-05T01:08:10Z"}],"graph_snapshots":[{"event_id":"sha256:6af490418ba2d773cd035d9637c639cd9f7aea5a1d1dce6860b128dde1f82e72","target":"graph","created_at":"2026-07-05T01:08:10Z","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/1911.06904/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent advances in the integration of deep learning with automated theorem proving have centered around the representation of logical formulae as inputs to deep learning systems. In particular, there has been a growing interest in adapting structure-aware neural methods to work with the underlying graph representations of logical expressions. While more effective than character and token-level approaches, graph-based methods have often made representational trade-offs that limited their ability to capture key structural properties of their inputs. In this work we propose a novel approach for e","authors_text":"Achille Fokoue, Cristina Cornelio, Ibrahim Abdelaziz, Kenneth Forbus, Lingfei Wu, Maxwell Crouse, Veronika Thost","cross_cats":["cs.LG","cs.LO","cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-11-15T23:12:30Z","title":"Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.06904","kind":"arxiv","version":3},"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:51c537c6fe8b06d08dcb02363f6dcd82e1187519d7ad2b142ebe3ce285239b92","target":"record","created_at":"2026-07-05T01:08:10Z","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":"9f987f8a15cb367a3190933f124a88f340fd1932250580a235277126ff7316dd","cross_cats_sorted":["cs.LG","cs.LO","cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-11-15T23:12:30Z","title_canon_sha256":"4a4e71aab4f951a24bf8c08e48e2448a8a97c0ec303ae4a3557b8953272b770a"},"schema_version":"1.0","source":{"id":"1911.06904","kind":"arxiv","version":3}},"canonical_sha256":"24ee546e8108af9f9ada5c3bdf31c041c35c1e42e8924b2d7e9b13a7c8a398fd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"24ee546e8108af9f9ada5c3bdf31c041c35c1e42e8924b2d7e9b13a7c8a398fd","first_computed_at":"2026-07-05T01:08:10.706792Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:08:10.706792Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"q4ncsdd5N8/o2A04/bBy5XbpSS/7zurb4OFSfIhe5QSLWOt7FBIf7c31ADl53XkpI8rcEqa+Fc/k1n3DAyoQDA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:08:10.707169Z","signed_message":"canonical_sha256_bytes"},"source_id":"1911.06904","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:51c537c6fe8b06d08dcb02363f6dcd82e1187519d7ad2b142ebe3ce285239b92","sha256:6af490418ba2d773cd035d9637c639cd9f7aea5a1d1dce6860b128dde1f82e72"],"state_sha256":"a3f774abfc45be6c0b56155c56a41d76458de975d55d30bc47c3c8ad9bf5b8ee"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IN7FBu+/RENBQuDSLUIVk1TLN1xX3w2+6IAavzPtFYB8rchAo3xHUYNqDPTY8x/GGhSbr1mfaCrTYstt436MCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T23:47:59.616590Z","bundle_sha256":"a3fd3282d5a75e1508c313c8a5b100d596226b2cfeec9f6999332965199a8cb0"}}