In this talk, I present our experiments that explore opportunities for synergy between Traditional AI (e.g., SAT solvers), or ML (e.g., fine-tuned models) with large API-based language models such as ...