Finde Modelle, Firmen und Themen

Automatisiertes Beweisen von Euklidischen Geometrietheoremen, insbesondere auf Olympiad-Niveau, bleibt ein zentrales Problem in der Künstli…

Geometrieaufgaben stellen eine zentrale Testplattform für die Rechenfähigkeiten von KI-Systemen dar. Bisher können die meisten automatische…