시각 인식과 물리적 추론 결합하는 MMFormalizer 개발 | aib vote