HyperAI
HyperAI
메인 페이지
홈
GPU
콘솔
문서
가격
Pulse
뉴스
리소스
논문
노트북
데이터 세트
위키
벤치마크
SOTA
LLM 모델
GPU 리더보드
커뮤니티
이벤트
유틸리티
검색
정보
서비스 이용약관
개인정보 처리방침
한국어
HyperAI
HyperAI
Toggle Sidebar
⌘
K
Command Palette
Search for a command to run...
로그인
HyperAI
SOTA
자동 정리 증명
Automated Theorem Proving On Minif2f Test
이 벤치마크에서 다양한 모델의 성능 결과
Metrics
ITP
Pass@64
cumulative
28 행 합계
HyperAI
HyperAI
메인 페이지
홈
GPU
콘솔
문서
가격
Pulse
뉴스
리소스
논문
노트북
데이터 세트
위키
벤치마크
SOTA
LLM 모델
GPU 리더보드
커뮤니티
이벤트
유틸리티
검색
정보
서비스 이용약관
개인정보 처리방침
한국어
HyperAI
HyperAI
Toggle Sidebar
⌘
K
Command Palette
Search for a command to run...
로그인
HyperAI
SOTA
자동 정리 증명
Automated Theorem Proving On Minif2f Test
이 벤치마크에서 다양한 모델의 성능 결과
Metrics
ITP
Pass@64
cumulative
28 행 합계
Automated Theorem Proving On Minif2f Test | SOTA | HyperAI초신경