leading to significant progress in our idea of this discipline. Nevertheless, the immediate improvements in Large Language Versions (LLMs) and the emergence of LLM-based AI agent frameworks pose new challenges and chances for additional investigation. In the sphere of method automation, a completely new generation of AI-primarily based agents has e