판 이력 — High Quality Embeddings for Horn Logic Reasoning | AIChainDay