연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
PutnamBench는 640개 대학 수학문제를 Lean 4·Isabelle과 일부 Coq로 1,692회 형식화해 언어별 자동증명기의 강점과 난도를 비교했습니다.
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
장기기증 연구는 동일한 선택도 참여 또는 비참여 기본값에 따라 동의율이 크게 달라질 수 있음을 보였습니다.
Do Defaults Save Lives?
관계추론 검사의 문항기능차이 연구는 그림만 사용해도 공정성을 실증적으로 점검해야 함을 보여 줍니다. 집단 평균 차이와 문항의 차별적 기능을 구별합니다.
Assessing Differential Item Functioning on the Test of Relational Reasoning
평균은 모두 80점이지만 최저 집단은 50점과 78점인 두 모델을 비교해, 전체 점수 뒤의 운영상 약한 구간을 찾습니다.
Xie와 Wang은 좋은 논증을 말하는 사람의 능력만으로 평가하지 않고, 이해·응답·자기 갱신에 참여하는 청중의 덕을 분석합니다.
Someone it is Good to Argue With
6–10 / 14편
