Paper - MiniF2F: Ein cross-system Benchmark für formale Mathematik auf Olympiade-Niveau | Paper | HyperAI

HyperAI

Hauptbereich

GPU

Konsole
Dokumente
Preise

Pulse

Neuigkeiten

Ressourcen

Fachartikel
Notebooks
Datensätze
Wiki

Benchmarks

SOTA
LLM-Modelle
GPU-Bestenliste

Community

Veranstaltungen

Tools

Über uns Nutzungsbedingungen Datenschutzerklärung
Deutsch

Command Palette

Search for a command to run...

HyperAI
Papers
MiniF2F: Ein cross-system Benchmark für formale Mathematik auf Olympiade-Niveau

vor 6 Monaten

KI-Infrastruktur

Ansatz/Rahmenwerk

Zusammenfassung Paper Benchmarks Ressourcen

Gestalten Sie die Zukunft der Künstlichen Intelligenz

Über uns

Über uns Hilfe zu Datensätzen

Produkte

Neuigkeiten Notebooks Datensätze Wiki

Links

© HyperAI

GitHub Discord X (formerly Twitter)

HyperAI

Hauptbereich

GPU

Konsole
Dokumente
Preise

Pulse

Neuigkeiten

Ressourcen

Fachartikel
Notebooks
Datensätze
Wiki

Benchmarks

SOTA
LLM-Modelle
GPU-Bestenliste

Community

Veranstaltungen

Tools

Über uns Nutzungsbedingungen Datenschutzerklärung
Deutsch

Command Palette

Search for a command to run...

HyperAI
Papers
MiniF2F: Ein cross-system Benchmark für formale Mathematik auf Olympiade-Niveau

vor 6 Monaten

KI-Infrastruktur

Ansatz/Rahmenwerk

Zusammenfassung Paper Benchmarks Ressourcen

Gestalten Sie die Zukunft der Künstlichen Intelligenz

Über uns

Über uns Hilfe zu Datensätzen

Produkte

Neuigkeiten Notebooks Datensätze Wiki

Links

© HyperAI

GitHub Discord X (formerly Twitter)