ATLAS: 대규모 자동 형식화 교과서 라이브러리ATLAS: Autoformalized Textbook Library At Scale▲ 32 · github.com · 20일 전 · 4 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…