World Wires · Story 110164 · corroborated · 1 Quelle(n)

TCSExam: Evaluierung von Sprachmodellen in der theoretischen Informatik

Forscher stellen TCSExam vor, ein Benchmark zur Bewertung großer Sprachmodelle bei Aufgaben der theoretischen Informatik und des Theorembeweises.

Im Desk öffnen

Berichterstattung

Was diese Seite indexiert