Bài báo này trình bày một phương pháp tự động hóa việc chấm điểm bài thi vật lý bằng cách kết hợp hệ thống đại số máy tính, bộ giải SMT và hệ thống viết lại thuật ngữ. Mô hình ngôn ngữ quy mô lớn (LLM) được sử dụng để loại bỏ lỗi trong câu trả lời của học sinh và viết lại chúng theo định dạng máy có thể đọc được. Độ chính xác của các câu trả lời này sau đó được đánh giá bằng các kỹ thuật chứng minh định lý tự động (giải SMT và hệ thống viết lại thuật ngữ được thiết kế riêng cho các bài toán vật lý). Hệ thống được đánh giá bằng hơn 1.500 câu trả lời thực tế của học sinh từ Kỳ thi Olympic Vật lý Úc năm 2023. Đặc biệt, bài báo cung cấp mô tả chi tiết về quá trình phát triển hệ thống viết lại thuật ngữ và việc thiết lập các tính chất kết thúc và hợp lưu của nó.