ProofCouncil: An LLM Agent for Solving Open Mathematical Problems

3 pointsposted 5 hours ago
by frozenseven
(arxiv.org)

1 Comments