TreeThink은 LLM 기반 신경 추론 정리 증명 시스템을 위한 오픈소스 Python 라이브러리입니다. vLLM 기반 추론 파이프라인과 다양한 노드 평가 기법을 통합하여 Lean 4, Rocq, Isabelle/HOL 등 다양한 언어를 지원합니다.
기존 트리 검색 라이브러리는 자연어 추론에 집중했지만 TreeThink은 공식 검증기와 통합되어 수학적 추론에 최적화됐습니다. miniF2F 및 MATH500 데이터셋에서 최대 6.3배 속도 향상을 보였습니다.
TreeThink은 GitHub에서 MIT 라이선스로 공개됐으며, PyPI에서 다운로드할 수 있습니다.