Search for a command to run...
DeepSeek-Prover: Fortschritte im Theorembeweis in LLMs durch große Mengen synthetischer Daten