연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
Ineq-Comp v2를 바탕으로 익숙한 부등식의 변수 복제·대수 재작성·다단계 합성이 현재 Lean 증명 모델의 구성적 일반화를 크게 흔드는지 살펴봅니다.
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
Orona와 Trautwein의 두 무작위 연구는 7주 사고성향 교육이 인지반성 수행을 높였지만 자기보고 성향 변화가 그 효과를 매개한다는 증거는 약했다고 보고했다.
Thinking disposition education improves cognitive reflection: Experimental results from an intervention study
실시간 버스 예측 연구는 작은 화면에서 분위수 점그림이 밀도그림보다 확률 추정의 분산을 줄였다고 보고했습니다.
When(ish) is My Bus? User-centered Visualizations of Uncertainty in Everyday, Mobile Predictive Systems
DRM 과제는 의미적으로 연결된 단어 목록이 제시되지 않은 중심 단어의 거짓 회상과 재인을 유발하는 방식을 보여 줍니다.
The Deese-Roediger-McDermott (DRM) Task: A Simple Cognitive Paradigm to Investigate False Memories in the Laboratory
입출력 테스트와 형식 명세 증명은 어떤 다른 보장을 주는가?
Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
136–140 / 194편
