🧑🔬 Rose Yu — papers of 2025 — 2 papers, the most cited first2 papers · all years of Rose YuHilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citationsCan LLM feedback enhance review quality? A randomized study of 20K reviews at ICLR 2025arXiv:2504.09737Nitya Thakkar, Mert Yuksekgonul, Jake Silberg, et al.2025 · 21 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/rose-yu/year/2025/