자동 형식화는 비형식적인 자연어를 형식적이고 기계 검증 가능한 언어로 번역합니다. 기존 연구는 개별 진술에 집중하지만, 실제 형식화 노력은 이론 수준에서 이루어집니다. 본 논문은 이론 수준의 자동 형식화를 주장하며, 모든 상호 의존성을 포함하는 완전한 이론을 구조화된 라이브러리로 형식화해야 합니다.
이론 수준 형식화의 중요성을 검토하고, 대안적 관점을 다루며, 해결해야 할 과제를 식별하고, 유망한 세 가지 방법을 제시합니다. GitHub에서 자동 형식화에 대한 개요를 확인할 수 있습니다.
자동 형식화는 이론 수준에서 이루어져야 하며, 이는 기존 방식보다 훨씬 더 복잡하고 광범위한 노력을 필요로 합니다.