{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:QSOFBSBZYCIOQ2DM2IYUTC5EFE","short_pith_number":"pith:QSOFBSBZ","schema_version":"1.0","canonical_sha256":"849c50c839c090e8686cd231498ba4293c2b3f75181ae8f09e796dc181457b09","source":{"kind":"arxiv","id":"2607.01773","version":1},"attestation_state":"computed","paper":{"title":"Verifiable Knowledge Expansion through Retrieval-Grounded Formal Concept Analysis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Heejung Lee, Yujin Yang","submitted_at":"2026-07-02T06:44:35Z","abstract_excerpt":"Ontology construction requires deciding which objects, attributes, and structural relations should be accepted as valid knowledge. Language models can propose such structures from text, but their outputs can still be unsupported or inconsistent. This paper proposes a retrieval-augmented small language model (SLM) framework that uses formal concept analysis (FCA) as a symbolic verification loop for knowledge expansion. Starting from seed attributes, FCA proposes implications over a growing formal context. A retrieval-grounded SLM oracle then validates each implication or returns a counterexampl"},"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":"2607.01773","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-02T06:44:35Z","cross_cats_sorted":[],"title_canon_sha256":"c47917ab8cc9db2fbf59fb0b62670c865f4756fc351a786bd08d95d3d74fd7ec","abstract_canon_sha256":"83e01655ddcc15ecc3bd2c023afbe1f4d16de71a1ebec9d9ba87f12ffca648c4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-03T01:17:29.258467Z","signature_b64":"CnTfnNGpo8vqw1WUScaEVexJD2zF61h1vgw0AHXxtteLfrdX+u7dibKFX/rc3Q+iUin7Wh1W0RMfteXWMkcrDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"849c50c839c090e8686cd231498ba4293c2b3f75181ae8f09e796dc181457b09","last_reissued_at":"2026-07-03T01:17:29.258060Z","signature_status":"signed_v1","first_computed_at":"2026-07-03T01:17:29.258060Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Verifiable Knowledge Expansion through Retrieval-Grounded Formal Concept Analysis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Heejung Lee, Yujin Yang","submitted_at":"2026-07-02T06:44:35Z","abstract_excerpt":"Ontology construction requires deciding which objects, attributes, and structural relations should be accepted as valid knowledge. Language models can propose such structures from text, but their outputs can still be unsupported or inconsistent. This paper proposes a retrieval-augmented small language model (SLM) framework that uses formal concept analysis (FCA) as a symbolic verification loop for knowledge expansion. Starting from seed attributes, FCA proposes implications over a growing formal context. A retrieval-grounded SLM oracle then validates each implication or returns a counterexampl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.01773","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/2607.01773/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":"2607.01773","created_at":"2026-07-03T01:17:29.258121+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.01773v1","created_at":"2026-07-03T01:17:29.258121+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.01773","created_at":"2026-07-03T01:17:29.258121+00:00"},{"alias_kind":"pith_short_12","alias_value":"QSOFBSBZYCIO","created_at":"2026-07-03T01:17:29.258121+00:00"},{"alias_kind":"pith_short_16","alias_value":"QSOFBSBZYCIOQ2DM","created_at":"2026-07-03T01:17:29.258121+00:00"},{"alias_kind":"pith_short_8","alias_value":"QSOFBSBZ","created_at":"2026-07-03T01:17:29.258121+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/QSOFBSBZYCIOQ2DM2IYUTC5EFE","json":"https://pith.science/pith/QSOFBSBZYCIOQ2DM2IYUTC5EFE.json","graph_json":"https://pith.science/api/pith-number/QSOFBSBZYCIOQ2DM2IYUTC5EFE/graph.json","events_json":"https://pith.science/api/pith-number/QSOFBSBZYCIOQ2DM2IYUTC5EFE/events.json","paper":"https://pith.science/paper/QSOFBSBZ"},"agent_actions":{"view_html":"https://pith.science/pith/QSOFBSBZYCIOQ2DM2IYUTC5EFE","download_json":"https://pith.science/pith/QSOFBSBZYCIOQ2DM2IYUTC5EFE.json","view_paper":"https://pith.science/paper/QSOFBSBZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.01773&json=true","fetch_graph":"https://pith.science/api/pith-number/QSOFBSBZYCIOQ2DM2IYUTC5EFE/graph.json","fetch_events":"https://pith.science/api/pith-number/QSOFBSBZYCIOQ2DM2IYUTC5EFE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QSOFBSBZYCIOQ2DM2IYUTC5EFE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QSOFBSBZYCIOQ2DM2IYUTC5EFE/action/storage_attestation","attest_author":"https://pith.science/pith/QSOFBSBZYCIOQ2DM2IYUTC5EFE/action/author_attestation","sign_citation":"https://pith.science/pith/QSOFBSBZYCIOQ2DM2IYUTC5EFE/action/citation_signature","submit_replication":"https://pith.science/pith/QSOFBSBZYCIOQ2DM2IYUTC5EFE/action/replication_record"}},"created_at":"2026-07-03T01:17:29.258121+00:00","updated_at":"2026-07-03T01:17:29.258121+00:00"}