통합검색

풀이 여섯 개를 두 번씩 비교하려면 몇 모둠·몇 회차가 필요할까?

참여 인원·시간·모둠 정원·풀이 수·필요 검토 수를 바꾸어 완전 검토 풀이와 부족한 검토 칸을 계산합니다.

Toolkit to Support Evidence-Based Algebra Instruction in Middle and High School

증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?

후보 증명, Lean 피드백, 탐색 갱신을 연결해 조건과 범위를 확인하는 교육용 도식.