APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

LRM
Re-assign community