ProofCouncil: An LLM Agent for Solving Open Mathematical Problems(arxiv.org)
3 pointsby frozenseven6 hours ago1 comment