판 이력 — Learning Symbolic Constraint Representations from Examples: A Neuro-Symbolic Approach | AIChainDay