Google: LLM은 추론 오류를 찾을 수 없지만 수정할 수는 있습니다.
올해 인공지능 분야에서는 LLM(Large Language Model)이 많은 관심의 대상이 되었습니다. LLM은 다양한 자연어 처리(NLP) 작업, 특히 추론 분야에서 상당한 진전을 이루었습니다. 하지만 복잡한 추론 작업에서는 LLM의 성능이 여전히 향상되어야 합니다.
LLM이 자체 추론에 오류가 있다고 판단할 수 있나요? 최근 케임브리지 대학교와 구글 리서치가 공동으로 진행한 연구에 따르면 LLM은 자체적으로 추론 오류를 감지할 수 없지만, 연구에서 제안한 역추적 방법을 사용하여 오류를 수정할 수 있다는 사실이 밝혀졌습니다
- 논문 주소: https://arxiv.org/pdf/2311.08516.pdf
- 데이터 세트 주소: https://github.com/WHGTyen/BIG-Bench-Mistake
이 논문으로 인해 일부 논란, 누군가 이에 대해 이의를 제기했습니다. 예를 들어, Hacker News에서 누군가는 논문 제목이 과장되었고 약간의 클릭베이트라고 논평했습니다. 다른 사람들은 논리적 오류를 수정하기 위해 논문에서 제안한 방법이 논리적 방법을 사용하는 것이 아니라 패턴 일치를 기반으로 한다고 비판했습니다. 이 방법은 실패하기 쉽습니다
Huang et al. 아직" 지적: 자체 수정은 모델 출력의 스타일과 품질을 향상시키는 데 효과적일 수 있지만 LLM이 외부 피드백 없이 자체 추론과 논리적 오류를 식별하고 수정하는 능력이 있다는 증거는 거의 없습니다. 예를 들어 Reflexion과 RCI는 모두 Ground Truth의 수정 결과를 자체 수정 주기를 중지하는 신호로 사용합니다.
케임브리지 대학교 연구팀과 Google Research 팀은 새로운 아이디어를 제안했습니다. 즉, 자체 수정 프로세스를 오류 발견과 출력 수정의 두 단계로 나누는 것입니다.
- 오류 발견은 기본적인 추론 기술입니다. 철학, 심리학, 수학 분야에서 널리 연구되고 적용되었으며 비판적 사고, 논리적, 수학적 오류와 같은 개념이 생겨났습니다. 오류를 감지하는 능력도 LLM의 중요한 요구 사항이라고 가정하는 것이 합리적입니다. 그러나 우리의 결과에 따르면 최첨단 LLM은 현재 오류를 안정적으로 감지할 수 없습니다.
- 출력 수정에는 이전에 생성된 출력의 부분 또는 전체 수정이 포함됩니다. 자체 수정은 출력을 생성한 동일한 모델에 의해 수정이 수행됨을 의미합니다. LLM에는 오류를 감지하는 기능이 없지만, 이 문서에서는 오류에 대한 정보가 제공되면(예: 소규모 지도 보상 모델을 통해) LLM이 역추적 방법을 사용하여 출력을 수정할 수 있음을 보여줍니다.
이 기사의 주요 기여는 다음과 같습니다.
- 사고 체인 프롬프트 디자인 방법을 사용하면 모든 작업을 버그 발견 작업으로 전환할 수 있습니다. 이를 위해 연구진은 PaLM에서 생성하고 첫 번째 논리적 오류 위치를 표시한 CoT 형태의 궤적 정보 데이터 세트인 BIG-Bench Mistake를 수집하여 공개했다. 연구자들은 BIG-Bench Mistake가 수학적 문제에만 국한되지 않는 최초의 데이터 세트라고 말합니다.
- 현재 최첨단 LLM의 추론 기능을 테스트하기 위해 연구원들은 새로운 데이터 세트를 기반으로 이를 벤치마킹했습니다. 현행 SOTA LLM에서는 객관적이고 명확한 오류라 할지라도 오류를 검출하기 어려운 것으로 나타났다. 그들은 LLM이 오류를 감지하지 못하는 것이 LLM이 추론 오류를 자체 수정할 수 없는 주된 이유라고 추측하지만 이 측면에는 추가 연구가 필요합니다.
- 이 기사에서는 역추적 방법을 사용하여 출력을 수정하고 잘못된 위치 정보를 사용하여 원래 작업의 성능을 향상시킬 것을 제안합니다. 연구에 따르면 이 방법은 올바른 출력에 최소한의 영향을 미치면서 잘못된 출력을 수정할 수 있는 것으로 나타났습니다.
- 이 기사에서는 가중치 업데이트 없이 CoT 출력의 반복적인 개선을 달성할 수 있는 "언어 강화 학습"의 한 형태로 역추적 방법을 설명합니다. 연구진은 훈련된 분류기를 보상 모델로 사용하여 역추적을 사용할 수 있음을 제안했으며, 다양한 보상 모델 정확도에서 역추적의 효과도 실험적으로 입증했습니다.
BIG-Bench Mistake Dataset
BIG-Bench에는 CoT 스타일을 사용하는 2186개의 궤도 정보 세트가 포함되어 있습니다. 각 궤적은 PaLM 2-L-Unicorn에 의해 생성되었으며 첫 번째 논리적 오류 위치에 주석이 추가되었습니다. 표 1은 4단계에서 오류가 발생한 궤적의 예를 보여줍니다
이 궤적은 BIG-Bench 데이터세트의 5개 작업(단어 정렬, 섞인 객체 추적, 논리적 추론, 다단계 산술 및 연산)에서 나온 것입니다. 딕 언어.
각 작업의 질문에 답하기 위해 CoT 프롬프트 설계 방식을 사용하여 PaLM 2를 호출했습니다. CoT 궤적을 명확한 단계로 나누기 위해 "React: Synergizing Reasoning and Acting in Language Model"에서 제안한 방법을 채택하여 각 단계를 별도로 생성하고 줄바꿈을 정지 표시로 사용합니다
모든 궤적을 생성할 때 이 데이터세트, 온도 = 0일 때 답변의 정확성은 정확한 일치에 의해 결정됩니다.
벤치마크 결과
새로운 버그 발견 데이터세트인 GPT-4-Turbo, GPT-4 및 The Accuracy of GPT- 3.5 터보는 표 4에 나와 있습니다.
각 질문에는 정답 또는 오답의 두 가지 답변이 있습니다. 오류인 경우 N 값은 첫 번째 오류가 발생한 단계를 나타냅니다.
모든 모델은 동일한 3개의 프롬프트로 입력되었습니다. 그들은 세 가지 다른 프롬프트 디자인 방법을 사용했습니다.
- 직접 트랙 수준 프롬프트 디자인
- 직접 단계 수준 프롬프트 디자인
- CoT 단계 수준 프롬프트 디자인
be rewrite is: 관련 토론
결과는 세 모델 모두 이 새로운 오류 발견 데이터 세트에 대처하는 데 어려움이 있음을 보여줍니다. GPT는 가장 좋은 성능을 발휘하지만 직접적인 단계 수준 프롬프트 디자인에서는 52.87의 전체 정확도만 달성할 수 있습니다.
이는 현재 최첨단 LLM이 가장 단순하고 명확한 경우에도 오류를 찾는 데 어려움을 겪고 있음을 보여줍니다. 대조적으로, 인간은 특별한 전문 지식 없이도 높은 일관성을 가지고 오류를 찾을 수 있습니다.
연구원들은 LLM이 오류를 감지하지 못하는 것이 LLM이 추론 오류를 자체 수정할 수 없는 주된 이유라고 추측합니다.
신속한 설계 방법 비교
연구원들은 직접 궤적 수준 접근 방식부터 CoT 접근 방식의 단계 수준 접근 방식까지 오류 없이 궤적의 정확도가 크게 떨어지는 것을 발견했습니다. 그림 1은 이러한 절충안을 보여줍니다
연구원들은 그 이유가 모델 출력의 수 때문일 수 있다고 믿습니다. 세 가지 방법 모두 점점 더 복잡한 출력을 생성해야 합니다. 궤적을 직접 생성하는 프롬프트 설계 방법에는 단일 토큰이 필요하고, 단계를 직접 생성하는 프롬프트 설계 방법에는 단계당 하나의 토큰이 필요하며, CoT 단계 수준 프롬프트 설계 방법에는 각 단계에 여러 문장이 필요합니다. 빌드 호출당 오류율이 발생할 확률이 있는 경우 추적당 호출이 많을수록 모델이 하나 이상의 오류를 식별할 가능성이 커집니다.
오류 위치를 정확성을 위한 프록시로 사용하는 샘플이 거의 없음 프롬프트 디자인
연구원들은 이러한 신속한 설계 방법이 잘못된 위치가 아닌 궤도의 정확성을 확실하게 결정할 수 있는지 조사했습니다.
모델이 궤적에 오류가 있는지를 올바르게 예측할 수 있는지 여부를 기준으로 평균 F1 점수를 계산했습니다. 오류가 있는 경우 모델이 예측한 궤적이 "오답"으로 간주됩니다. 그렇지 않으면 모델이 예측한 궤적을 "정답"으로 간주합니다
corrept_ans 및 false_ans를 양성 레이블로 사용하고 각 레이블의 발생 횟수에 따라 가중치를 부여하여 연구원은 평균 F1 점수를 계산했으며 그 결과는 다음과 같습니다. 표 5에 나와 있습니다.
이 가중치 F1 점수는 프롬프트를 통해 오류를 찾는 것이 최종 답변의 정확성을 결정하는 데 좋지 않은 전략임을 보여줍니다.
Backtracking
Huang 등은 LLM이 외부 피드백 없이는 논리 오류를 자체 수정할 수 없다고 지적했습니다. 그러나 많은 실제 응용 프로그램에서는 사용할 수 있는 외부 피드백이 없는 경우가 많습니다. 이 연구에서 연구원들은 소량의 외부 피드백에 대해 훈련된 경량 분류기를 채택했습니다. 기존 강화 학습의 보상 모델과 유사하게 이 분류자는 출력을 개선하기 위해 생성기 모델에 다시 피드백하기 전에 CoT 궤적의 논리적 오류를 감지할 수 있습니다. 개선을 극대화하려면 여러 번 반복할 수 있습니다.
연구원들은 논리적 오류의 위치를 역추적하여 모델의 출력을 향상시키는 간단한 방법을 제안했습니다.
- 모델은 먼저 초기 CoT 궤적을 생성합니다. 실험에서는 온도를 0으로 설정했습니다.
- 그런 다음 보상 모델을 사용하여 궤적에서 오류 위치를 결정합니다.
- 오류가 없으면 다음 트랙으로 이동하세요. 오류가 있는 경우 동일한 단계를 수행하도록 모델에 다시 메시지를 표시합니다. 단, 이번에는 온도 = 1로 8개의 출력을 생성합니다. 여기서는 잘못된 단계 이전의 모든 단계에 대한 부분 추적과 함께 동일한 프롬프트가 사용됩니다.
- 이 8개의 출력에서 이전 오류와 동일한 옵션을 필터링합니다. 그런 다음 나머지 출력에서 로그 확률이 가장 높은 것을 선택합니다.
- 마지막으로 이전 단계를 새로 생성된 단계로 교체하고 온도 = 0으로 재설정한 다음 궤적의 나머지 단계를 계속 생성합니다.
이전의 자체 수정 방법과 비교할 때 이 역추적 방법은 많은 장점이 있습니다.
- 새로운 역추적 방법은 답변에 대한 사전 지식이 필요하지 않습니다. 대신, 보상 모델을 사용하여 단계별로 결정할 수 있는 논리적 오류에 대한 정보(예: 훈련된 보상 모델의 정보)에 의존합니다. 논리적 오류는 올바른_ans 궤적이나 잘못된_ans 궤적에 나타날 수도 있고 나타나지 않을 수도 있습니다.
- 추적 방법은 특정 프롬프트 텍스트나 문구에 의존하지 않으므로 관련 선호도가 줄어듭니다.
- 전체 궤적을 재생성해야 하는 방법에 비해 역추적 방법은 알려진 논리적으로 올바른 단계를 재사용하여 계산 비용을 줄일 수 있습니다.
- 역추적 방법은 중간 단계의 품질을 직접적으로 향상시킬 수 있으며, 이는 올바른 단계가 필요한 시나리오(예: 수학적 문제에 대한 솔루션 생성)에 유용할 수 있으며 해석 가능성도 향상시킵니다.
연구원들은 BIG-Bench Mistake 데이터 세트를 사용하여 역추적 방법이 LLM이 논리 오류를 수정하는 데 도움이 될 수 있는지 알아보는 실험을 수행했습니다. 실험 결과는 표 6을 참조하세요
Δaccuracy✓는 원래 답이 올바른_ans일 때 궤적 집합의 정확도_ans의 차이를 나타냅니다.
오답 궤적 결과의 경우 정확도를 다시 계산해야 합니다.
이 점수 결과는 잘못된_ans 궤적을 수정하는 이득이 원래 정답을 변경하여 발생하는 손실보다 크다는 것을 보여줍니다. 또한 무작위 벤치마크도 개선을 얻었지만 실제 오류 위치를 사용할 때보다 그 이득이 훨씬 적습니다. 무작위 벤치마크에서는 실제 오류의 위치를 찾을 가능성이 더 높기 때문에 더 적은 단계를 포함하는 작업에서 성능 향상이 발생할 가능성이 더 높습니다.
좋은 레이블을 사용할 수 없을 때 어떤 정확도 수준의 보상 모델이 필요한지 알아보기 위해 시뮬레이션된 보상 모델을 통해 역추적을 사용하여 실험했습니다. 이 시뮬레이션된 보상 모델의 설계 목표는 다양한 정확도 수준의 레이블을 생성하는 것입니다. 그들은 Accuracy_RM을 사용하여 지정된 오류 위치에서 시뮬레이션 보상 모델의 정확도를 나타냅니다.
주어진 보상 모델의 Accuracy_RM이 X%일 때 BIG-Bench Mistake X%의 잘못된 위치를 사용합니다. 나머지 (100 − X)%에 대해서는 오류 위치가 무작위로 샘플링됩니다. 일반적인 분류기의 동작을 시뮬레이션하기 위해 오류 위치는 데이터 세트의 분포와 일치하는 방식으로 샘플링됩니다. 연구진은 또한 샘플의 잘못된 위치가 올바른 위치와 일치하지 않도록 하는 방법도 찾았습니다. 결과는 그림 2에 나와 있습니다.
손실률이 65%에 도달하면 Δ 정확도가 안정화되기 시작하는 것을 볼 수 있습니다. 실제로 대부분의 작업에서 정확도_RM이 약 60-70%일 때 Δaccuracy ✓는 이미 Δaccuracy ✗를 초과합니다. 이는 정확도가 높을수록 더 나은 결과를 얻을 수 있지만 표준 오류 위치 레이블이 없어도 역추적은 여전히 작동함을 보여줍니다
위 내용은 Google: LLM은 추론 오류를 찾을 수 없지만 수정할 수는 있습니다.의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!

