코너 안내그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?논리학 배우기
그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과82건
검색 결과 제목
코너 안내자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?논리학 배우기
자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?
참고 정리 검색에서 자연어 증명 생성으로 이어진 뒤 인간 검토와 형식 검증 부재를 구분하는 흐름도
코너 안내인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?논리학 배우기
인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?
형식화된 전제에서 신경모형의 보조점 후보, 기호 엔진의 규칙 유도, 검증된 결론으로 이어지는 네 단계 표. 각 단계의 실패 조건을 함께 표시한다.
코너 안내8,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?논리학 배우기
8,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?
한 문제에서 첫 후보 하나와 8192개 후보 묶음이 각각 검증기로 들어가 pass at 1과 pass at 8192로 나뉘는 도식
코너 안내증명할 수 있으면 모든 해석에서도 참일까?논리학 배우기
71–75 / 82편