Mon Jun 29 · 11:00 AM · North 210 4OPS: Exact Enumeration and Difficulty Modeling for Integer Arithmetic Puzzles in AI-Driven Learning Design and Personalization