[논문리뷰] Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization본 논문은 AI 코딩 에이전트가 생성한 코드의 정확성을 보장하기 위해 형식적 검증을 도입하려 할 때, 정작 그 코드의 기준이 되는 '형식적 명세' 자체의 오류가 발생하는 문제를 해결하고자 한다.#Review#Formal Verification#Specification Autoformalization#Agentic Environment#Verus#Codeforces#Executable Specifications2026년 5월 27일댓글 수 로딩 중