본 논문은 컴퓨터 대수 시스템, SMT 솔버, 항 재작성 시스템을 결합하여 물리학 시험 채점을 자동화하는 방법을 제시한다. 대규모 언어 모델(LLM)을 사용하여 학생의 답변에서 오류를 제거하고 기계 판독 가능한 형식으로 다시 작성한 후, 자동 정리 증명 기법(SMT 솔빙 및 물리 문제에 맞춤화된 항 재작성 시스템)을 적용하여 답변의 정확성을 평가한다. 2023년 호주 물리 올림피아드의 1500개 이상의 실제 학생 답변을 사용하여 시스템을 평가했다. 특히, 항 재작성 시스템의 개발 및 종결성과 합류성 특성 확립 과정에 대한 자세한 설명을 포함한다.