Forward Authoring

현실적 시나리오에서 직접 자연어 문제를 작성하고 여기에 형식화 가능한 추론 구조를 연결하는 과정으로, 템플릿화된 문제를 피하고 NL→FL 일관성을 강화한다.