Azim Ospanov

2
papers
8
total citations

papers (2)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

NeurIPS 2025arXiv
8
citations

Scendi Score: Prompt‑Aware Diversity Evaluation via Schur Complement of CLIP Embeddings

ICCV 2025arXiv
0
citations