통합검색

같은 데이터인데 속이는 차트가 인공지능(AI)의 답을 바꿀까?

1,600쌍의 차트와 10개 비전언어모델을 비교한 연구는 시각적 기만과 메타데이터 완화의 범위를 측정했습니다.

Chart Deception in Vision-Language Models: From Vulnerability to Mitigation

사전등록은 적어 두기만 하면 충분할까?

53쌍의 사전등록과 논문 비교는 분석 결정의 구체성과 일치 여부가 핵심임을 보여 줍니다.

Ensuring the quality and specificity of preregistrations

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

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

GamePad: A Learning Environment for Theorem Proving

더 강한 근거가 생기면 공격 관계도 사라질까?

논증 A와 B 사이의 양방향 공격은 유지되고, 선호 선택에 따라 한쪽 패배 화살표만 굵어지는 비교 도식.

논리 기호의 뜻을 진리표 없이 설명할 수 있을까?

도입 → A와 B → A∧B / 조화 → 넣은 정보 → 회수 / 제거 → A∧B → A 또는 B를 비교하는 LTCT 교육용 도식