Current Result Document : 115 / 115
| 한글제목(Korean Title) |
수학적 증명을 위한 대규모 언어모델 프롬프팅 |
| 영문제목(English Title) |
Large-Scale Language Model Prompting for Mathematical Proof |
| 저자(Author) |
온석준
김은솔
SeokJun On
Eun-Sol Kim
|
| 원문수록처(Citation) |
VOL 49 NO. 02 PP. 1637 ~ 1639 (2022. 12) |
한글내용
(Korean Abstract) |
GPT-3와 같은 대규모 언어 모델들이 등장하며 언어 모델이 자연어 처리 뿐 아니라 다양한 분야에서 추론 문제의 해결에도 활용되고 있다. 특히 간단한 수학 문제를 해결할 수 있음이 알려지게 되어 대규모 언어 모델의 수학 분야에서의 활용이 주목 받고 있다. 본 논문에서는 현재 대규모 언어 모델이 수학적 증명을 하는데 있어서 한계점을 알아보고, 프롬프팅과 Chain-of-Thought을 통해 개선할 수 있는 방법을 제안한다. |
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
