NaturalProofs 데이터 세트는 자연어로 된 수학적 추론을 연구하기 위한 다중 도메인 코퍼스입니다. 이는 워싱턴 대학, 앨런 인공지능 연구소, 뉴욕 대학의 연구원들에 의해 2021년에 공개되었습니다. 관련 논문 결과는 “NaturalProofs: 자연어로 된 수학적 정리 증명".
여기에는 약 3만 개의 정리 진술과 증명, 1만 5천 개의 정의, 2천 개의 추가 페이지(예: 공리, 추론)가 포함되어 있으며, 모두 자연스러운 수학 언어로 작성되었습니다. NaturalProofs 데이터 세트는 ProofWiki의 광범위한 데이터, Stacks 프로젝트의 상세 데이터, 수학 교과서의 리소스가 부족한 데이터를 포함합니다. NaturalProofs는 이러한 소스를 공통 스키마로 통합하고 비공식 수학과 관련된 작업의 진전을 촉진하기 위해 이를 공개 리소스로 제공합니다. 이 데이터 세트는 수학적 추론 연구를 위한 풍부한 리소스를 제공하고 자연어 처리 및 머신 러닝 분야에서 수학적 추론 개발을 촉진하는 데 도움이 됩니다.
NaturalProofs.torrent
시딩 2다운로드 중 0완료됨 44총 다운로드 횟수 57