Autoformalization

자연어로 작성된 문장을 논리식이나 형식 언어로 변환하는 과정입니다. TwIL-LM은 영어 문장을 입력받아 First-Order Logic으로 바꾸며, 이후 검증 가능한 구조화 표현을 만드는 데 사용됩니다.