통합검색

AI는 언제 사람에게 판단을 넘겨야 할까?

확신도와 사안의 중요도 기준을 함께 움직여, 자동 처리·사람 검토·즉시 보류가 어떻게 달라지는지 살핍니다.

회의 기록 AI, 질문 하나가 대화를 어디로 이끌까?

가상 회의에서 진행자의 질문과 참여자의 응답을 바꾸며 확인된 사실, 합의와 남은 쟁점이 어떻게 달라지는지 따라갑니다.

Principled Negotiation: Focus on Interests to Create Value

수학 인공지능(AI) 시험은 정답만 모으면 충분할까?

MATH 데이터셋은 7개 분야·5단계 난이도의 경시 문제와 단계별 풀이를 함께 제공하며 평가 범위와 풀이 검사의 중요성을 보여 줍니다.

Measuring Mathematical Problem Solving With the MATH Dataset

신경망 안에 만족가능성 풀이 층을 넣으면 규칙을 배울 수 있을까?

SATNet은 미분 가능한 근사 MAXSAT 풀이 층을 신경망에 넣어 패리티·스도쿠·시각 스도쿠의 논리 구조를 제한된 감독으로 학습했습니다.

SATNet: Bridging Deep Learning and Logical Reasoning Using a Differentiable Satisfiability Solver

인공지능(AI)가 계산을 프로그램에 맡기면 어떤 오류가 남을까?

프로그램 보조 언어모델은 문제 해석과 계산 실행의 역할을 나눕니다. 실행이 성공해도 문제를 제대로 옮겼는지 확인해야 하는 이유를 알아봅니다.

PAL: Program-aided Language Models