lm-provers/QED-Nano
수학 정리 증명 및 논리적 추론 텍스트 생성4B49K 컨텍스트apache-2.0
Qwen3-4B를 기반으로 SFT와 RL을 거쳐 수학 올림피아드 수준의 엄밀한 증명을 생성하는 추론 특화 모델입니다.
핵심 포인트
- 수학 올림피아드(IMO) 수준의 엄밀한 증명 생성
- 최대 49,152 토큰의 긴 추론 과정(Rollout) 지원
- 에이전트 스캐폴딩을 통한 추론 성능 확장 가능
- vLLM 및 SGLang API 배포 호환
76
LIKES
1.2k
DOWNLOADS
3 / 0
조회수
관련 토론
아직 관련 토론이 없습니다.
댓글
댓글을 작성하려면 로그인이 필요합니다.
