판 이력 — Efficiently Provable Approximations for Non-Polynomial Functions | AIChainDay