APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning Paper • 2505.05758 • Published May 9, 2025 • 2
nvidia/Llama-3.1-Nemotron-70B-Instruct-HF Text Generation • 71B • Updated Apr 13, 2025 • 13k • • 2.07k