한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과101건

검색 결과 제목

  1. 36시험 자료를 따로 나눴는데도 성능이 부풀려질 수 있을까?
  2. 37두 채점자가 94% 일치하면 채점은 충분히 믿을 만할까?
  3. 38불가능한 가정에서도 결론을 서로 다르게 판단할 수 있을까?
  4. 39사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?
  5. 40결정을 바꾸지 못하는 정보도 더 모아야 할까?
학습 자료는 모형 학습에, 조정 자료는 설정 선택에, 최종 평가 자료는 완성 후 검사에 사용한다는 두 줄의 단계표.

시험 자료를 따로 나눴는데도 성능이 부풀려질 수 있을까?

학습 자료는 모형 학습에, 조정 자료는 설정 선택에, 최종 평가 자료는 완성 후 검사에 사용한다는 두 줄의 단계표.
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

시험 자료를 따로 나눴는데도 성능이 부풀려질 수 있을까?

정보 누출은 학습·평가 파일을 분리하는 것만으로 모두 막히지 않습니다. 자료를 가공하고 모형을 선택하는 전체 과정에서 경계를 지켜야 합니다.

Leakage and the Reproducibility Crisis in ML-based Science

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
관찰 일치에서 우연 기대 일치를 빼 카파로 가는 계산 흐름 옆에 범주별 혼동표가 별도 상자로 표시된다.

두 채점자가 94% 일치하면 채점은 충분히 믿을 만할까?

관찰 일치에서 우연 기대 일치를 빼 카파로 가는 계산 흐름 옆에 범주별 혼동표가 별도 상자로 표시된다.
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 심화

두 채점자가 94% 일치하면 채점은 충분히 믿을 만할까?

단순 일치율과 카파는 우연 일치에 대한 가정이 달라 같은 자료에서도 다른 신뢰도 신호를 낼 수 있습니다.

Interrater Reliability: The Kappa Statistic

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
비형식 풀이 초안, 빈칸 있는 형식 스케치, 커널 검증 증명의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?

비형식 풀이 초안, 빈칸 있는 형식 스케치, 커널 검증 증명의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?

Jiang 등은 488개 miniF2F 문제에서 비형식 풀이→형식 스케치→자동 증명의 세 단계를 결합해 Isabelle 검증 성공률을 높였습니다.

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
검사 결과 +, 검사 결과 −, 같은 행동으로 합류의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

결정을 바꾸지 못하는 정보도 더 모아야 할까?

검사 결과 +, 검사 결과 −, 같은 행동으로 합류의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

결정을 바꾸지 못하는 정보도 더 모아야 할까?

Baron·Beattie·Hershey의 여섯 실험은 진단 가설과 맞는 검사 선호, 행동을 바꾸지 못하는 정보 탐색, 확신 과잉을 분리해 조사했습니다.

Heuristics and Biases in Diagnostic Reasoning: II. Congruence, Information, and Certainty

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →

36–40 / 101편