[논문리뷰] Beyond Solver Verdicts: Generative Reward Models for Autoformalization본 논문은 신경기호주의(Neurosymbolic) 시스템에서 solver가 코드의 실행 가능성만을 보장할 뿐, 자연어 문제와 공식 언어 간의 정확한 의미적 대응을 보장하지 못한다는 근본적인 취약점을 다룹니다.#Review#Autoformalization#Generative Verification#Verdict-Preserving-Unfaithfulness#SMT Solver#Reward Modeling#Neurosymbolic Systems2026년 9월 10일댓글 수 로딩 중