Forschung
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 automatische…
arXiv – cs.AI