ProofCouncil: An LLM Agent for Solving Open Mathematical Problems

(arxiv.org)

3 points | by frozenseven 5 hours ago ago

1 comments