판 이력 — Induction and Inquiry via Probabilistic Reasoning over Language and Code | AIChainDay