[논문리뷰] PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean본 논문은 현대 연구 논문의 복잡한 증명 과정에서 발생하는 미세한 오류나 증명 격차(Gap) 문제를 해결하기 위해 PaperFormalizer를 제안한다. 기존의 수작업 검증은 시간이 과도하게 소요되며, 완전한 자동화 시스템은 자연어의 모호성이나 수정 방향에 대한 저자의 의도를 파악하지 못한다는 한계가 있다.#Review#Autoformalization#Lean#Agentic Pipeline#Author-in-the-Loop#Proof Assistant#LaTeX2026년 10월 25일댓글 수 로딩 중