AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs — Pouya Pezeshkpour, Estevam Hruschka | Kutubxona