{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:YBR6LUIFV6JH274KLN3DVLU6DS","short_pith_number":"pith:YBR6LUIF","schema_version":"1.0","canonical_sha256":"c063e5d105af927d7f8a5b763aae9e1cb0a4247217041ae5a2f664f19343ba95","source":{"kind":"arxiv","id":"2606.10644","version":1},"attestation_state":"computed","paper":{"title":"Answer Set Programming for Egg Extraction and More","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Ilya Sergey, Ziyi Yang","submitted_at":"2026-06-09T09:49:39Z","abstract_excerpt":"Three years ago, Philip Zucker posted an attempt to use answer set programming (ASP) for term extraction from e-graphs Although the task is NP-hard and ASP offers a natural modelling of e-graph terms, the initial attempt did not yield convincing results.\n  From the aspect of practical ASP users, we first pinpoint the way to make ASP work and work well on the task of e-graph extraction. The initial results show the na\\\"ive ASP encoding is comparable on efficiency to the well-optimised ILP-based exact DAG extraction in the extraction-gym, and find several extra optimal extraction on the complex "},"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":"2606.10644","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-09T09:49:39Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"0b4a673cbc1d1d7bda4652f805292e4e6ef6e27fcaceeea72d8c8edc0c9f1a84","abstract_canon_sha256":"603614b6ff507bd82dd6707c2245fb0c085e62ecee1c4284b5eb05b2518cf09d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-10T01:10:31.432685Z","signature_b64":"7bHtTsK5rpGZ5iBoRLqV9P2DyrRwr/aqcs7A5DtkQUsJl9Gfil3tlza32WYXomuLge2qqlOKPA2zKu989McpAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c063e5d105af927d7f8a5b763aae9e1cb0a4247217041ae5a2f664f19343ba95","last_reissued_at":"2026-06-10T01:10:31.431837Z","signature_status":"signed_v1","first_computed_at":"2026-06-10T01:10:31.431837Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Answer Set Programming for Egg Extraction and More","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Ilya Sergey, Ziyi Yang","submitted_at":"2026-06-09T09:49:39Z","abstract_excerpt":"Three years ago, Philip Zucker posted an attempt to use answer set programming (ASP) for term extraction from e-graphs Although the task is NP-hard and ASP offers a natural modelling of e-graph terms, the initial attempt did not yield convincing results.\n  From the aspect of practical ASP users, we first pinpoint the way to make ASP work and work well on the task of e-graph extraction. The initial results show the na\\\"ive ASP encoding is comparable on efficiency to the well-optimised ILP-based exact DAG extraction in the extraction-gym, and find several extra optimal extraction on the complex "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.10644","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.10644/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.10644","created_at":"2026-06-10T01:10:31.431985+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.10644v1","created_at":"2026-06-10T01:10:31.431985+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.10644","created_at":"2026-06-10T01:10:31.431985+00:00"},{"alias_kind":"pith_short_12","alias_value":"YBR6LUIFV6JH","created_at":"2026-06-10T01:10:31.431985+00:00"},{"alias_kind":"pith_short_16","alias_value":"YBR6LUIFV6JH274K","created_at":"2026-06-10T01:10:31.431985+00:00"},{"alias_kind":"pith_short_8","alias_value":"YBR6LUIF","created_at":"2026-06-10T01:10:31.431985+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/YBR6LUIFV6JH274KLN3DVLU6DS","json":"https://pith.science/pith/YBR6LUIFV6JH274KLN3DVLU6DS.json","graph_json":"https://pith.science/api/pith-number/YBR6LUIFV6JH274KLN3DVLU6DS/graph.json","events_json":"https://pith.science/api/pith-number/YBR6LUIFV6JH274KLN3DVLU6DS/events.json","paper":"https://pith.science/paper/YBR6LUIF"},"agent_actions":{"view_html":"https://pith.science/pith/YBR6LUIFV6JH274KLN3DVLU6DS","download_json":"https://pith.science/pith/YBR6LUIFV6JH274KLN3DVLU6DS.json","view_paper":"https://pith.science/paper/YBR6LUIF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.10644&json=true","fetch_graph":"https://pith.science/api/pith-number/YBR6LUIFV6JH274KLN3DVLU6DS/graph.json","fetch_events":"https://pith.science/api/pith-number/YBR6LUIFV6JH274KLN3DVLU6DS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YBR6LUIFV6JH274KLN3DVLU6DS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YBR6LUIFV6JH274KLN3DVLU6DS/action/storage_attestation","attest_author":"https://pith.science/pith/YBR6LUIFV6JH274KLN3DVLU6DS/action/author_attestation","sign_citation":"https://pith.science/pith/YBR6LUIFV6JH274KLN3DVLU6DS/action/citation_signature","submit_replication":"https://pith.science/pith/YBR6LUIFV6JH274KLN3DVLU6DS/action/replication_record"}},"created_at":"2026-06-10T01:10:31.431985+00:00","updated_at":"2026-06-10T01:10:31.431985+00:00"}