[논문리뷰] SEVerA: Verified Synthesis of Self-Evolving Agents본 연구는 FGGM을 핵심으로 하는 3단계 프레임워크인 SEVerA를 제안합니다. 첫째, Search 단계에서 Planner LLM이 로컬 제약 조건이 설정된 FGGM 기반의 Parametric Program을 합성합니다.#Review#LLM Agents#Automated Verification#Deductive Program Synthesis#Formally Guarded Generative Models#Constraint-Guided Synthesis2026년 4월 8일댓글 수 로딩 중