# DreamProver와 AGEL-Comp: 에이전트가 더 잘 추론하고 일반화하려면 무엇이 필요한가이번 글에서는 2026년 4월 arXiv에 공개된 두 편의 논문, 「DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent」와 「AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents」를 함께 살펴본다. 두 논문은 같은 시스템을 제안하는 것은 아니지만, 공통적으로 LLM 기반 에이전트가 추론과 일반화에서 보이는 한계를 보완하려는 시도라는 점에서 연결된다. DreamProver는 형식적 정리 증..