연구팀은 명제 논리(FOL)를 자연어 문장으로 변환하는 새로운 프레임워크 FOL2NS를 발표했어요. FOL2NS는 깊이 중첩된 구조와 다양한 양자화 깊이(QD)를 처리하여 기존 코퍼스에서 부족했던 다양성과 범위를 보완해요.
규칙 기반 모듈과 미세 조정된 언어 모델을 결합하여 합성 FOL 공식을 생성하고 자연스러운 표현으로 변환하는 방식으로 작동해요.
실험 결과, FOL2NS는 잘 형성된 템플릿과 유창한 문장을 생성할 수 있지만, 구조적 복잡도가 증가함에 따라 정확한 의미 표현과 자연스러운 생성에 어려움을 겪는 것으로 나타났어요.