AMD AI League team: ProofLayer AI