AMD AI League team: ProofStack