통합검색

증명을 게임처럼 배우면 인공지능(AI)는 무엇을 예측할까?

GamePad는 Coq 증명을 목표·맥락·전술·하위 목표의 상태 전이로 노출해 AI가 남은 거리와 다음 전술을 학습하도록 했습니다.

GamePad: A Learning Environment for Theorem Proving

한 번에 몰아 공부하는 것과 나누어 공부하는 것은 어떻게 비교할까?

열 가지 학습 기법을 종합한 2013년 검토에서 분산학습의 근거와 실제 적용 한계를 정확히 구분합니다.

Improving Students' Learning With Effective Learning Techniques: Promising Directions From Cognitive and Educational Psychology

문장을 논리식으로 잘 옮기면 인공지능(AI) 추론도 끝난 걸까?

FOLIO는 자연어를 1차 논리로 옮기는 정확성과 실제 결론을 실행하는 정확성이 다를 수 있음을 보여 줍니다.

FOLIO: Natural Language Reasoning with First-Order Logic

근거가 같아도 누가 말했는지에 따라 들리는 정도가 달라질까?

논증의 문장 구조와 실제 대화의 발언 기회·신뢰 배분을 함께 살피는 여성주의 논증 연구를 소개합니다.

Feminist Perspectives on Argumentation

AI가 대상을 보지 않고 배경을 맞힌다면?

동물의 특징을 그대로 둔 채 눈 배경과 모서리 표식을 바꾸어 예측이 무엇에 기대는지 점검합니다.