Azim Ospanov
- APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
2025/05/09 by Azim Ospanov, Ospanov, Azim, Farzan Farnia +3 · 10 citations
Computer Science · Materials Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning in Materials Science #Mathematics, Computing, and Information Processing