APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning - Ospanov, Azim; Farnia, Farzan; Mohit, Roozbeh (Advances in Neural Information Processing Systems, 2025)