판 이력 — Provable Subexponential Algorithms for NIST Third-Round Lattice Families | AIChainDay