판 이력 — The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning | AIChainDay