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