ReasonSTL은 자연어를 시그널 임시 논리(STL)로 번역하는 도구입니다. 이 도구는 로컬 오픈소스 언어 모델을 활용하여 번역 과정을 분해하고, 명확한 추론과 도구 호출, 구조화된 공식 생성을 수행합니다.
ReasonSTL은 프로세스-보상 학습을 통해 도구 사용 경로와 최종 공식을 지도하여, 4B 모델이 자동 측정 및 인간 평가에서 최고 성능을 달성했습니다.
ReasonSTL은 투명하고 저렴하며 개인 정보 보호 기능을 제공하는 공식 사양 초안 작성의 대안으로, 기존 상용 LLM API 사용의 비용과 개인 정보 노출 문제를 해결합니다.