HyperAI
HyperAI
メイン
ホーム
GPU
コンソール
ドキュメント
料金
パルス
ニュース
リソース
論文
ノートブック
データセット
Wiki
ベンチマーク
SOTA
LLMモデル
GPUランキング
コミュニティ
イベント
ユーティリティ
検索
概要
利用規約
プライバシーポリシー
日本語
HyperAI
HyperAI
Toggle Sidebar
⌘
K
Command Palette
Search for a command to run...
サインイン
HyperAI
Papers
MiniF2F：形式的オリンピックレベル数学におけるシステム間ベンチマーク
6ヶ月前
ベンチマーク
データセット
LLM
AIインフラストラクチャ
アプローチ／フレームワーク
概要
論文
ベンチマーク
リソース
rah4927/lean-dojo-mew
facebookresearch/minif2f
openai/minif2f
公式
yangky11/minif2f-lean4
HyperAI
HyperAI
メイン
ホーム
GPU
コンソール
ドキュメント
料金
パルス
ニュース
リソース
論文
ノートブック
データセット
Wiki
ベンチマーク
SOTA
LLMモデル
GPUランキング
コミュニティ
イベント
ユーティリティ
検索
概要
利用規約
プライバシーポリシー
日本語
HyperAI
HyperAI
Toggle Sidebar
⌘
K
Command Palette
Search for a command to run...
サインイン
HyperAI
Papers
MiniF2F：形式的オリンピックレベル数学におけるシステム間ベンチマーク
6ヶ月前
ベンチマーク
データセット
LLM
AIインフラストラクチャ
アプローチ／フレームワーク
概要
論文
ベンチマーク
リソース
rah4927/lean-dojo-mew
facebookresearch/minif2f
openai/minif2f
公式
yangky11/minif2f-lean4
リソース - MiniF2F：形式的オリンピックレベル数学におけるシステム間ベンチマーク | 記事 | HyperAI超神経
8
8
97
97
414
414
68
68