{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:MJPC5QAU6DHTFENFGANSXJ6GQO","short_pith_number":"pith:MJPC5QAU","canonical_record":{"source":{"id":"1812.05265","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-13T05:06:11Z","cross_cats_sorted":[],"title_canon_sha256":"604f3f098dc7e7f0e970d748d37c5243267e42d0426525755be19a04cb1d9a4d","abstract_canon_sha256":"febfa34fbfa453ac2bf0c56198cb3f0761c6bd0c94142bda7d7a7a13529872e9"},"schema_version":"1.0"},"canonical_sha256":"625e2ec014f0cf3291a5301b2ba7c683b23dfecd06cf38016f28e1436c954982","source":{"kind":"arxiv","id":"1812.05265","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.05265","created_at":"2026-05-17T23:52:51Z"},{"alias_kind":"arxiv_version","alias_value":"1812.05265v2","created_at":"2026-05-17T23:52:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.05265","created_at":"2026-05-17T23:52:51Z"},{"alias_kind":"pith_short_12","alias_value":"MJPC5QAU6DHT","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"MJPC5QAU6DHTFENF","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"MJPC5QAU","created_at":"2026-05-18T12:32:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:MJPC5QAU6DHTFENFGANSXJ6GQO","target":"record","payload":{"canonical_record":{"source":{"id":"1812.05265","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-13T05:06:11Z","cross_cats_sorted":[],"title_canon_sha256":"604f3f098dc7e7f0e970d748d37c5243267e42d0426525755be19a04cb1d9a4d","abstract_canon_sha256":"febfa34fbfa453ac2bf0c56198cb3f0761c6bd0c94142bda7d7a7a13529872e9"},"schema_version":"1.0"},"canonical_sha256":"625e2ec014f0cf3291a5301b2ba7c683b23dfecd06cf38016f28e1436c954982","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:52:51.327681Z","signature_b64":"pI35NfWoIp31d4KaVhKogae5sSLmZA99eJaH/GYm5Yh/NQ1F2Zq/2hwTrO6sC/YHd5Znwj7LI8d3RzgMIjBzDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"625e2ec014f0cf3291a5301b2ba7c683b23dfecd06cf38016f28e1436c954982","last_reissued_at":"2026-05-17T23:52:51.326917Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:52:51.326917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1812.05265","source_version":2,"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-17T23:52:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MpXv3OAU/um1g3fbyvvA2ZxTRKIfrzmpTwKxzmUfD2sk9Lb9ExneviKkJApZYapynfogAxEtoEK3Hfd0HGCvAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T00:34:35.603605Z"},"content_sha256":"87e6bbf172c963c9d2d37c210566b9cdfe781dee32da6e3f955f9883d516fd09","schema_version":"1.0","event_id":"sha256:87e6bbf172c963c9d2d37c210566b9cdfe781dee32da6e3f955f9883d516fd09"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:MJPC5QAU6DHTFENFGANSXJ6GQO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Active Inductive Logic Programming for Code Search","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aishwarya Sivaraman, Guy Van den Broeck, Miryung Kim, Tianyi Zhang","submitted_at":"2018-12-13T05:06:11Z","abstract_excerpt":"Modern search techniques either cannot efficiently incorporate human feedback to refine search results or to express structural or semantic properties of desired code. The key insight of our interactive code search technique ALICE is that user feedback could be actively incorporated to allow users to easily express and refine search queries. We design a query language to model the structure and semantics of code as logic facts. Given a code example with user annotations, ALICE automatically extracts a logic query from features that are tagged as important. Users can refine the search query by "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.05265","kind":"arxiv","version":2},"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-17T23:52:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zdnQcEcFUHFHek1HYSloBnK1FeDyNfzU64pZGHARK2Rwpbm/FMoGtuH8MNi2dhKcP0uvsqC2cU2o41ELSyL1Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T00:34:35.603952Z"},"content_sha256":"5ffe925d482eebe9bab540f6375fafb76c062734796e5b1727623f8dd1927065","schema_version":"1.0","event_id":"sha256:5ffe925d482eebe9bab540f6375fafb76c062734796e5b1727623f8dd1927065"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MJPC5QAU6DHTFENFGANSXJ6GQO/bundle.json","state_url":"https://pith.science/pith/MJPC5QAU6DHTFENFGANSXJ6GQO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MJPC5QAU6DHTFENFGANSXJ6GQO/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-05-28T00:34:35Z","links":{"resolver":"https://pith.science/pith/MJPC5QAU6DHTFENFGANSXJ6GQO","bundle":"https://pith.science/pith/MJPC5QAU6DHTFENFGANSXJ6GQO/bundle.json","state":"https://pith.science/pith/MJPC5QAU6DHTFENFGANSXJ6GQO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MJPC5QAU6DHTFENFGANSXJ6GQO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:MJPC5QAU6DHTFENFGANSXJ6GQO","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":"febfa34fbfa453ac2bf0c56198cb3f0761c6bd0c94142bda7d7a7a13529872e9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-13T05:06:11Z","title_canon_sha256":"604f3f098dc7e7f0e970d748d37c5243267e42d0426525755be19a04cb1d9a4d"},"schema_version":"1.0","source":{"id":"1812.05265","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.05265","created_at":"2026-05-17T23:52:51Z"},{"alias_kind":"arxiv_version","alias_value":"1812.05265v2","created_at":"2026-05-17T23:52:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.05265","created_at":"2026-05-17T23:52:51Z"},{"alias_kind":"pith_short_12","alias_value":"MJPC5QAU6DHT","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"MJPC5QAU6DHTFENF","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"MJPC5QAU","created_at":"2026-05-18T12:32:37Z"}],"graph_snapshots":[{"event_id":"sha256:5ffe925d482eebe9bab540f6375fafb76c062734796e5b1727623f8dd1927065","target":"graph","created_at":"2026-05-17T23:52:51Z","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":"Modern search techniques either cannot efficiently incorporate human feedback to refine search results or to express structural or semantic properties of desired code. The key insight of our interactive code search technique ALICE is that user feedback could be actively incorporated to allow users to easily express and refine search queries. We design a query language to model the structure and semantics of code as logic facts. Given a code example with user annotations, ALICE automatically extracts a logic query from features that are tagged as important. Users can refine the search query by ","authors_text":"Aishwarya Sivaraman, Guy Van den Broeck, Miryung Kim, Tianyi Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-13T05:06:11Z","title":"Active Inductive Logic Programming for Code Search"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.05265","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:87e6bbf172c963c9d2d37c210566b9cdfe781dee32da6e3f955f9883d516fd09","target":"record","created_at":"2026-05-17T23:52:51Z","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":"febfa34fbfa453ac2bf0c56198cb3f0761c6bd0c94142bda7d7a7a13529872e9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-12-13T05:06:11Z","title_canon_sha256":"604f3f098dc7e7f0e970d748d37c5243267e42d0426525755be19a04cb1d9a4d"},"schema_version":"1.0","source":{"id":"1812.05265","kind":"arxiv","version":2}},"canonical_sha256":"625e2ec014f0cf3291a5301b2ba7c683b23dfecd06cf38016f28e1436c954982","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"625e2ec014f0cf3291a5301b2ba7c683b23dfecd06cf38016f28e1436c954982","first_computed_at":"2026-05-17T23:52:51.326917Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:52:51.326917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pI35NfWoIp31d4KaVhKogae5sSLmZA99eJaH/GYm5Yh/NQ1F2Zq/2hwTrO6sC/YHd5Znwj7LI8d3RzgMIjBzDQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:52:51.327681Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.05265","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:87e6bbf172c963c9d2d37c210566b9cdfe781dee32da6e3f955f9883d516fd09","sha256:5ffe925d482eebe9bab540f6375fafb76c062734796e5b1727623f8dd1927065"],"state_sha256":"2bf34fb21451281f3aae688ee4e2b8b73361f60cd439451a2ae65065af5d1d76"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DsH2oP6HODxraMo33YBHLbRZ497HnqAvdcoskO97aPA8ZzSCOPaZTE42dQGpPhyw5zAoFmBuaHoEnchCBx5MCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T00:34:35.605925Z","bundle_sha256":"2c5b4451f861325601cdb8185968a161c25d69e641a2bcfbea193f70da9b64c9"}}