핫 AI 도구

Undresser.AI Undress
사실적인 누드 사진을 만들기 위한 AI 기반 앱

AI Clothes Remover
사진에서 옷을 제거하는 온라인 AI 도구입니다.

Undress AI Tool
무료로 이미지를 벗다

Clothoff.io
AI 옷 제거제

AI Hentai Generator
AI Hentai를 무료로 생성하십시오.

인기 기사

뜨거운 도구

메모장++7.3.1
사용하기 쉬운 무료 코드 편집기

SublimeText3 중국어 버전
중국어 버전, 사용하기 매우 쉽습니다.

스튜디오 13.0.1 보내기
강력한 PHP 통합 개발 환경

드림위버 CS6
시각적 웹 개발 도구

SublimeText3 Mac 버전
신 수준의 코드 편집 소프트웨어(SublimeText3)

뜨거운 주제











0. 이 글은 어떤 내용을 담고 있나요? 우리는 다재다능하고 빠른 최첨단 생성 단안 깊이 추정 모델인 DepthFM을 제안합니다. DepthFM은 전통적인 깊이 추정 작업 외에도 깊이 인페인팅과 같은 다운스트림 작업에서 최첨단 기능을 보여줍니다. DepthFM은 효율적이며 몇 가지 추론 단계 내에서 깊이 맵을 합성할 수 있습니다. 이 작품을 함께 읽어보아요~ 1. 논문 정보 제목: DepthFM: FastMoncularDepthEstimationwithFlowMatching 저자: MingGui, JohannesS.Fischer, UlrichPrestel, PingchuanMa, Dmytr

