← 상세페이지

멀티 에이전트 협력으로 대규모 수학 형식화 자동화, RepoProver

endedScore 42026. 4. 4. 오전 6:06 ~ 2026. 4. 4. 오전 6:06

Status Lifecycle

1
New
2
Rising
3
Peak
4
Ended

Timeline

총 문서 수

1

추적 기간

1일

Score

4

최대 doc_count

1