Search for a command to run...
LEAP: Beschleunigung von LLMs für formale Mathematik mit agentic frameworks