CoTu팀이 EXACT 2026 대회에서 8B 파라미터 이하의 오픈 웨이트 언어 모델로 투명한 교육 질문 답변 시스템을 개발했어요.
이 시스템은 대학 규정 기반 논리 추론과 다단계 물리학 문제 해결 두 가지 과제를 수행하며, Z3 인코딩과 Python 코드를 활용해 답변을 도출하고 설명해요.
물리학 과제에서 완벽 점수를 획득하고, 기술 점수에서 최고점을 기록했으며, 발표 점수와 합산하여 종합 3위를 차지했어요.
기호 솔버를 활용한 답변은 4B 규모에서도 정확하고 검증 가능한 추론을 가능하게 하며, 앞으로는 전제 선택의 어려움을 해결하는 것이 중요해요.