LeanGeo: Formalisierung geometrischer Wettbewerbsaufgaben in Lean
Geometrieaufgaben stellen eine zentrale Testplattform für die Rechenfähigkeiten von KI-Systemen dar. Bisher können die meisten automatischen Lösungswerkzeuge Probleme nicht in einem einheitlichen Rahmen formulieren, was…