기존 컴퓨팅을 능가할 뿐만 아니라 더 낮은 비용으로 더 효율적인 성능을 달성하는 인공 지능 모델을 상상해 보세요. 이것은 공상과학 소설이 아닙니다. DeepSeek-V2[1], 세계에서 가장 강력한 오픈 소스 MoE 모델이 여기에 있습니다. DeepSeek-V2는 경제적인 훈련과 효율적인 추론이라는 특징을 지닌 전문가(MoE) 언어 모델의 강력한 혼합입니다. 이는 236B 매개변수로 구성되며, 그 중 21B는 각 마커를 활성화하는 데 사용됩니다. DeepSeek67B와 비교하여 DeepSeek-V2는 더 강력한 성능을 제공하는 동시에 훈련 비용을 42.5% 절감하고 KV 캐시를 93.3% 줄이며 최대 생성 처리량을 5.76배로 늘립니다. DeepSeek은 일반 인공지능을 연구하는 회사입니다.

AI는 실제로 수학을 변화시키고 있습니다. 최근 이 문제에 주목하고 있는 타오저쉬안(Tao Zhexuan)은 '미국수학회지(Bulletin of the American Mathematical Society)' 최신호를 게재했다. '기계가 수학을 바꿀 것인가?'라는 주제를 중심으로 많은 수학자들이 그들의 의견을 표현했습니다. 저자는 필즈상 수상자 Akshay Venkatesh, 중국 수학자 Zheng Lejun, 뉴욕대학교 컴퓨터 과학자 Ernest Davis 등 업계의 유명 학자들을 포함해 강력한 라인업을 보유하고 있습니다. AI의 세계는 극적으로 변했습니다. 이 기사 중 상당수는 1년 전에 제출되었습니다.

