🧑🔬 Kristian Minchev — papers of 2025 — Elamur Research2 papers · all years of Kristian MinchevProof or Bluff? Evaluating LLMs on 2025 USA Math OlympiadarXiv:2503.21934Ivo Petrov, Jasper Dekoninck, Lyuben Baltadzhiev, et al.2025 · 31 citationsThe Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical ProofsarXiv:2506.21621Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.2025 · 11 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/kristian-minchev/year/2025/