(논문 요약) Prover Agent: An Agent-based Framework for Formal Mathematical Proofs (Paper)

핵심 내용

• Theorem proving 을 위한 pipepline 구축

• 모델
  • Informal reasoning: DeepSeek-R1-0528-Qwen3-8B
  • Autoformalization (informal -> formal): Kimina-Autoformalizer-7B
  • Formal prover: DeepSeek-Prover-V2-7B
• 알고리즘

실험 결과