Boston Dynamics Atlas가 공식적으로 전기 로봇 시대에 돌입했습니다! 어제 유압식 Atlas가 역사의 무대에서 "눈물을 흘리며" 물러났습니다. 오늘 Boston Dynamics는 전기식 Atlas가 작동 중이라고 발표했습니다. 상업용 휴머노이드 로봇 분야에서는 보스턴 다이내믹스가 테슬라와 경쟁하겠다는 각오를 다진 것으로 보인다. 새 영상은 공개된 지 10시간 만에 이미 100만 명이 넘는 조회수를 기록했다. 옛 사람들은 떠나고 새로운 역할이 등장하는 것은 역사적 필연이다. 올해가 휴머노이드 로봇의 폭발적인 해라는 것은 의심의 여지가 없습니다. 네티즌들은 “로봇의 발전으로 올해 개막식도 인간처럼 생겼고, 자유도도 인간보다 훨씬 크다. 그런데 정말 공포영화가 아닌가?”라는 반응을 보였다. 영상 시작 부분에서 아틀라스는 바닥에 등을 대고 가만히 누워 있는 모습입니다. 다음은 입이 떡 벌어지는 내용이다

이달 초 MIT와 기타 기관의 연구자들은 MLP에 대한 매우 유망한 대안인 KAN을 제안했습니다. KAN은 정확성과 해석성 측면에서 MLP보다 뛰어납니다. 그리고 매우 적은 수의 매개변수로 더 많은 수의 매개변수를 사용하여 실행되는 MLP보다 성능이 뛰어날 수 있습니다. 예를 들어 저자는 KAN을 사용하여 더 작은 네트워크와 더 높은 수준의 자동화로 DeepMind의 결과를 재현했다고 밝혔습니다. 구체적으로 DeepMind의 MLP에는 약 300,000개의 매개변수가 있는 반면 KAN에는 약 200개의 매개변수만 있습니다. KAN은 MLP와 같이 강력한 수학적 기반을 가지고 있으며, KAN은 Kolmogorov-Arnold 표현 정리를 기반으로 합니다. 아래 그림과 같이 KAN은

