Forschung
Vibe Coding an LLM-powered Theorem Prover
Isabellm ist ein brandneuer, von großen Sprachmodellen unterstützter Theorem-Prover für Isabelle/HOL, der komplette Beweise automatisch erz…
arXiv – cs.AI