세상은 미친 듯이 큰 모델을 만들고 있습니다. 인터넷의 데이터만으로는 충분하지 않습니다. 훈련 모델은 '헝거게임'처럼 생겼고, 전 세계 AI 연구자들은 이러한 데이터를 탐식하는 사람들에게 어떻게 먹이를 줄지 고민하고 있습니다. 이 문제는 다중 모드 작업에서 특히 두드러집니다. 아무것도 할 수 없던 시기에, 중국 인민대학교 학과의 스타트업 팀은 자체 새로운 모델을 사용하여 중국 최초로 '모델 생성 데이터 피드 자체'를 현실화했습니다. 또한 이해 측면과 생성 측면의 두 가지 접근 방식으로 양측 모두 고품질의 다중 모드 새로운 데이터를 생성하고 모델 자체에 데이터 피드백을 제공할 수 있습니다. 모델이란 무엇입니까? Awaker 1.0은 중관촌 포럼에 최근 등장한 대형 멀티모달 모델입니다. 팀은 누구입니까? 소폰 엔진. 런민대학교 힐하우스 인공지능대학원 박사과정 학생인 Gao Yizhao가 설립했습니다.

무엇? 주토피아는 국내 AI로 현실이 되는 걸까? 영상과 함께 노출된 것은 '켈링'이라는 국산 대형 영상세대 신형 모델이다. Sora는 유사한 기술 경로를 사용하고 자체 개발한 여러 기술 혁신을 결합하여 크고 합리적인 움직임뿐만 아니라 물리적 세계의 특성을 시뮬레이션하고 강력한 개념적 결합 능력과 상상력을 갖춘 비디오를 제작합니다. 데이터에 따르면 Keling은 최대 1080p의 해상도로 30fps에서 최대 2분의 초장 영상 생성을 지원하며 다양한 화면비를 지원합니다. 또 다른 중요한 점은 Keling이 실험실에서 공개한 데모나 비디오 결과 시연이 아니라 단편 비디오 분야의 선두주자인 Kuaishou가 출시한 제품 수준 애플리케이션이라는 점입니다. 더욱이 백지 작성이 아닌 실용성에 중점을 두고, 출시되자마자 온라인에 진출하는 데 중점을 두고 있다. 콰이잉에서는 커링의 대형 모델이 출시됐다.

테슬라의 로봇 옵티머스(Optimus)의 최신 영상이 공개됐는데, 이미 공장에서 작동이 가능한 상태다. 정상 속도에서는 배터리(테슬라의 4680 배터리)를 다음과 같이 분류합니다. 공식은 또한 20배 속도로 보이는 모습을 공개했습니다. 작은 "워크스테이션"에서 따고 따고 따고 : 이번에 출시됩니다. 영상에는 옵티머스가 공장에서 이 작업을 전 과정에 걸쳐 사람의 개입 없이 완전히 자율적으로 완료하는 모습이 담겨 있습니다. 그리고 Optimus의 관점에서 보면 자동 오류 수정에 중점을 두고 구부러진 배터리를 집어 넣을 수도 있습니다. NVIDIA 과학자 Jim Fan은 Optimus의 손에 대해 높은 평가를 했습니다. Optimus의 손은 세계의 다섯 손가락 로봇 중 하나입니다. 가장 능숙합니다. 손은 촉각적일 뿐만 아니라
